| FILIT
Obsah Chronológia Registre Vyhľadávanie Diskusia Správa |
Logika matematická
logika matematická
= logistika = symbolická logika
- moderná forma logiky, ktorá sa od staršej, tradičnej logiky odlišuje predovšetkým jej formalizáciou a kalkulizáciou, prípadne (z praktických dôvodov) symbolizáciou. Matematická logika je formálna logika, ktorá pri skúmaní myslenia používa matematické metódy, špeciálny aparát symbolov a kalkuly prípadne formalizované jazyky. Matematická logika aplikuje symboly z dôvodov skrátenia. Pravidlá, ktoré matematická logika pri výskume myslenia vyťaží, sú analogické s pravidlami matematických, najmä algebraických operácií. Úlohou matematickej logiky je vlastne to isté, čo úlohou tradičnej logiky, totiž vyvinúť postupy, pomocou ktorých by sa dala preveriť správnosť našich logických uzáverov, alebo ináč povedané, pomocou ktorých by sa dali odlíšiť platné uzávery od neplatných. Alebo ešte ináč povedané, úlohou matematickej logiky je vypracovať kritériá, pomocou ktorých by sa dali rozlíšiť logicky pravdivé výpovede od iných právd (cf. L112;430an.).
---------------------
|