Search
Search Results
-
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language
I examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not...
-
Structuralism and informal provability
Mathematical structuralism can be understood as a theory of mathematical ontology, of the objects that mathematics is about. It can also be...
-
Quineanism, Noneism and Metaphysical Equivalence
In this paper we propose and defend the Synonymy account , a novel account of metaphysical equivalence which draws on the idea (Rayo in The...
-
Connexive Variants of Modal Logics Over FDE
Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby... -
From many-valued consequence to many-valued connectives
Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator...
-
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
In this paper, we study intermediate logics between the logic $${\mathrm {G}^{\le... -
Relevance Domains and the Philosophy of Science
This paper uses Avron’s algebraic semantics for the logic RMI to model some ideas in the philosophy of science. Avron’s relevant disjunctive... -
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Hintikka’s game theoretical approach to semantics has been successfully applied also to some non-classical logics. A recent example is Başkent ( A...
-
Iterated AGM Revision Based on Probability Revision
Close connections between probability theory and the theory of belief change emerge if the codomain of probability functions is extended from the...
-
Consequence Relations with Real Truth Values
Syntax and semantics in Łukasiewicz infinite-valued sentential logic Ł are harmonized by revising the Bolzano-Tarski paradigm of “semantic... -
Ideal Objects for Set Theory
In this paper, we argue for an instrumental form of existence, inspired by Hilbert’s method of ideal elements. As a case study, we consider the...
-
Lambek Calculus with Conjugates
We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those...
-
On Why Quine’s Ontological Relativity Requires Reconsideration
We aim to show from a new perspective that Quine’s ontological relativity, based largely on his so-called “proxy-function argument”, falls short of...
-
Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics
The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this...
-
Axioms and Postulates as Speech Acts
We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we...
-
Pregroup Grammars, Their Syntax and Semantics
Pregroup grammars were developed in 1999 and stayed Lambek’s preferred algebraic model of grammar. The set-theoretic semantics of pregroups, however,... -
R-Mingle is Nice, and so is Arnon Avron
Arnon Avron has written: “Dunn-McCall logic RM is by far the best understood and the most well-behaved in the family of logics developed by the... -
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the...
-
Algebraic structuralism
This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea...