sylogistyka
 
Encyklopedia PWN
sylogistyka
[gr.],
log. dział logiki formalnej zajmujący się formułowaniem i systematyzacją praw dotyczących związków między klasycznymi zdaniami kategorycznymi oraz metod formalnego dowodzenia poprawności wnioskowania zwanego sylogizmem.
Sylogistyka we wszystkich rozumowaniach operuje nazwami ogólnymi lub jednostkowymi, wyłącza zaś nazwy puste, negatywne i uniwersalne; współczesne rozumowania sylogistyczne przebiegają zgodnie z tezami rachunku kwantyfikatorów; pierwszą teorię sylogistyczną sformułował Arystoteles; współcześnie sylogistyka, zaksjomatyzowana przez J. Łukasiewicza i in., stanowi fragment wielu systemów logicznych.
zgłoś uwagę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia