Logika: Razlika med redakcijama
m robot Dodajanje: ta:ஏரணம் |
m robot Dodajanje: yo:Ìmọ̀ Ọgbọ́n |
||
Vrstica 102: | Vrstica 102: | ||
[[wa:Lodjike]] |
[[wa:Lodjike]] |
||
[[yi:לאגיק]] |
[[yi:לאגיק]] |
||
[[yo:Ìmọ̀ Ọgbọ́n]] |
|||
[[zh:逻辑]] |
[[zh:逻辑]] |
||
[[zh-classical:理則]] |
[[zh-classical:理則]] |
Redakcija: 18:46, 11. januar 2009
Lógika (grško starogrško λόγος: lógos - beseda, smisel, misel, načelo) je filozofski nauk o mišljenju ter njegovih zakonitostih. Logika v ožjem smislu je znanost o pravilnem sklepanju. Tradicionalno je logika filozofska disciplina, v 19. stoletju pa je postala tudi del matematike in kasneje računalništva.
Zgodovina
Aristotel je utemeljitelj logike. Njegovi logiški spisi (njegovo osrednje logiško delo je O razlaganju (Peri Hermeneias) se ukvarjajo z zakonitostmi pravilnega sklepanja. Aristotel je sistematično razmejil logiko kot znanost o pravilnem sklepanju od sofistike, grškega miselnega gibanja, ki se je pogosto posluževalo paradoksov in prikritih zmotah v argumentih.
Sholastika je razvila Aristotelov sistem v logiko, ki jo danes poznamo pod imeni logika terminov, silogistika ali A-sistem. Najpomembnejša sodobna logika sta Frege in Russell. Utemeljila sta propozicijsko logiko, logiko, ki z razliko od Aristotelove logike ne operira s termini, temveč s propozicijami, s stavki. Propozicijsko logiko lahko sicer v zametikih zasledimo že v stoiški logiki.
Sodbnejši logiški sistemi so po navadi utemeljeni na opustitvi nekaterih aksiomov iz starejših logiških sistemov ter uvedbi intenzionalnosti.
Glej tudi
Zunanje povezave
(angleško)
- http://logic.wikicities.com/wiki/Main_Page
- An Introduction to Philosophical Logic, by Paul Newall, aimed at beginners
- Translation Tips, by Peter Suber, for translating from English into logical notation