modus ponens

Dizionario delle Scienze Fisiche (1996)

modus ponens modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

TAGS: LOGICA MATEMATICA – INFERENZA

modus tollendo ponens

Dizionario delle Scienze Fisiche (1996)

modus tollendo ponens modus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

modus tollens

Enciclopedia della Matematica (2013)

modus tollens modus tollens in logica, regola di deduzione (indicata sinteticamente con MT) che permette di dedurre da una implicazione («se A allora B») e dalla negazione della sua conseguenza («non [...] (A ⇒ B e ￢B) si inferisce la conclusione (￢A) (→ inferenza, regola di). La regola del modus tollens è sostanzialmente equivalente alla regola del modus ponens. Infatti l’implicazione A ⇒ B è logicamente equivalente alla sua contronominale ￢B ⇒ ￢A ... Leggi Tutto

TAGS: MODUS PONENS

modus tollendo ponens

Dizionario di filosofia (2009)

modus tollendo ponens Locuz. latina («modo che negando [un enunciato] afferma [l’altro]»). Inferenza della sillogistica classica che ha la seguente forma: «vale almeno uno degli enunciati p, q; vale [...] ‘non p’; allora vale q» ... Leggi Tutto

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

LOGICA MATEMATICA Aldo Marruccelli Alberto Pasquinelli (XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999). Princìpi di logica matematica. È opportuno premettere all'articolo che dà notizia dei progressi [...] . Calcolo enunciativo. - Assiomi del calcolo enunciativo: Regole d'inferenza del calcolo enunciativo: a) regola di separazione o di distacco o modus ponens: a una sequenza di fbf in cui occorrano sia K sia K → H può essere aggiunta H; b) regola di ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

Razionalità

Enciclopedia Italiana - VII Appendice (2007)

Razionalità Antonio Rainone Claudio Sardoni Filosofia di Antonio Rainone È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi costituiscano temi eterni della ricerca filosofica. [...] di totalmente stupido" (Dennett 1978; trad. it. 1991, p. 49). Nei casi più elementari - per es., la regola del modus ponens: se p allora q, p, quindi q - il requisito potrebbe apparire in molti casi (anche se non necessariamente) soddisfatto; ma che ... Leggi Tutto

CATEGORIA: METODI TEORIE E PROVVEDIMENTI – TEMI GENERALI – DOTTRINE TEORIE E CONCETTI

TAGS: TEORIA DELLA PROBABILITÀ – TEORIA DELLE DECISIONI – FILOSOFIA DELLA MENTE – LOGICA PROPOSIZIONALE – PSICOLOGIA COGNITIVA

Ragionamento, psicologia del

Enciclopedia Italiana - VII Appendice (2007)

Ragionamento, psicologia del Paolo Legrenzi Fin da Aristotele la logica formale - le procedure che permettono di operare delle inferenze, cioè trarre conclusioni da premesse - è stata considerata alla [...] di inferenza che viene tacitamente e inconsapevolmente usato per eseguire inferenze (Legrenzi 1998, 20014). Nel caso specifico del modus ponens si tratta di inferire la conclusione (B) a partire da un condizionale composto da un antecedente (A), da ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: REGOLE DI INFERENZA – CANALE DELLA MANICA – METODO SPERIMENTALE – TEORIA DEI MODELLI – TEORIA DEI MODELLI

Informatica

Enciclopedia del Novecento (1989)

Informatica Fabrizio Luccio Franco P. Preparata Carl-Erik Fröberg Piero Sguazzero Piero Dell'Orco e Tomaso Poggio Teoria della computazione  di Fabrizio Luccio SOMMARIO: 1. Origine e motivazioni. [...] la regola di specializzazione universale ci autorizza a dedurre da questo enunciato l'enunciato M(g) (‛Giovanni è mortale'). 2. Modus ponens. Secondo questa regola dai due enunciati p ⇒ q e p è deducibile l'enunciato q. Esempio: dai due enunciati ‛se ... Leggi Tutto

TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – MASSACHUSETTS INSTITUTE OF TECHNOLOGY – TEOREMA DI INCOMPLETEZZA DI GÖDEL – PROBLEMA DEL COMMESSO VIAGGIATORE – METODO DEGLI ELEMENTI FINITI

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

STORIA DELLA MATEMATICA Luigi Borzacchini STORIA DELLA MATEMATICA Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] su formule che nella codifica diventavano funzioni aritmetiche sui numeri di codice delle formule. Per esempio a una regola come il modus ponens che da A e A ⇒ B derivava B, poteva essere associata una funzione aritmetica fmp, tale che, dette nA, nA ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modus ponens che consente di inferire la conclusione B dall'ipotesi A. Ma dire che A⊃B è un teorema o una tautologia di una logica ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA