Results 31 to 40 of about 401 (180)
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 134-152, July 2026.ABSTRACT Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible‐worlds formulations of determinism presuppose an “agreement” relation between worlds, but this relation can be understood in multiple ways, none of which is particularly ...
Hans Halvorson +2 more
wiley +1 more source
Review: Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Journal for the History of Analytical Philosophy, 2013 Review of Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic.
Roman Murawski
doaj +1 more source
On the theories classified by an étendue
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We give a model‐theoretic characterisation of the geometric theories classified by étendues—the ‘locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.
Joshua L. Wrigley
wiley +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
Notre Dame Journal of Formal Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Identifiability of points and rigidity of hypergraphs under algebraic constraints
Journal of the London Mathematical Society, Volume 114, Issue 1, July 2026.Abstract The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially‐filled tensors subject to rank conditions.
James Cruickshank +3 more
wiley +1 more source
CQD Revista Eletrônica Paulista de Matemática, 2017 Iniciamos com o conceito de dedução, como conhecido no contexto da Matemática e das ciências exatas. Então, apresentamos algumas propostas de formalização da dedução em sistemas dedutivos, o que é bem conhecido nos tratados de lógica universal ou lógica
H´ercules de Araujo Feitosa +1 more
doaj
Fuzzy Results for Finitely Supported Structures
Mathematics, 2021 We present a survey of some results published recently by the authors regarding the fuzzy aspects of finitely supported structures. Considering the notion of finite support, we introduce a new degree of membership association between a crisp set and a ...
Andrei Alexandru, Gabriel Ciobanu
doaj +1 more source
On Tarski's Foundations of the Geometry of Solids [PDF]
The Bulletin of Symbolic Logic, 2012 AbstractThe paper [Tarski:Les fondements de la géométrie des corps,Annales de la Société Polonaise de Mathématiques, pp. 29–34, 1929] is in many ways remarkable. We address three historico-philosophical issues that force themselves upon the reader. First we argue that in this paper Tarski did not live up to his own methodological ideals, but displayed ...
Betti, Arianna, Loeb, Iris
openaire +3 more sources
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, Volume 92, Issue 3, June 2026.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