Results 41 to 50 of about 28,310 (224)
Strongly Complete Logics for Coalgebras [PDF]
, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky, Yde Venema
core +3 more sources
The Abductivist Interpretation of Frege's Conception of Logic
Analytic Philosophy, EarlyView.ABSTRACT Frege is an abductivist about logic. For him, an acceptable logic must be sufficient—that is, it must be able to explain the relevant data, such as the fact that arithmetical laws are logical truths. Thus, Frege's logicism is an abductive project aimed at establishing the acceptability of his logic, Begriffsschrift.
Junyeol Kim
wiley +1 more source
Anita Burdman Feferman y Salomón Feferman, Alfred Tarski. Life and Logic
Crítica, 2018 Anita Burdman Feferman y Salomón Feferman, Alfred Tarski.
Alejandro Tomasini Bassols
doaj +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry
Journal of automated reasoning, 2016 In this paper, we report on the formalization of a synthetic proof of Pappus’ theorem. We provide two versions of the theorem: the first one is proved in neutral geometry (without assuming the parallel postulate), the second (usual) version is proved in ...
Gabriel Braun, Julien Narboux
semanticscholar +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
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
Revista de la Facultad de Ciencias, 2017 En este artculo se explican las paradojas de Hausdor y de Banach-Tarski.
Juan Diego Vélez, Carlos A. Cadavid-M.
doaj +1 more source
Right amenable left group sets and the Tarski-FØlner theorem [PDF]
International Journal of Group Theory, 2017 We introduce right amenability, right FØlner nets, and right paradoxical decompositions for left homogeneous spaces and prove the Tarski-FØlner theorem for left homogeneous spaces with finite stabilisers.
Simon Wacker
doaj +1 more source
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source