Filters








363,527 Hits in 4.1 sec

THE REVIEW OF SYMBOLIC LOGIC

2008 The Review of Symbolic Logic  
THE REVIEW OF SYMBOLIC LOGIC The Association for Symbolic Logic was founded by a group of mathematicians and philosophers in 1936, the very year in which Church proved the undecidability of logical validity  ...  organ of the Association; the result is The Review of Symbolic Logic you now hold in your hands.  ... 
doi:10.1017/s175502030808012x fatcat:27y6sjjrnzdxfhvrttmkmxanqm

LOGICAL GROUNDS

FABRICE CORREIA
2013 The Review of Symbolic Logic  
A situation is a set of sentential literals of M. The situation determined by a model M-in symbols: S(M)-is the set of all the sentential literals of M which are true according to M.  ...  with other works on the logic of grounding or on logic tout court.  ... 
doi:10.1017/s1755020313000300 fatcat:3nykayrl25e5hk6z4rbtzvvpvm

TOTAL LOGIC

STEPHAN LEUENBERGER
2014 The Review of Symbolic Logic  
That is, we need to understand the logic of totality, or total logic.  ...  In this paper, I add a totality operator to the language of propositional logic, and present a model theory for it, building on a suggestion by Chalmers and Jackson.  ...  I shall use the symbol T for it.  ... 
doi:10.1017/s1755020314000124 fatcat:lbbcmubpqnaipovzdtvtmzr5gi

THE LOGIC OF JUSTIFICATION

SERGEI ARTEMOV
2008 The Review of Symbolic Logic  
It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem.  ...  Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs.  ...  Thanks to audiences at the CUNY Graduate Center, Bern University, the Collegium Logicum in Vienna, and the 2nd International Workshop on Analytic Proof Systems for comments on earlier versions of this  ... 
doi:10.1017/s1755020308090060 fatcat:hsya3io3c5erff3yxi3vedlz3m

PLURALISM IN LOGIC

HARTRY FIELD
2009 The Review of Symbolic Logic  
of the pluralism that it allows logic is extremely narrow.  ...  Are there versions of logical pluralism that are both high on the interest scale and also true?  ...  meaning is to be assigned to the fundamental logical symbols.  ... 
doi:10.1017/s1755020309090182 fatcat:5jq447b45vdpvccmigbao4k22u

LOGIC IN THE TRACTATUS

MAX WEISS
2017 The Review of Symbolic Logic  
I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways.  ...  Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged.  ...  for a univocal account of the symbolic realization of logical consequence.  ... 
doi:10.1017/s1755020316000472 fatcat:gdmfw6eisffhnjrrahuuhbyujq

THE PURE LOGIC OF GROUND

KIT FINE
2011 The Review of Symbolic Logic  
, is a notion of weak ground.  ...  I lay down a system of structural rules for various notions of ground and establish soundness and completeness. works with a notion of ground-theoretic equivalence and implicit in his approach, I believe  ...  of the logics).  ... 
doi:10.1017/s1755020311000086 fatcat:baggtljbkfcldlrtcu5yrhhafm

A LOGIC FOR 'BECAUSE'

BENJAMIN SCHNIEDER
2011 The Review of Symbolic Logic  
In spite of its significance for everyday and philosophical discourse, the explanatory connective 'because' has not received much treatment in the philosophy of logic.  ...  The present paper develops a logic for 'because' based on systematic connections between 'because' and the truthfunctional connectives. §1. Introduction.  ...  Let C(φ) denote the complexity of φ, in the sense of the number of token symbols in φ; for example, C('p')=1, C('¬p')=2, C('¬¬p')=3.  ... 
doi:10.1017/s1755020311000104 fatcat:w62jgemtxfafflvmwqyghfmfge

LOGICS FOR PROPOSITIONAL CONTINGENTISM

