Autorius (-ė) Romanas Plečkaitis

klasės
skirstymas
logikoje klasės dalijimas į poklasius pagal kurį nors požymį. Daugiau
klasifikacija
kurios nors rūšies objektų suskirstymas į susijusias klases. Daugiau
klasikinė
logika
matematinės logikos kryptis, teiginiams priskirianti dvi reikšmes – teisingumą ir klaidingumą. Daugiau
klasių
logika
logikos sritis, tirianti klases. Gali būti laikoma teiginių logikos išplėtimu, atskiru predikatų logikos atveju, būti tapati aibių algebrai. Daugiau
klausimų
logika
logikos sritis, tirianti klausimų ir atsakymų į juos pagrindimą, raišką, savybes, santykius. Daugiau
komandų
logika
deontinės logikos teorija, tirianti imperatyvų raišką samprotavimuose. Daugiau
kombinatorinė
logika
matematinės logikos kryptis, tirianti kombinatorius (funkcijų operacijas) ir jų savybes. Atsirado 20 a. pradžioje, pradininkas M. Šeinfinkelis (Rusija). Daugiau
konceptualizmas
Vidurinių amžių filosofijos pažiūra, teigianti, kad universalijoms (bendrybėms) nebūdinga ontinis realumas; bendrybę sukuria mąstymas, ji esanti žodžio reikšmė, sąvoka. Susiformavo 12 amžiuje. Daugiau
konstruktyvieji
objektai
tiriami ir vartojami tik potencialaus realizavimo abstrakcijos srityje. Daugiau
konstruktyvioji
logika
plėtojama pagal vadinamosios konstruktyviosios krypties principą, reikalaujantį, kad loginiuose ir matematiniuose teiginiuose aptariamus objektus būtų galima efektyviai sukurti. Daugiau