LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
Kui püüda seda võtta terminite
liigitamisena mahu alusel, siis tekib küsimus, kas lähtuma peaks tegelikust objektide hulgast
termini mahus ehk faktilisest ekstensioonist või põhimõttelisest võimalikkusest, mitu objekti
saab üldse vastava termini mahtu kuuluda ehk siis potentsiaalsest ekstensioonist. Meie
valisime
teise võimaluse. Sel puhul peab arvestama juhtudega, mil üldtermin või üksiktermin ei
rakendu
ainsalegi objektile.
D3.7. Tühitermin ehk nullterm (empty term) ei ole rakendatav ühelegi objektile, nt vähim
reaalarv, igiliikur, ümmargune ruut.
Faktilisest ekstensioonist lähtudes võiks tunduda, et mingi üldtermin, nt ,,elevant", muutub
üksikterminiks, kui selle maht on kahanenud üheks elemendiks, nt siis, kui kõik elevandid on
surnud peale üheainsa. Ja kui kõik elevandid on välja surnud, siis näib, nagu oleks
üldterminist
saanud tühitermin. Faktilise ekstensiooni kasutamine pole kooskõlas loogika põhimõttega,