Results 1 to 10 of about 149 (121)

On the ‘Definability of Definable’ Problem of Alfred Tarski [PDF]

Mathematics, 2020
In this paper we prove that for any m≥1 there exists a generic extension of L, the constructible universe, in which it is true that the set of all constructible reals (here subsets of ω) is equal to the set D1m of all reals definable by a parameter free ...
Vladimir Kanovei, Vassily Lyubetsky, Kanovei Vladimir   +2 more
exaly   +4 more sources

Czy Alfred Tarski jest relatywistą aletycznym? [Is Alfred Tarski Alethic Relativist?] [PDF]

Analiza i Egzystencja, 2013
In the article "Popper, Tarski and Relativism" Jennings argues that according to T-equivalence all ontology (all sort of things in the world) is the derived from the first-order language.
Jacek Moroz
doaj   +1 more source

TIESA IR TIKRUMAS WITTGENSTEINO FILOSOFIJOJE

Problemos, 2003
Vitgenšteiniška tiesos ir tikrumo sampratos analizė reikalauja bent paviršutiniškai išmanyti tradicinę tiesos interpretaciją. Straipsnyje ši interpretacija trumpai aptariama atsižvelgiant į tris tiesos aspektus - ontologinį, loginį ir etinį.
Albinas Plėšnys
doaj   +24 more sources

Space, time and parsimony

Noûs, Volume 57, Issue 4, Page 763-783, December 2023., 2023
Abstract This paper argues that all of the standard theories about the divisions of space and time can benefit from, and may need to rely on, parsimony considerations. More specifically, whether spacetime is discrete, gunky or pointy, there are wildly unparsimonious rivals to standard accounts that need to be resisted by proponents of those accounts ...
Daniel Nolan
wiley   +1 more source

Discursive pluralism: Inferentialist expressivism and the integration challenge

Metaphilosophy, Volume 54, Issue 5, Page 717-733, October 2023., 2023
Abstract Discursive pluralism, recently fostered by anti‐representationalist views, by stating that not all assertions conform to a descriptive model of language, poses an interesting challenge to representationalism. Although in recent years alethic pluralism has become more and more popular as an interesting way out for this issue, the discussion ...
Pietro Salis
wiley   +1 more source

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