Results 21 to 30 of about 1,570 (181)

A prolegomenon to the empirical cross‐linguistic study of truth

Theoria, Volume 88, Issue 6, Page 1248-1273, December 2022., 2022
Abstract In this paper, we propose and justify the cross‐linguistic study of the concept of truth through empirical studies of truth predicates, with results of such studies. We first conceptually explore the possibility of cross‐linguistic disagreement about truth purely due to linguistic norms governing truth predicates, which may imply a kind of ...
Masaharu Mizumoto
wiley   +1 more source

Tarski's influence on computer science [PDF]

Logical Methods in Computer Science, 2006
The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj   +1 more source

Automorphism invariant measures and weakly generic automorphisms

Mathematical Logic Quarterly, Volume 68, Issue 4, Page 458-478, November 2022., 2022
Abstract Let A$\mathcal {A}$ be a countable ℵ0‐homogeneous structure. The primary motivation of this work is to study different amenability properties of (subgroups of) the automorphism group Aut(A)$\operatorname{Aut}(\mathcal {A})$ of A$\mathcal {A}$; the secondary motivation is to study the existence of weakly generic automorphisms of A$\mathcal {A}$.
Gábor Sági
wiley   +1 more source

Primitivist theories of truth: Their history and prospects

Philosophy Compass, Volume 17, Issue 6, June 2022., 2022
Abstract Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton ...
Jeremy Wyatt
wiley   +1 more source

Back to the Golden Age: Saul Kripke's Naming and Necessity and Twenty‐First Century Philosophy

Theoria, Volume 88, Issue 2, Page 278-295, April 2022., 2022
Abstract In this paper, I try to outline what I take to be Naming and Necessity's fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty‐first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The
Andrea Bianchi
wiley   +1 more source

RELIGIOUS NATURALISM AND CREATION: A COSMOLOGICAL AND THEOLOGICAL READING ON THE ORIGIN/BEGINNING OF THE UNIVERSE

Zygon®, Volume 56, Issue 4, Page 1058-1069, December 2021., 2021
Abstract According to the reconceptualization of science that emerged in the twentieth century, our approach to nature is changing. There is a calling for an enlarged rationality and for a multilevel analysis of the Cosmos around us, because the reality itself shows new depths and complexities, while new methodologies in the scientific research, such ...
Alessandro Mantini
wiley   +1 more source

An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory

Theoria, Volume 87, Issue 2, Page 349-360, April 2021., 2021
Abstract I will give a brief overview of Saharon Shelah's work in mathematical logic. I will focus on three transformative contributions Shelah has made: stability theory, proper forcing and PCF theory. The first is in model theory and the other two are in set theory.
Jouko Väänänen
wiley   +1 more source

Análisis crítico del minimalismo de Paul Horwich

Escritura y Pensamiento, 2021
El minimalismo de Paul Horwich es la teoría que pretende ser la de mayores alcances epistemológicos dentro del deflacionismo. Su creador lo presenta como la última palabra sobre el concepto de verdad, declarando imposible un estudio más detallado y ...
Óscar Augusto García Zárate
doaj   +1 more source

Tarski [PDF]

, 2017
Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley.
Eastaugh, Benedict, Benedict Eastaugh
core   +2 more sources

Anita Burdman Feferman y Salomón Feferman, Alfred Tarski. Life and Logic

Crítica, 2018
Anita Burdman Feferman y Salomón Feferman, Alfred Tarski.
Alejandro Tomasini Bassols
doaj   +1 more source