Cerca in:
rappresentazione
Enciclopedia on line
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
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA QUANTISTICA
–
GEOMETRIA
–
DOTTRINE TEORIE E CONCETTI
–
METAFISICA
Varsavia
Enciclopedia on line
(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
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, Alfred Tarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica come ...
Leggi Tutto
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] della proposizione p.
Accanto a quella degli studiosi nominati ricorderemo ancora l’opera dei logici polacchi (J. Łukasiewicz, S. Łesniewski, A. Tarski e altri) e la scuola nominalista di W.V.O. Quine e N. Goodman. In seguito, le varie tendenze hanno ...
Leggi Tutto
FILOSOFIA
Enciclopedia Italiana - IV Appendice (1978)
La produzione filosofica dopo il 1945 ha senza dubbio risentito fortemente della seconda guerra mondiale, del trauma che essa aveva rappresentato nella vita delle nazioni soprattutto europee. La sua conclusione [...] essere andato nel 1936 in Nuova Zelanda, dal 1946 in poi è stato professore a Londra. Né può dimenticarsi che A. Tarski (nato a Varsavia nel 1902), tra i più illustri rappresentanti della scuola polacca di logica con J. Lukasiewicz e K. Ajdukiewicz ...
Leggi Tutto
Pragmatismo
Enciclopedia del Novecento (1980)
Pragmatismo
Antonio Santucci
di Antonio Santucci
Pragmatismo
sommario: 1. Introduzione. La problematica ‛peirciana'. 2. Il pragmatismo di James. 3. Dewey e la teoria dell'indagine. 4. La filosofia europea [...] le nostre designazioni e gli oggetti designati. Essa va cercata nella riformulazione della nozione aristotelica di verità proposta da Tarski, per cui un'asserzione è vera se designa uno stato di cose (state of affairs) esistente e la corrispondenza ...
Leggi Tutto