Enciclopedia delle Scienze Sociali I Supplemento (2001)
Giuridico, ragionamento
Riccardo Guastini
'Ragionamento'
Il vocabolo 'ragionamento' è ambiguo: talvolta sembra riferirsi ad un atto o processo: l'atto o processo (mentale) del ragionare; talaltra sembra [...] (o astratta) ad un caso individuale (o concreto) può essere configurata come un semplice ragionamento deduttivo, in modusponens: "Se F, allora G. F. Quindi G".Beninteso, il carattere deduttivo dell'argomentazione garantisce la validità logica ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] .
9. b ⊃ . a ⊃ ab
10. a ⊃ b . ⊃ . −b ⊃ –.
11. −(−a) = a
12. (. ∪ b)c ⊃ ac ∪ bc
13. a − a = ∧
Il modusponens (assioma 7) colma una lacuna nella parte logica degli Arithmetices principia, nei quali infatti Peano non riesce a giustificare il passaggio ...
Leggi Tutto
Conoscenza umana tra verità e scetticismo
Massimo Dell’Utri
Nuove idee su un vecchio problema
Che cosa si debba intendere per conoscenza, quali ne siano le fonti e quali i metodi per ottenerla sono [...] ingannato da un genio maligno, allora non so che mi trovo in Italia». Tramite la consueta regola di inferenza nota come modusponens, dal primo e dal secondo passo si può infine concludere: «Io non so che mi trovo in Italia». Ripetendo poi lo ...
Leggi Tutto
Razionalità pratica tra senso comune cultura e natura
Antonio Rainone
Nella tradizione filosofica si parla da lungo tempo di razionalità ‘teoretica’ e razionalità ‘pratica’. Teoretica (o cognitiva) [...] delle preferenze, ciò non vuol dire necessariamente che è irrazionale, così come chi sbaglia una deduzione per modusponens non necessariamente è un soggetto prelogico o alogico. Esistono indubbiamente dei limiti cognitivi umani, di memoria ...
Leggi Tutto
proposizioni, calcolo delle
proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] A) ⇒ ((¬B ⇒ A) ⇒ B)
dove A, B, C sono formule del linguaggio degli enunciati.
L’unica regola di inferenza è il → modusponens, rappresentato dal seguente schema
dove la linea orizzontale separa le premesse (A e A ⇒ B) dalla conclusione B.
Una fbf F ...
Leggi Tutto
deduzione, catena di
deduzione, catena di rappresentazione formale di un ragionamento consistente in una sequenza di formule ben formate (ƒbƒ), ognuna delle quali è legata alla successiva da determinate [...] come assioma 1;
• la formula (A ⇒ (B ⇒ C)) ⇒ ((A ⇒ B) ⇒ (A ⇒ C)) indicata come assioma 2;
e la regola di deduzione detta modusponens, in base alla quale si può dedurre la formula B dalle due formule A e A ⇒ B (sia negli assiomi sia nella regola di ...
Leggi Tutto
proposizionale, calcolo
Locuz. che designa il calcolo logico in cui l’analisi delle inferenze viene condotta a livello delle proposizioni (e dei loro nessi logici) senza indagare la struttura interna [...] assiomi (A1. (α→(β→α)); A2. (α→(β→γ))→((α→β)→(α→γ)); A3. (¬β→¬α)→((¬β→α)→β); e dalla regola logica del modusponens (da α e da α→β segue β). La concezione classica del calcolo p. si fonda sul carattere verofunzionale dei connettivi e sull’adozione ...
Leggi Tutto
inferenza logica
inferenza logica sinonimo di «argomentazione logica» utilizzato per designare il processo di deduzione di una formula A, detta conclusione, a partire da una o più formule, dette premesse. [...] di deduzione, le quali stabiliscono come dedurre da una o più formule ben formate, che rivestono il ruolo di premesse, un’altra formula ben formata detta conclusione (→ inferenza, regole di). Un esempio di regola di inferenza è il modusponens. ...
Leggi Tutto
conclusione
conclusióne [Der. del lat. conclusio -onis, dal part. pass. conclusus di concludere, comp. di cum "insieme" e claudere "chiudere", e quindi "chiusura, compimento"] [FAF] C. della regola: [...] nella regola del modusponens: v. logica: III 484 a. ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] I figura con proposizioni singolari. Un esempio del primo caso è il dilemma costruttivo complesso (un sillogismo ipotetico misto in Modus Ponendo Ponens) di Topici I 8. Un esempio invece del secondo caso, sempre nei Topici (VIII 10, 160b25-33), è il ...
Leggi Tutto