STRUTTURA (fr. structure, système de choses; ingl. structure, lattice; ted. Verband, Dualgruppe)
Fabio Conforto
Con questo nome si intende nella matematica moderna ogni insieme S di elementi di natura [...] K. Menger, J. von Neumann e G. Köthe, quelli con la topologia da P. Alexandroff, quelli con la logica simbolica da A. Tarski in Polonia e da G. C. Moisil in Romania.
Alla definizione di struttura più sopra riportata si può dare un altro aspetto, che ...
Leggi Tutto
Lingua
Luis J. Prieto
di Luis J. Prieto
Lingua
sommario: 1. Introduzione. 2. Lingua e parole. 3. Lingua e codice non linguistico. □ Bibliografia.
1. Introduzione
Il primo problema che si presenta quando [...] compare tuttavia, in modo più o meno esplicito, nelle definizioni correnti di ‛universo di discorso'. Così si legge in Tarski (v., 19692, p. 68) che ‟in una teoria matematica particolare è talvolta [...] utile specificare esattamente ciò che viene ...
Leggi Tutto
Filosofia
Nella filosofia scolastica, l’attribuzione di una realtà oggettiva ai concetti universali. Nella filosofia moderna, ogni dottrina che consideri l’oggetto della conoscenza come esistente in sé, [...] adeguato una realtà indipendente. Entro tale prospettiva Popper ha ripreso la definizione semantica di verità di A. Tarski, riproponendo il concetto di verità come corrispondenza e considerando la successione storica delle teorie scientifiche come un ...
Leggi Tutto
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] delle operazioni di complementazione, unione e intersezione (teorema di M.H. Stone, equivalente al teorema di Lindenbaum-Tarski).
Psicologia
In psicologia si indica con r. il rinnovarsi dell’esperienza percettiva in assenza dello stimolo sensoriale ...
Leggi Tutto
SEMIOLOGIA (v. semiotica, App. III, 11, p. 697)
Emilio Garroni
Per "semiologia" o "semiotica" s'intende in linea generale la scienza o, meglio, la teoria dei segni, di qualunque tipo essi siano, verbale [...] - sia pure entro un quadro teorico più complesso e più sofisticato - nei semiotici-logici moderni da Frege al primo Wittgenstein, a Tarski, a Carnap. Tale nozione è ancora indubbiamente importante anche per la s. moderna, ma essa esige e ha del resto ...
Leggi Tutto
(pol. Warszawa) Città capitale della Polonia (1.767.798 ab. nel 2018). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo [...] della logica. I più importanti esponenti della scuola si possono considerare, oltre a Łukasiewicz, S. Leśniewski, A. Tarski e K. Ajdukiewicz.
Al loro insegnamento e alla loro impostazione filosofica e scientifica si sono ricollegati altri logici ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] della dimostrabilità per le formule del calcolo dei predicati del primo ordine è solo semidecidibile), il teorema di Tarski (il problema di decidere se una formula aritmetica è vera è indecidibile). Gli stessi teoremi di incompletezza ammettevano ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] una qualsiasi famiglia di spazi compatti è uno spazio compatto.
Tuttavia AC ha conseguenze che urtano la nostra intuizione. Nel 1924 Alfred Tarski e Stefan Banach dimostrano che tra le conseguenze di AC c’è il fatto che una sfera dello spazio a tre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] a chiedere quale fosse allora la classe delle funzioni calcolabili. Alonzo Church, Kurt Gödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un particolare aspetto della nozione di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Carla Casagrande
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Filosofo della scienza e della politica, teorico della “società aperta” e critico [...] perché più difficilmente falsificabili.
Dalla verità alla verosimiglianza
Sollecitato dalla teoria della verità del logico polacco Alfred Tarski, Popper si pone il problema di come sia possibile recuperare, se non il concetto di verità, quantomeno ...
Leggi Tutto