Results 31 to 40 of about 1,570 (181)
The paper presents a comparison of the theories of truth, and the solutions of the liar paradox, proposed by Thomas Bradwardine (c. 1290-1349), Jean Buridan (c. 1295-1358), and Alfred Tarski (1901-1983).
David Miller
doaj +1 more source
Carnap's Contribution to Tarski's Truth.
In his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been
Monika Gruber
doaj +1 more source
Introduction: At the beginning of the cognitive procedure, the choice of the research perspective is crucial. Whereas, in numerous pedagogy-field publications, authors almost automatically move from the problem to the methods and techniques of its ...
Małgorzata Makiewicz
doaj +1 more source
ACERCA DA CONCEPÇÃO SEMÂNTICA DE VERDADE:
O presente artigo tem como objetivo inicial apresentar e discutir os pontos centrais da concepção semântica de verdade apresentada pelo lógico-matemático polonês Alfred Tarski.
Ícaro Coelho Martins
doaj
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Volume 100, Issue 6, June 2020.
Reinhard Siegmund‐Schultze
wiley +1 more source
How Should One Write about Masters?
The aim of the paper is to answer the question: how should one write about masters? It is a question about the narrative strategies of authors writing about masters. The presented analysis is based on five examples: (1) John A.
Adam F. Kola
doaj +1 more source
Formale Wahrheitstheorien nach Alfred Tarski [PDF]
Die mathematische Logik nimmt einen so grossen Teil der Arbeit ein, weil ich glaube dass man ohne Kenntnis der mathematischen Logik die von mir behandelten Autoren nicht wirklich verstehen kann. Ausserdem habe ich immer versucht in den Kapiteln über formale Logik philosophische Fragen aufzuwerfen und zu diskutieren. Das so etwas nur anzatzweise möglich
Pucher, Michael
openaire +2 more sources
Rhetoric, Mathematics, Physics, and Argumentation Introduction to the Discussion
The aim of the text is to present a hypothesis called by me Aristotle-Ax hypothesis, which held that: first – every sentence/every period in any language N may be distributed/decomposed into two levels: léxis and dianoia.
Jakub Z. Lichański
doaj +1 more source
Maria Kokoszyńska: Between the Lvov-Warsaw School and the Vienna Circle
Maria Kokoszyńska-Lutmanowa (1905–1981) was one of the most outstanding female representatives of the Lvov-Warsaw School. After achieving her PhD in philosophy under Kazimierz Twardowski’s supervision, she was Kazimierz Ajdukiewicz’s assistant.
Anna Brożek
doaj +1 more source
Finite models for positive combinatorial and exponential algebra
Abstract We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of non‐negative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined.
Tumadhir Alsulami, Marcel Jackson
wiley +1 more source

