Results 21 to 30 of about 28,310 (224)
Proceedings of the American Mathematical Society, 1977 A Tarski semigroup is an algebraic system which mirrors a fragment of the additive theory of cardinal numbers. Here we show that any two such systems have the same universal theory. We also give a simple arithmetical necessary and sufficient condition for a universal sentence to hold in a Tarski semigroup.
openaire +2 more sources
Note sur Popper lecteur de Tarski
Philosophia Scientiæ, 2007 1. Introduction. 2. Is Tarski’s theory of truth, as Popper claims after Tarski himself, a rehabilitation of the traditional view of truth as correspondence to facts? — Yes, but not for the reasons he gives. 3.
Philippe de Rouilhan
doaj +1 more source
Gödel, Tarski and the Lure of Natural Language
, 2020 Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice?
J. Kennedy
semanticscholar +1 more source
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference [PDF]
Journal of Logic and Computation, 2018 In this paper, we provide a fairly general self-reference-free proof of the second incompleteness theorem from Tarski’s theorem on the undefinability of truth.
A. Visser
semanticscholar +1 more source
A continuous movement version of the Banach—Tarski paradox: A solution to de Groot's Problem [PDF]
, 2005 In 1924 Banach and Tarski demonstrated the existence of a paradoxical decomposition of the 3-ball B, i.e., a piecewise isometry from B onto two copies of B.
Wilson, Trevor M.
core +1 more source
Sahlqvist via Translation [PDF]
Logical Methods in Computer Science, 2019 In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie +2 more
doaj +1 more source
Truth and Theories of Truth [PDF]
, 2021 The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues ...
Raatikainen, Panu
core
On Implicative and Positive Implicative GE Algebras
Bulletin of the Section of Logic, 2023 GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these
Andrzej Walendziak
doaj +1 more source
Invariant means on Boolean inverse monoids [PDF]
, 2015 The classical theory of invariant means, which plays an important role in the theory of paradoxical decompositions, is based upon what are usually termed `pseudogroups'. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which
Kudryavtseva, Ganna +3 more
core +2 more sources
Carnap's Contribution to Tarski's Truth.
Journal for the History of Analytical Philosophy, 2015 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