metateoria
metateoria teoria che ha come oggetto di studio un’altra teoria, che ne costituisce la sua teoria oggetto, di cui indaga caratteristiche, formalizzazioni, sintassi e semantica. I risultati [...] . In generale questo tipo di precisazione è identificato nella formalizzazione, ovvero nella sostituzione alla teoria data di corrispondenti sistemiformali. La metateoria di una data teoria oggetto può, in quanto teoria, essere a sua volta oggetto d ...
Leggi Tutto
validita
validità
Il criterio in base al quale si stabilisce l’efficacia logica o probativa. Nella logica matematica il termine si presenta con vari significati che hanno influenzato il lessico filosofico [...] dei predicati la controparte delle tautologie (➔ tautologia) della logica proposizionale (➔ proposizionale, calcolo).
Validità di un sistemaformale
Un sistemaformale U è valido o semanticamente coerente o corretto se non si dà mai il caso che, se ...
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’ [...] di n individui. Il requisito di effettività del procedimento è equivalente a quello di eseguibilità con un computer. Per i sistemiformali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: (1) se sia ...
Leggi Tutto
semantica
semantica parte della logica che si occupa di fissare le regole per la interpretazione delle formule di un linguaggio formale in modo da attribuire loro un significato. Per gli usuali sistemi [...] formali si adotta universalmente la semantica tarskiana (da A. Tarski), nella quale i termini sono interpretati su elementi di un qualche insieme e i predicati e le relazioni su insiemi di sequenze ordinate di elementi dell’insieme; il riferimento ...
Leggi Tutto
Scholz, Heinrich
Teologo e logico tedesco (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò a Kiel e poi a Münster (dal 1928), dove [...] nuova logica di Whitehead e Russell, tanto che S. fu indotto a dedicarsi quasi esclusivamente allo studio dei sistemiformali e della loro storia. Mantenne peraltro vivo l’interesse speculativo sostenendo la tesi che soltanto l’applicazione degli ...
Leggi Tutto
Lesniewski
Leśniewski Stanisław (Serpuchov, Mosca, 1886 - Varsavia 1939) matematico, logico e filosofo polacco. Fu esponente di spicco della scuola polacca di matematica e logica, cui appartengono anche [...] di Leśniewski fu la riflessione sui paradossi insiemistici; al fine di superarli, costruì un complesso intreccio di tre sistemiformali, annidati l’uno nell’altro, denominati prototetica (o “teoria delle tesi primarie”), ontologia e mereologia (cioè ...
Leggi Tutto
Jaskowski
Jaśkowski Stanisław (Varsavia 1906-65) logico polacco. Allievo di J. Łukasiewicz e membro della scuola di logica di Leopoli-Varsavia, si occupò di → logica paraconsistente. Si iscrisse alla [...] discussione tra due onesti interlocutori le incoerenze non escludono la discussione stessa. Per questo egli cerca sistemiformali che permettano di esaminare tali incoerenze, attraverso una teoria che ne contenga una. Se una logica paraconsistente ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] . I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemiformali di questo tipo e il loro studio dal punto di vista sintattico è particolarmente rilevante per quanto riguarda la ...
Leggi Tutto
logica paraconsistente
logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemiformali non sono compatibili con le contraddizioni perché [...] falso quodlibet legato al connettivo di implicazione. Ciò non accade nelle logiche paraconsistenti. Se L è un sistemaformale di una logica paraconsistente allora è possibile estendere L aggiungendo a esso due proposizioni in contraddizione fra loro ...
Leggi Tutto
Curry
Curry Haskell Brooks (Millis, Massachusetts, 1900 - State College, Pennsylvania, 1982) matematico e logico statunitense. Dopo aver iniziato studi di medicina, si laureò in matematica nel 1920 e [...] ). Ritornò quindi negli Stati Uniti dove insegnò all’università della Pennsylvania, continuando a occuparsi di logica e di sistemiformali. Nel 1936 fu tra i fondatori della Association for Symbolic Logic, di cui fu anche presidente. Dal 1966 ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
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,...