termine
Lemma che occorre con diverse accezioni, ma principalmente in una accezione logica. In tale senso sono t. il soggetto e il predicato che costituiscono le proposizioni categoriche del sillogismo: [...] moderna ha conferito alla nozione di t. un’accezione tecnica nel contesto della logicadelprimoordine e della logica di ordine superiore. In tali ambiti il concetto di t. viene definito mediante una definizione ricorsiva. In modo informale ...
Leggi Tutto
decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] da un fondamentale teorema di Church del 1936 che l’insieme dei teoremi della logica classica delprimoordine (o calcolo dei predicati) è indecidibile; data una qualunque espressione E del linguaggio della logicadelprimoordine, non si è in grado ...
Leggi Tutto
Herbrand
Herbrand Jacques (Parigi 1908 - La Bérarde, Isère, 1931) matematico e logico francese. Morì giovanissimo all’età di 23 anni in un incidente alpinistico. A 17 anni fu ammesso, primo in graduatoria [...] dimostrazione, 1930), e le procedure di riduzione quasi-algoritmica di espressioni quantificate a particolari forme enunciative, che fondamentalmente permettono un certo tipo di riduzione della logicadelprimoordine alla logica proposizionale. ...
Leggi Tutto
Herbrand, teorema di
Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] di Herbrand sono riportati anche altri risultati del giovane logico francese; in particolare, la possibilità di ridurre algoritmicamente questioni relative alla logicadelprimoordine alla logica proposizionale. Per questo tale risultato ha avuto ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] luoghi» della disputa) dovrebbe servire a porre ordine in un campo tradizionalmente considerato dominio dei retori L.E. Brouwer a partire dal primo decennio del Novecento. Brouwer si oppone alla teoria logicista che considera la l. come fondamento ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ogni insieme di formule del calcolo dei predicati delprimoordine (contenente quindi in generale A1 ⋁...⋁ Ai−1 ⋁ Aj+1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenza logica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s(0), w) ⋁¬P(w ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] culminata nell’opera di G. Boole, dall’altro nell’esigenza di chiarificazione logica dei fondamenti della teoria degli → insiemi. La formalizzazione della logica dei predicati delprimoordine, portata per l’essenziale a termine da G. Frege, apre la ...
Leggi Tutto
LOGICA DEONTICA
Claudio Pizzi
La nascita della l. d. nella sua forma attuale si fa risalire a un articolo di G.H. von Wright del 1951, in cui per la prima volta si analizzava l'affinità strutturale [...] in questo settore della ricerca logica. Il primo dei paradossi da ricordare in ordine di tempo è il cosiddetto paradosso ritenga formalizzata da O(p ⊃ q). Si ha infatti, in virtù del teorema ∼Pp ⊃ O(p ⊃ q), che il commettere qualcosa di vietato ...
Leggi Tutto
Logica come scienza del concetto puro
Michele Maggi
Il concetto
La Logica come scienza del concetto puro (d’ora in poi Logica) esce nel 1909 quale seconda parte della Filosofia come scienza dello spirito, [...] prima parte del libro, intitolata “Identità del concetto puro e del giudizio individuale. La sintesi a priori logica dire il filosofare in atto, non è distruzione, ma ordinamento, non disconoscimento ma ridisposizione. Tale recupero di realtà senza ...
Leggi Tutto
Logica, matematica, evoluzione biologica
Carlo Cellucci
L’influenza della tradizione antievoluzionista
Nei primi anni del nuovo secolo si è imposta all’attenzione una questione che nel Novecento era [...] solo il senso del numero ma anche il senso dello spazio, della grandezza, della forma, dell’ordine (Devlin 2000, 2005 sostenibile a causa delprimo teorema di incompletezza di Gödel.
Matematica e attività umane
Si è detto che la logica è l’organo ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...