VERITA PROCESSUALE
Michele Taruffo
VERITÀ PROCESSUALE. – Una nozione dubbia. Una verità possibile. Quale verità. Verità e realtà. Verità e prova. Verità e probabilità. Bibliografia
Una nozione dubbia. [...] prove) che si assumono come premesse, e una conclusione fattuale che da esse viene derivata, sulla base di una regoladiinferenza che giustifica l’attendibilità della conclusione sulla base delle premesse.
Bibliografia: L. Laudan, Truth, error, and ...
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 [...] non so che non sono perennemente ingannato da un genio maligno, allora non so che mi trovo in Italia». Tramite la consueta regoladiinferenza nota come modus ponens, dal primo e dal secondo passo si può infine concludere: «Io non so che mi trovo in ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] proposizioni che la compongono. In particolare, il tentativo di automatizzare un sistema di deduzione ha portato a mettere a punto un sistema basato su una sola regoladiinferenza, detta regoladi risoluzione, che si applica però soltanto a formule ...
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, [...] ⇒ B) ⇒ (A ⇒ C))
• (¬B ⇒ ¬A) ⇒ ((¬B ⇒ A) ⇒ B)
dove A, B, C sono formule del linguaggio degli enunciati.
L’unica regoladiinferenza è il → modus ponens, rappresentato dal seguente schema
dove la linea orizzontale separa le premesse (A e A ⇒ B) dalla ...
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 [...] Da tali formule ben formate si ricava una nuova formula ben formata tramite l’applicazione di una regoladiinferenza; questo procedimento si ripete un numero finito di volte fino ad arrivare a una formula finale, il teorema. Un teorema è quindi una ...
Leggi Tutto
congiunzione, eliminazione di una
congiunzione, eliminazione di una in logica, regoladi deduzione per la quale dalla verità della congiunzione A ∧ B si deduce la verità sia di A sia di B (→ inferenza, [...] regoladi). ...
Leggi Tutto
congiunzione, introduzione di una
congiunzione, introduzione di una in logica, regoladi deduzione per la quale dalla verità di due singoli enunciati A, B si deduce la verità di A ∧ B (→ inferenza, regola [...] di). ...
Leggi Tutto
INFERENZA STATISTICA
Ludovico Piccinato
Si ha un'inferenza statistica (v. anche statistica, App. IV, iii, p. 451) quando, sulla base dell'informazione fornita dall'osservazione di alcuni fatti e poi [...] , ai fini della valutazione di θ, sapere se si è proceduto con l'una o l'altra delle due regole? La risposta a questa un qualunque altro motivo non collegato a θ, è ininfluente ai fini di ogni inferenza su θ. Si può osservare che, quando s ed n sono ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] ) un insieme diregolediinferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di espressioni logicamente giuste, in quanto ricavate dalle premesse mediante un numero finito di applicazioni delle regolediinferenza (teoremi o ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] (come N. Goodman), ne ha segnalato il carattere di procedura eminentemente pragmatico-linguistica non ulteriormente riconducibile a qualche forma diinferenza logico-sintattica. Più radicale il punto di vista di K. Popper, che ha invece negato la ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...