Results 1 to 10 of about 375,980 (119)

On the ‘Definability of Definable’ Problem of Alfred Tarski

open access: yesMathematics, 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
exaly   +4 more sources

TIESA IR TIKRUMAS WITTGENSTEINO FILOSOFIJOJE

open access: yesProblemos, 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

open access: yesNoû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

open access: yesMetaphilosophy, 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

open access: yesTheoria, 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]

open access: yesLogical 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

open access: yesMathematical 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

open access: yesPhilosophy 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

open access: yesTheoria, 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

open access: yesZygon®, 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

Home - About - Disclaimer - Privacy