PETER FRITZ
2017 The Review of Symbolic Logic  
for the resulting logic containing an existential operator is shown to be incomplete.  ...  It is shown that the resulting logic containing an existential quantifier is not recursively axiomatizable, as it is recursively isomorphic to second-order logic, and a natural candidate axiomatization  ...  The L E -logic of every class of existential algebras is an existential modal logic, and every L E -logic is the logic of a class of existential algebras. Proof. The first claim is routine to verify.  ... 
doi:10.1017/s1755020317000028 fatcat:p4gbmupdhbfebavjylclbkar2q

SIZE AND LOGIC

DOV M. GABBAY, KARL SCHLECHTA
2009 The Review of Symbolic Logic  
The study of modal and temporal logic and the study of substructural logic went for many years along the following lines: on the one hand we had syntactic proof theoretic systems, mainly Gentzen or Hilbert  ...  We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.  ...  We consider operations directly on the algebraic semantics and their logical consequences, and we see that simple manipulations of the size concept result in most rules of nonmonotonic logics.  ... 
doi:10.1017/s1755020309090224 fatcat:medljfytengxzk32k53kezgiwu

EXTERNALISM, INTERNALISM, AND LOGICAL TRUTH

CORINE BESSON
2009 The Review of Symbolic Logic  
The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns.  ...  This paper considers the consequences of these opposing views for logic.  ...  the symbolism of second-order logic.  ... 
doi:10.1017/s1755020309090091 fatcat:67u4vldbqzdkbkjqyiuykmmati

CUT FOR CORE LOGIC

NEIL TENNANT
2012 The Review of Symbolic Logic  
Tennant (1997) established the adequacy of core logic for natural science, by adapting the proof in Tennant (1985) of the adequacy of minimal logic. 3 Tennant (1992) exploited the naturalness of core logic  ...  The two main lines of logical reform-intuitionistic and relevantist-have been concerned with different shortcomings of classical logic.  ...  Journal of Symbolic Logic, 49(1) , 231-233. Gentzen, G. (1934) . Untersuchungenüber das logische Schliessen.  ... 
doi:10.1017/s1755020311000360 fatcat:nugsixnk7bdatjjr7u75wxlzn4

DEGREE SUPERVALUATIONAL LOGIC

J. ROBERT G. WILLIAMS
2010 The Review of Symbolic Logic  
The main focus of the paper considers a variant of standard supervaluational, on which we can characterize degrees of determinacy. It applies the methodology above to focus on degree logic.  ...  This is developed first in a basic, single-premise case; and then extended to the multi-premise case, and to allow degrees of consequence. The metatheoretic properties of degree logic are set out.  ...  To determine what the correct characterization of logic is, I propose we look at what role logic plays for us: and then think of logic as whatever plays the logic-role.  ... 
doi:10.1017/s1755020310000237 fatcat:mrokd3waovgs5c33ntpj4ek6hy

ARROW UPDATE LOGIC

BARTELD KOOI, BRYAN RENNE
2011 The Review of Symbolic Logic  
to the repertoire of logics of information change.  ...  While the belief-changing "arrow updates" of Arrow Update Logic can be transformed into equivalent belief-changing "action models" from the popular Dynamic Epistemic Logic approach, we prove that arrow  ...  each p ∈ P, counts each of the expressions " 2 a ", " a", and " p" as a single symbol.  ... 
doi:10.1017/s1755020311000189 fatcat:zjguvgclxbesrdbme42gi7ssvq

INTRODUCTION

2013 The Review of Symbolic Logic  
The logical and psychological priority . . . of the notions of operation and collection is thus evident. . .  ...  In his paper, Marquis argues that for the latter to be possible, one has to modify three fundamental aspects of the foundational landscape: the underlying logic, the notion of set and the notion of category  ... 
doi:10.1017/s175502031200010x fatcat:6wrbcrleanh43kcnp22hqnpe6e
« Previous Showing results 1 — 15 out of 363,527 results