Logica

E Vicipaedia

Enlarge

Logica studium ratiocinationi. Logica et Mathematicæ scientiæ formales sunt.

In universitatibus mediaevalibus Logica pars trivii, artium liberalium, erat.

Index

[recensere] Disciplinae

[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

[recensere] Vide etiam