Logica
E Vicipaedia
Logica studium ratiocinationi. Logica et Mathematicæ scientiæ formales sunt.
In universitatibus mediaevalibus Logica pars trivii, artium liberalium, erat.
Index |
[recensere] Disciplinae
- ratiocinationes aristotelicae (syllogismi)
- ratio propositionum
[recensere] Argumenta, propositiones terminique
Argumenta ex propositionibus et propositiones ex terminis componuntur. Aristoteles dicit :
- Terminum voco in quem resolvitur propositio, ut praedicatum et de quo praedicatur, vel apposito vel diviso esse vel non esse.
Rei simplissimae logici sunt in "si-igitur dicta," quibus veritas verborum antecedentium veritatem verborum consequentium adfirmat. "Si-igitur dicta" formam habent:
Si X,Y.
Quod haec sequuntur:
X, ergo Y. ("Modus ponens.")
Non Y, ergo non X. ("Modus tollens.")
Haec tamen numquam sequuntur logice:
Non X, ergo non Y. ("Antecedentem negare.")
Y, ergo X. ("Consequentem confirmare.")
Multi principia prima logici putant inveniri verbis recte definiendis. Socrates ipse definitiones verborum ab aliis usorum rogavit -- "Mihi dic," inquit in Gorgia, "quid significat sententia tua Pindarisque 'iustitia naturalis.'"
[recensere] Libri
- Summa logicae, Guillelmus de Ockham
- Tractatus Logico-Philosophicus, Ludwig Wittgenstein
[recensere] Vide etiam
 |
Haec stipula ad mathematicam spectat. Amplifica si possis. |
