LOOGIKA KT 1.1. Definitsiooni analüüsimine Dfd – defineeritav. Liigitermin, esineb ühelauselises definitsioonis Subjektina. Dfn – definitsioon, kuidas defineeritakse, mille abil. Liigierisusega täiendatud sootermin. Liik = DFD Sugu – kuuluvus (või nt taimetoitlane on OLEND, kes...) Liigierisus – omadus, mis konkreetsele liigile omandatakse, mis eristab neid teiste sarnaste liikide hulgast. Kajastab liigi põhilisi tunnuseid. Kas liigierisus on olemuslik tunnus v ei. Vaieldav, kui defineeritaval on veel olemuslikke PÕHitunnuseid. Reeglid: 5
Mõnel juhul võib mõiste ise olla asi, millele omadusi preditseeritakse. 3 Loogika kursuse ehitame üles nii, et tunnuseid omistatakse terminitele, mitte mõistetele. Allpool tuuakse klassikaline tunnuste liigitus, mis on eriti sobiv definitsioonide koostamiseks. Klassikalist defineerimist käsitletakse pikemalt allpool. Selguse huvides peab siinkohal siiski etteruttavalt selgitama, et klassikaline definitsioon võrdleb kahte terminit. Üks on see, mida defineeritakse, (liigitermin), ning teine on üldisem termin, mille abil defineeritakse, (sootermin). Liigitermin viitab liigimõistele ning sellega haaratud objektide hulk on liik (ld species), sootermin viitab soomõistele ning sellega haaratud objektide hulk on sugu (ld genus). Nt „Koolieelik on laps, kes on 3-6 aastat vana“. Sootermin on laps ning koolieelik on liigitermin, tunnus, mille abil defineeritakse, ehk liigierisus, on teatud vanus.
Loogika kursuse ehitame üles nii, et tunnuseid omistatakse terminitele, mitte mõistetele. Allpool tuuakse klassikaline tunnuste liigitus, mis on eriti sobiv definitsioonide koostamiseks. Klassikalist defineerimist käsitletakse pikemalt allpool. Selguse huvides peab siinkohal siiski etteruttavalt selgitama, et klassikaline definitsioon võrdleb kahte terminit. Üks on see, mida defineeritakse, (liigitermin), ning teine on üldisem termin, mille abil defineeritakse, (sootermin). Liigitermin viitab liigimõistele ning sellega haaratud objektide hulk on liik (ld species), sootermin viitab soomõistele ning sellega haaratud objektide hulk on sugu (ld genus). Nt ,,Koolieelik on laps, kes on 3-6 aastat vana". Sootermin on laps ning koolieelik on liigitermin, tunnus, mille abil defineeritakse, ehk liigierisus, on teatud vanus. Sootunnus on omadus, mille poolest sarnanevad kõik soomõistega haaratud objektid ja ainult need objektid