verita logiche e verita biologiche
verità lògiche e verità biològiche. – A partire dagli ultimi anni del 20° sec. e sempre più decisamente dall’inizio del 21°, la riflessione filosofica relativa alla [...] secondo le quali la verità si fonda su leggi e regolediinferenza logiche e matematiche indipendenti e non modificabili (come, per es., nella teoria di G. Frege), si è proposto di considerare la razionalità e la logica stessa come risultato dell ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regolediinferenza) da alcuni degli assiomi o teoremi precedenti. ...
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
formalizzazione
Rappresentazione rigorosa di una teoria da un punto di vista espressivo e deduttivo. Tale rappresentazione viene considerata necessaria per escludere sia la presenza di assunzioni occulte [...] principi base), espressa in un linguaggio artificiale (in cui i simboli abbiano significati stabiliti in anticipo), e composta di enunciati connessi da regolediinferenza specificate sin dall’inizio. Che un primo passo verso la formulazione rigorosa ...
Leggi Tutto
primo ordine, teoria del
primo ordine, teoria del espressione usata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i [...] assiomi in un linguaggio formale (si consideri per esempio l’aritmetica formalizzata dagli assiomi di → Peano) nonché le sue regolediinferenza. Solitamente le teorie matematiche sono formalizzate in un linguaggio dei predicati, facendo quindi uso ...
Leggi Tutto
inferenzialismo semantico
inferenzialismo semàntico locuz. sost. m. – Teoria del filosofo R. Brandom, definita semantic inferentialism, secondo la quale i contenuti di un enunciato sono definiti dalle [...] alle conseguenze, allora essi posseggono il medesimo significato. Si tratta di un inferenzialismo della semantica degli enunciati, non delle regolediinferenza logica. In tale prospettiva Brandom si contrappone alle concezioni rappresentazionaliste ...
Leggi Tutto
teoria
teoria termine generico che tuttavia, nella sistemazione logica della matematica, si specifica assegnando un apparato logico, costituito da:
• un → linguaggio formale, che definisce le → formule [...] ben formate della teoria;
• un sistema diregoledi → inferenza.
A tale apparato logico generale si accompagnano → assiomi specifici, che caratterizzano la teoria stessa, arricchendola di funzioni, relazioni ed elementi particolari (si veda, per ...
Leggi Tutto
conseguenza
conseguenza si dice che l’enunciato P è conseguenza logica di un insieme A di enunciati (tipicamente un sistema di assiomi) quando P è dedotta da uno o più enunciati di A. Se la deduzione [...] un sistema formale, l’enunciato P si ottiene a partire dagli enunciati di A attraverso regolediinferenza formali e si parla più propriamente di conseguenza sintattica. Per conseguenza semantica si intende invece il fatto che P risulta vero in tutti ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] , e un'a. astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regolediinferenza. (c) Con altro signif., tendenza al formalismo puro, nell'ambito della critica dei ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regolediinferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ...
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,...