modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] linguaggio relativa al dominio α è m. di T. Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di T. Due strutture U(α) e U(β) si dicono elementarmente equivalenti per ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche.
→ Modelli, teoria dei ...
Leggi Tutto
CATEGORIA:
LOGICA
La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Alfonso Maierù
La struttura del sapere
La classificazione delle conoscenze
Il periodo che precede la 'rinascita' [...] l'ordine delle cose naturali. Il secondo ordine è quello che la ragione considera e fa nell'atto suo proprio (come le operazioni logiche e grammaticali). Il terzo è quello che la ragione considera e fa nelle operazioni della volontà. Da ultimo, c'è l ...
Leggi Tutto
IBN WASIL
Federiciana (2005)
IBN WĀṢIL
BBruna Soravia
Storico, studioso di logica e giudice (qāḍī) siriano, ambasciatore per conto del sultano mamelucco Baybars presso Manfredi, re di Sicilia, al quale avrebbe dedicato un trattato [...] intento a insegnare nel suo circolo intellettuale (halqa), ricevesse la visita di un messo di Baybars, nella persona del grande logico persiano Naǧm al-Dīn Abū l-Hasan ῾Ali, detto Dabīrān, che gli avrebbe comunicato la sua inclusione nell'ambasceria ...
Leggi Tutto
Giàcomo da Venezia
Enciclopedia on line
Erudito (sec. 12º); rivelò all'Occidente la "logica nova" di Aristotele, traducendo dal greco in latino e commentando (1128 circa) gli Analitici primi e secondi, i Topici e gli Elenchi sofistici. A lui [...] si deve anche la traduzione di altre opere aristoteliche: della Physica, del De anima, di parte dei Parva naturalia e della Metaphysica (la cosiddetta Metaphysica vetustissima) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Knutzen, Martin
Enciclopedia on line
Filosofo (Königsberg 1713 - ivi 1751), prof. di logica e metafisica nell'univ. di Königsberg, vi insegnò dottrine che si proponevano di conciliare le sue convinzioni pietistiche con il sistema filosofico [...] di C. Wolff. Ebbe tra i suoi scolari I. Kant, che da lui derivò sia il primo fondo di cultura wolffiana, sia l'orientamento fisico-matematico della scienza. Fu infatti valente cultore di matematiche, e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Smith, Norman Kemp
Enciclopedia on line
Filosofo (Dundee 1872 - Edimburgo 1958), prof. di logica e metafisica all'univ. di Edimburgo (1919-45); fu uno degli esponenti del neorealismo inglese. Opere principali: Studies in the cartesian philosophy [...] (1902); Prolegomena to an idealistic theory of knowledge (1924); J. Locke (1933); The philosophy of D. Hume (1941); New studies in the philosophy of Descartes (1952). Ma la sua notorietà è legata soprattutto ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dharmakīrti
Enciclopedia on line
Autore e filosofo indiano, insigne rappresentante della logica buddistica (prima metà del sec. 7º). Nato da famiglia brahmanica, si convertì ancor giovane al buddismo. Dopo aver peregrinato per molti paesi [...] dell'India e aver preso contatto con dotti e filosofi suoi contemporanei, terminò la vita nella regione del Kalinga. Un solo breve trattato di lui ci è pervenuto nell'originale sanscrito. Altre sei opere, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ontologia
Enciclopedia on line
Termine filosofico usato per la prima volta al principio del 17° sec. da J. Lorhard (1606) e R. Goclenio (1613) e divulgato soprattutto da C. Wolff (1730) per designare la scienza dei caratteri universali [...]
Possono rientrare sotto l’etichetta di o., sia pure in un senso molto particolare, le ricerche svolte in campo di filosofia della logica soprattutto da W.V.O. Quine, sul problema della natura delle entità di cui si parla in una teoria. Quine ritiene ...
Leggi Tutto
CATEGORIA:
METAFISICA
dialettica
Enciclopedia on line
Tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore.
Filosofia
Il termine e il concetto di διαλεκτικὴ τέχνὴ, propriamemte «arte dialogica», risale [...] di identità e diversità delle varie idee, così il concetto di d. rimase da allora in poi legato a quei problemi del rapporto logico fra l’identità e l’alterità, fra l’identità e la contraddizione, fra l’affermazione e la negazione, che ancor oggi ...
Leggi Tutto