Logika: Verskil tussen weergawes
Content deleted Content added
k robot Bygevoeg: bat-smg:Luogėka |
Anrie (besprekings | bydraes) k uitleg |
||
Lyn 1:
'''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.▼
▲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? ==
Wanneer ons sê "dit is logies", praat ons oor iets wat gesê of geskryf is, dus 'n string sinne in taal, met 'n sekere soort samehang. Die samehang is dat sommige van die sinne (aan die begin) redes gee om aan te neem dat 'n ander sin (teen die einde) waar is. Kyk na 'n eenvoudige voorbeeld van so 'n lys van sinne, wat ons 'n redenasie of argument noem:
Line 19 ⟶ 16:
Die geldigheid van 'n argument hang dus nie soseer van sy spesifieke inhoud af nie, maar wel van die logiese vorm van sy sinne.
▲== 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.
| |||