modusponensmodusponens 〈mòduspò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
modus tollendo ponensmodus 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
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 modusponens: se p allora q, p, quindi q - il requisito potrebbe apparire in molti casi (anche se non necessariamente) soddisfatto; ma che ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] circostanze può essere rifiutata la conclusione Ba e, quindi, la validità incondizionata della regola logica del modusponens (McDermott, Doyle 1980; per una presentazione delle caratteristiche generali di tale logica v. Bara 1990, Cordeschi ...
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