Indice
9 relazioni: Ambito (logica), De dicto e de re, Logica, Logica modale, Necessità, Paralogismo, Proposizione (logica), Sillogismo, Tautologia.
Ambito (logica)
Nella logica, l'ambito (in inglese: scope) di un quantificatore è l'intervallo nella formula in cui il quantificatore opera. L'ambito compare subito a destra del quantificatore e viene spesso indicato tra parentesi tonde.
Vedere Errore dell'ambito modale e Ambito (logica)
De dicto e de re
Nella filosofia del linguaggio e nella metafisica, de dicto e de re sono due espressioni latine utilizzate per evidenziare una differenza di significato all'interno delle affermazioni intenzionali.
Vedere Errore dell'ambito modale e De dicto e de re
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell'argomentazione.
Vedere Errore dell'ambito modale e Logica
Logica modale
Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.
Vedere Errore dell'ambito modale e Logica modale
Necessità
In filosofia la necessità è un principio metafisico secondo il quale la dinamica della materia in ogni suo aspetto (compresa quella biologica) è governata da un nesso diretto causa/effetto, ovvero da causalità lineare, sicché si nega la realtà del caso.
Vedere Errore dell'ambito modale e Necessità
Paralogismo
Il paralogismo (dal latino paralogismus, a sua volta derivato dal greco antico, composto di (para-), "contro", e (logismós), "riflessione, ragionamento") è un ragionamento errato.
Vedere Errore dell'ambito modale e Paralogismo
Proposizione (logica)
In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F).
Vedere Errore dell'ambito modale e Proposizione (logica)
Sillogismo
Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che funge da soggetto nella conclusione) classificati in base al rapporto contenente-contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).
Vedere Errore dell'ambito modale e Sillogismo
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo (ad es.