Úsudek

V tradiční logice, úsudek je závěr ve kterém jeden problém ( závěr) následuje nutnosti od dva jiní (známý jako areál).

Definice je tradiční, ale je odvozen volně od Aristotlea je Prior analytika, kniha já, c. 1. Sullogismos Řeka znamená “dedukci”.

Formy úsudku:

• Kategorický úsudek
• Disjunctive úsudek
• Hypotetický úsudek
• přidat seznam jiných forem úsudku tady

Aristotle napsal klasice “Barbara” úsudek:

Jestliže všichni lidé (B je) být smrtelný (),

a všichni Řeci (C ) jsou lidé (B je),

pak všichni Řeci (C ) být smrtelný ().

To je,

Lidi zemřou.

Socrates je muž.

Socrates umře.

Metafora, v kontrastu, se podobá formě úsudku nazvaný “tvrdit následující”:

Grass umře.

Lidi zemřou.

Muži jsou tráva.

Barbara úsudek zahrnuje gramatiku a logické typy; to má předmět a predikát. Tvrdit následující, východisko pro metaforu, je gramaticky souměrný: to přirovnává dva predikáty. Tato forma úsudku je logicky invalida.

Epagoge je slabé úsudky, které se spoléhají na induktivní uvažování.

Viz též: Venn diagram