Results 21 to 30 of about 24,422 (242)
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
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
Peitho, 2017 Alfred Tarski frequently declared that his semantic definition of truth was inspired by Aristotle’s views. The present paper discusses this issue in the context of Marian Wesoły’s criticism of the thesis that there is an affinity between Tarski’s views ...
Jan Woleński
doaj +1 more source
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
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
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
Invariance and Logicality in Perspective [PDF]
, 2021 Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on
Sher, Gila
core
LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
Kínesis, 2014 Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
Karl Popper y la rehabilitación de la teoria de la verdad como correspondencia
Enrahonar: Quaderns de Filosofia, 1996 El objetivo fundamental de este artículo es reconstruir y examinar la interpretación que Popper presenta de la teoria tarskiana de la verdad como constituyendo la rehabilitation de la teoria de la verdad como correspondencia.
Luis Fernández Moreno
doaj +1 more source
Tarski monoids: Matui's spatial realization theorem
, 2017 We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a
A Kumjian +19 more
core +1 more source