Indice
19 relazioni: Accidente (filosofia), Assioma, Contraddizione, Copula (linguistica), Equivalenza logica, Implicazione inversa, Implicazione logica, Inferenza immediata, Irving Copi, Logica filosofica, Logica proposizionale, Obversione, Periodo ipotetico, Predicato, Proposizione (logica), Quantificatore, Soggetto (filosofia), Susan Stebbing, Trasposizione (logica).
Accidente (filosofia)
Accidente (greco συμβεβηκός: symbebekòs, lat.:accidens.
Vedere Contrapposizione e Accidente (filosofia)
Assioma
Un assioma, in epistemologia, è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
Vedere Contrapposizione e Assioma
Contraddizione
In logica si parla di contraddizione quando si identifica una proposizione con il suo contrario, ovvero se si considera una proposizione logica attualmente identica al proprio opposto.
Vedere Contrapposizione e Contraddizione
Copula (linguistica)
Dal latino copula.
Vedere Contrapposizione e Copula (linguistica)
Equivalenza logica
Nella logica e nella matematica, due proposizioni p e q si dicono logicamente equivalenti se hanno lo stesso valore di verità in ogni modello.
Vedere Contrapposizione e Equivalenza logica
Implicazione inversa
Nella logica e nella matematica, la inversione di un'affermazione categoriale o implicazionale è il risultato dell'inversione delle sue due affermazioni costituenti.
Vedere Contrapposizione e Implicazione inversa
Implicazione logica
Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) e un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.
Vedere Contrapposizione e Implicazione logica
Inferenza immediata
Uninferenza immediata è una deduzione che può essere fatta da una proposizione dichiarativa.. Ad esempio, dalla proposizione "tutti i rospi sono verdi" è possibile trarre la deduzione immediata che "nessun rospo non è verde".
Vedere Contrapposizione e Inferenza immediata
Irving Copi
Copi studiò sotto la direzione di Bertrand Russell mentre era all'Università di Chicago. Nel 1948 contribuì al calcolo delle relazioni logiche con un articolo che faceva uso della matrici binarie.
Vedere Contrapposizione e Irving Copi
Logica filosofica
La logica filosofica è una branca della filosofia che si occupa dello studio e dell'analisi dei principi e delle strutture del ragionamento e del pensiero.
Vedere Contrapposizione e Logica filosofica
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...).
Vedere Contrapposizione e Logica proposizionale
Obversione
Nella logica tradizionale, lobversione è un "tipo di inferenza immediata in cui da una data proposizione si deduce un'altra proposizione il cui soggetto è lo stesso del soggetto originario, il cui predicato è il contraddittorio del predicato originario, e la cui qualità è affermativa se la qualità della proposizione originale era negativa, e viceversa".
Vedere Contrapposizione e Obversione
Periodo ipotetico
Il periodo ipotetico è una struttura sintattica composta da una proposizione subordinata condizionale (detta protasi) e dalla sua reggente (detta apodosi).
Vedere Contrapposizione e Periodo ipotetico
Predicato
Il predicato (dalla lingua latina praedicatum, "ciò che viene affermato") è un elemento della frase (una parola o un gruppo di parole) o una frase elementare che può costituire insieme al soggetto una frase completa, fornendo al soggetto stesso il significato logico della sua esistenza nella frase.
Vedere Contrapposizione e Predicato
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 Contrapposizione e Proposizione (logica)
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Contrapposizione e Quantificatore
Soggetto (filosofia)
Il soggetto, in filosofia, è un termine che ha assunto una varietà di significati.
Vedere Contrapposizione e Soggetto (filosofia)
Susan Stebbing
È ricordata per essere stata nel 1933, la prima donna in Gran Bretagna a ottenere una cattedra in filosofia presso il Bedford College.
Vedere Contrapposizione e Susan Stebbing
Trasposizione (logica)
Nella logica proposizionale, la trasposizione è una regola di sostituzione valida che permette di scambiare l'antecedente con il conseguente di un enunciato condizionale in una dimostrazione logica quando entrambi sono negati.