Autorius (-ė) Jonas Dagys
logika modalinės logikos šaka, tyrinėjanti vertinimų loginę struktūrą ir loginius ryšius. Daugiau
viena pagrindinių logikos sąvokų, žyminti loginiais ryšiais susietų teiginių grupę, kurioje vieni teiginiai laikomi suteikiančiais pagrindą kitam teiginiui. Samprotavimą sudarantys teiginiai skirstomi į prielaidas ir išvadą. Daugiau
logika predikatų logikos sritis, nagrinėjanti daugiaviečius predikatus. Nagrinėja bendrąsias loginių santykių savybes, nustato jų tipus ir su jais galimus atlikti veiksmus. Daugiau
seniausia žinoma Vakarų formaliosios logikos sistema. Jos pagrindinius principus išdėstė Aristotelis. Daugiau