Results 11 to 20 of about 24,422 (242)
Evaluating Etchemendy's Critiques of Tarski’s Analysis of Logical Consequence [PDF]
Journal of Philosophical Investigations, 2022 According to Tarski's model-theoretic analysis of logical consequence, the sentence X is a logical consequence of a set of sentences Γ if and only if any model for Γ is also a model for X.
Hamid Alaeinejad, Morteza Hajhosseini
doaj +1 more source
Research on a Class of Special Quasi TA-Neutrosophic Extended Triplet: TA-Groups [PDF]
Neutrosophic Sets and Systems, 2023 Tarski associative groupoid (TA-groupoid) and Tarski associative neutrosophic extended triplet groupoid (TA-NET-groupoid) are two interesting structures in non-associative algebra. In this paper, a new concept of TA-group is proposed based on TA-groupoid,
Mingming Chen, Yudan Du, Xiaogang An
doaj +1 more source
Could Tajtelbaum Question What Tarski Could Not? [PDF]
Organon F, 2020 The paper discusses Tarski’s approach to quotation. It starts from showing that it is vulnerable to semantic inconsistencies connected with what is known as Reach’s puzzle, formulated in 1938 by a Czech logician Karel Reach.
Jan Wiślicki
doaj +1 more source
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Principia: An International Journal of Epistemology, 2010 Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator.
Hércules A. Feitosa +2 more
doaj +3 more sources
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
Transposition Regular TA-Groupoids and Their Structures
Axioms, 2022 Tarski associative groupoid (TA-groupoid) is a kind of non-associative groupoid satisfying Tarski associative law. In this paper, the new notions of transposition regular TA-groupoid are proposed and their properties and structural characteristics are ...
Xiaogang An, Xiaohong Zhang
doaj +1 more source
Did Tarski commit “Tarski's fallacy”? [PDF]
Journal of Symbolic Logic, 1996 In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p.
openaire +3 more sources
, 2017 Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax.
Heylen, Jan, Horsten, Leon
core +4 more sources
Formalized Mathematics, 2014 Summary This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. The article is an extension and upgrading of the source code written by the first author with the
William Richter +2 more
openaire +2 more sources
Absoluteness of Truth and the Lvov–Warsaw School (Twardowski, Kotarbiński, Leśniewski, Łukasiewicz, Tarski, Kokoszyńska) [PDF]
, 2016 According to Twardowski, truth is if it is independent of temporal coordinates. This understanding was one of the main arguments against truth-relativism. Kotarbiński rejected this view as far the issue concerns sentences about the future, but he did not
Woleński, Jan
core +1 more source