Logika: Verskil tussen weergawes

Content deleted Content added
Xqbot (besprekings | bydraes)
k Robot: de:Logik is 'n goeie artikel; kosmetiese veranderinge
kNo edit summary
Lyn 1:
[[Lêer:Excluded middle proof.png|thumb|regs|300px|'n Logiese bewys.]]
 
'''Logika''' is 'n vak wat die vorm van [[argumente]] in [[taal]] ondersoek om vas te stel of hulle geldig, of ten minste aanneemlik, is. Die twee belangrikste soorte logika is [[proposisionele logika]], wat die rol van woordjies soos "nie", "en", "of" en "as" in argumente nagaan, en [[predikaatlogika]], wat die rol van dinge, [[bewyse]] hul eienskappe en verhoudings in argumente betrek. Rekenaarwetenskap en kunsmatige intelligensie stimuleer nuwe vertakkings in dié meer as tweeduisend jaar oue wetenskap.
 
== Wat is logika? ==
Lyn 20:
== Verlede en toekoms van die logika ==
 
'n Onderdeel van die predikaatlogika, die [[sillogismelogika]], is al deur die antieke Griekse filosoof [[Aristoteles]] (384-322 vC) opgeteken, maar die groot ontplooiing van die logika het in die negentiende en twintigste eeue plaasgevind, toe die proposisie- en predikaatlogika en hul verband met die wiskunde volledig ontwikkel is.
 
Die jongste ontwikkelinge in die logika hou sterk verband met die ontstaan van die rekenaar, rekenaarwetenskap en kunsmatige intelligensie sedert die middel van die twintigste eeu. Een van dié ontwikkelinge bestudeer argumente waarin die premisse die konklusie wel aanneemlik maak, sonder om dit absoluut te waarborg. Ander ontwikkelinge bestudeer die logikas van moontlikheid en noodsaaklikheid; van kennis en opvattings; of van tyd: verlede, hede en toekoms.