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
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