A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 3 4        [Sort alphabetically]   [Restore default list]

  Subjects -> PHILOSOPHY (Total: 762 journals)
Showing 1 - 135 of 135 Journals sorted by number of followers
Philosophical Review     Full-text available via subscription   (Followers: 70)
Ethics     Full-text available via subscription   (Followers: 69)
European Journal of Philosophy     Hybrid Journal   (Followers: 66)
Journal of Political Philosophy     Hybrid Journal   (Followers: 65)
Mind     Hybrid Journal   (Followers: 62)
Australasian Journal of Philosophy     Hybrid Journal   (Followers: 57)
Philosophy & Public Affairs     Hybrid Journal   (Followers: 57)
Contemporary Political Theory     Hybrid Journal   (Followers: 52)
Nous     Hybrid Journal   (Followers: 51)
International Journal for Philosophy of Religion     Hybrid Journal   (Followers: 51)
Philosophical Quarterly     Hybrid Journal   (Followers: 46)
Journal of the History of Philosophy     Full-text available via subscription   (Followers: 46)
Journal of Applied Philosophy     Hybrid Journal   (Followers: 43)
American Journal of Theology & Philosophy     Full-text available via subscription   (Followers: 41)
British Journal for the History of Philosophy     Hybrid Journal   (Followers: 41)
British Journal for the Philosophy of Science     Hybrid Journal   (Followers: 40)
Analysis     Hybrid Journal   (Followers: 36)
Journal of Moral Philosophy     Hybrid Journal   (Followers: 36)
Philosophy and Phenomenological Research     Hybrid Journal   (Followers: 35)
Philosophy of Science     Full-text available via subscription   (Followers: 33)
Journal of Medical Ethics     Partially Free   (Followers: 32)
Erkenntnis     Hybrid Journal   (Followers: 30)
Philosophy and Literature     Full-text available via subscription   (Followers: 30)
Journal of Social Philosophy     Hybrid Journal   (Followers: 27)
Inquiry : An Interdisciplinary Journal of Philosophy     Hybrid Journal   (Followers: 27)
Journal of Ethics & Social Philosophy     Open Access   (Followers: 27)
Constellations     Hybrid Journal   (Followers: 26)
Canadian Journal of Philosophy     Full-text available via subscription   (Followers: 25)
Continental Philosophy Review     Partially Free   (Followers: 25)
Social Philosophy and Policy     Full-text available via subscription   (Followers: 25)
Ethical Theory and Moral Practice     Hybrid Journal   (Followers: 24)
Journal of Law, Medicine & Ethics     Hybrid Journal   (Followers: 23)
Philosophy & Social Criticism     Hybrid Journal   (Followers: 22)
Philosophical Studies     Hybrid Journal   (Followers: 22)
Linguistics and Philosophy     Hybrid Journal   (Followers: 22)
British Journal of Aesthetics     Hybrid Journal   (Followers: 22)
The Heythrop Journal     Hybrid Journal   (Followers: 21)
Philosophy and Rhetoric     Full-text available via subscription   (Followers: 20)
Philosophy Compass     Hybrid Journal   (Followers: 19)
BMC Medical Ethics     Open Access   (Followers: 19)
Biology and Philosophy     Hybrid Journal   (Followers: 18)
Journal of Medical Ethics and History of Medicine     Open Access   (Followers: 18)
Philosophers' Imprint     Open Access   (Followers: 17)
Philosophy     Full-text available via subscription   (Followers: 17)
Jurisprudence     Hybrid Journal   (Followers: 17)
Assuming Gender     Open Access   (Followers: 16)
Mouseion: Journal of the Classical Association of Canada     Full-text available via subscription   (Followers: 16)
Pragmatics & Cognition     Hybrid Journal   (Followers: 16)
International Studies in the Philosophy of Science     Hybrid Journal   (Followers: 15)
Journal of the Philosophy of History     Hybrid Journal   (Followers: 15)
Bioethics Research Notes     Full-text available via subscription   (Followers: 15)
Philosophy East and West     Full-text available via subscription   (Followers: 15)
Journal of Media Ethics : Exploring Questions of Media Morality     Hybrid Journal   (Followers: 14)
Episteme     Hybrid Journal   (Followers: 14)
Midwest Studies In Philosophy     Hybrid Journal   (Followers: 14)
Review of Philosophy and Psychology     Hybrid Journal   (Followers: 13)
Social Epistemology: A Journal of Knowledge, Culture and Policy     Hybrid Journal   (Followers: 13)
Phronesis : A journal for Ancient Philosophy     Hybrid Journal   (Followers: 13)
Philosophy & Technology     Hybrid Journal   (Followers: 13)
Ethical Perspectives     Full-text available via subscription   (Followers: 12)
Pragmatics and Society     Hybrid Journal   (Followers: 12)
Reformed Theological Review, The     Full-text available via subscription   (Followers: 12)
Journal of Global Ethics     Hybrid Journal   (Followers: 12)
Utilitas     Hybrid Journal   (Followers: 11)
Philosophy of Photography     Hybrid Journal   (Followers: 11)
Open Journal of Philosophy     Open Access   (Followers: 11)
Philosophy, Psychiatry, & Psychology     Full-text available via subscription   (Followers: 11)
Estudos Bíblicos     Open Access   (Followers: 11)
Journal of Chinese Philosophy     Hybrid Journal   (Followers: 11)
Journal of Indian Philosophy     Hybrid Journal   (Followers: 11)
Kennedy Institute of Ethics Journal     Full-text available via subscription   (Followers: 10)
Metaphor and Symbol     Hybrid Journal   (Followers: 10)
Pacific Philosophical Quarterly     Hybrid Journal   (Followers: 10)
Polis : The Journal of the Society for Greek Political Thought     Hybrid Journal   (Followers: 10)
Dao : A Journal of Comparative Philosophy     Hybrid Journal   (Followers: 10)
Myth & Symbol     Hybrid Journal   (Followers: 9)
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences     Full-text available via subscription   (Followers: 9)
Journal of Philosophical Logic     Hybrid Journal   (Followers: 9)
Film-Philosophy Journal     Open Access   (Followers: 9)
Journal of the Gilded Age and Progressive Era     Full-text available via subscription   (Followers: 9)
HTS Theological Studies     Open Access   (Followers: 9)
Philosophical Perspectives     Hybrid Journal   (Followers: 8)
Philosophia     Hybrid Journal   (Followers: 8)
Research in Phenomenology     Hybrid Journal   (Followers: 8)
Philosophical Books     Hybrid Journal   (Followers: 8)
Diogenes     Hybrid Journal   (Followers: 8)
Philosophical Issues     Hybrid Journal   (Followers: 7)
African Journal of Business Ethics     Open Access   (Followers: 7)
SubStance     Full-text available via subscription   (Followers: 7)
Metaphilosophy     Hybrid Journal   (Followers: 7)
Medicine, Health Care and Philosophy     Hybrid Journal   (Followers: 7)
Nordic Journal of Aesthetics     Open Access   (Followers: 7)
Contributions to the History of Concepts     Full-text available via subscription   (Followers: 7)
International Journal of Philosophical Studies     Hybrid Journal   (Followers: 7)
Axiomathes     Hybrid Journal   (Followers: 6)
The Southern Journal of Philosophy     Hybrid Journal   (Followers: 6)
Journal of Speculative Philosophy     Full-text available via subscription   (Followers: 6)
Think     Full-text available via subscription   (Followers: 6)
Zeitschrift für philosophische Forschung     Full-text available via subscription   (Followers: 6)
History and Philosophy of Logic     Hybrid Journal   (Followers: 6)
Philosophical Investigations     Hybrid Journal   (Followers: 6)
Contemporary Chinese Thought     Full-text available via subscription   (Followers: 6)
Contagion : Journal of Violence, Mimesis, and Culture     Full-text available via subscription   (Followers: 6)
Philosophical Magazine Letters     Hybrid Journal   (Followers: 6)
Philosophical Explorations: An International Journal for the Philosophy of Mind and Action     Hybrid Journal   (Followers: 6)
Dialogue Canadian Philosophical Review/Revue canadienne de philosophie     Full-text available via subscription   (Followers: 6)
International Journal of the Platonic Tradition     Open Access   (Followers: 5)
Journal of Empirical Research on Human Research Ethics     Full-text available via subscription   (Followers: 5)
Journal of Critical Realism     Hybrid Journal   (Followers: 5)
Australasian Catholic Record, The     Full-text available via subscription   (Followers: 5)
Critical Horizons     Hybrid Journal   (Followers: 5)
Journal of Nietzsche Studies     Full-text available via subscription   (Followers: 5)
Aisthesis     Open Access   (Followers: 5)
Endeavour     Hybrid Journal   (Followers: 5)
Philosophical Papers     Hybrid Journal   (Followers: 5)
Review of Contemporary Philosophy     Full-text available via subscription   (Followers: 5)
Zeitschrift für Religions- und Geistesgeschichte     Hybrid Journal   (Followers: 5)
Church Heritage     Full-text available via subscription   (Followers: 4)
South African Journal of Philosophy = Suid-Afrikaanse Tydskrif vir Wysbegeerte     Hybrid Journal   (Followers: 4)
Bochumer Philosophisches Jahrbuch für Antike und Mittelalter     Hybrid Journal   (Followers: 4)
Franciscan Studies     Full-text available via subscription   (Followers: 4)
Transactions of the Charles S. Peirce Society     Full-text available via subscription   (Followers: 4)
Hume Studies     Full-text available via subscription   (Followers: 4)
Journal of Theoretical & Philosophical Psychology     Full-text available via subscription   (Followers: 4)
The Philosophical Forum     Hybrid Journal   (Followers: 4)
National Catholic Bioethics Quarterly     Hybrid Journal   (Followers: 4)
Royal Institute of Philosophy Supplements     Full-text available via subscription   (Followers: 4)
Philosophy in Review     Open Access   (Followers: 4)
Recherches de Théologie et Philosophie Médiévales     Full-text available via subscription   (Followers: 3)
Topoi     Hybrid Journal   (Followers: 3)
Australian Humanist, The     Full-text available via subscription   (Followers: 3)
Studia Logica     Hybrid Journal   (Followers: 3)
Utopian Studies     Full-text available via subscription   (Followers: 3)
Russell : the Journal of Bertrand Russell Studies     Full-text available via subscription   (Followers: 3)
Journal of Religion and Business Ethics     Open Access   (Followers: 3)
The Pluralist     Full-text available via subscription   (Followers: 3)
Bijdragen     Full-text available via subscription   (Followers: 3)
Studies in Philology     Full-text available via subscription   (Followers: 3)
Bulletin de Philosophie Medievale     Full-text available via subscription   (Followers: 3)
Kantian Review     Full-text available via subscription   (Followers: 3)
CR : The New Centennial Review     Full-text available via subscription   (Followers: 3)
Between the Species     Open Access   (Followers: 2)
International Journal of Žižek Studies     Open Access   (Followers: 2)
Socioaffective Neuroscience and Psychology     Open Access   (Followers: 2)
Horizonte : Revista de Estudos de Teologia e Ciências da Religião     Open Access   (Followers: 2)
International Journal for the Study of Skepticism     Hybrid Journal   (Followers: 2)
Cultura : International Journal of Philosophy of Culture and Axiology     Open Access   (Followers: 2)
Erasmus Studies     Hybrid Journal   (Followers: 2)
Empedocles : European Journal for the Philosophy of Communication     Hybrid Journal   (Followers: 2)
Sartre Studies International     Full-text available via subscription   (Followers: 2)
Journal of Scottish Philosophy     Hybrid Journal   (Followers: 2)
Journal of Friends of Lutheran Archives     Full-text available via subscription   (Followers: 2)
Philosophy & Theory in Biology     Open Access   (Followers: 2)
Kriterion: Revista de Filosofia     Open Access   (Followers: 2)
Poiesis & Praxis : International Journal of Technology Assessment and Ethics of Science     Open Access   (Followers: 2)
Quaestio     Full-text available via subscription   (Followers: 2)
Grazer Philosophische Studien     Full-text available via subscription   (Followers: 2)
Journal of Aesthetic Education     Full-text available via subscription   (Followers: 2)
Australian Journal of Parapsychology     Full-text available via subscription   (Followers: 2)
Noesis     Open Access   (Followers: 1)
Journal of Humanistic Mathematics     Open Access   (Followers: 1)
Éthique publique     Open Access   (Followers: 1)
Philosophia Scientiæ     Open Access   (Followers: 1)
Nóema     Open Access   (Followers: 1)
International Journal of Social Quality     Full-text available via subscription   (Followers: 1)
Revista Latinoamericana de Filosofía     Open Access   (Followers: 1)
PAN: Philosophy Activism Nature     Full-text available via subscription   (Followers: 1)
Revue Philosophique de Louvain     Full-text available via subscription   (Followers: 1)
Le Portique     Open Access   (Followers: 1)
Temporalités     Open Access   (Followers: 1)
Husserl Studies     Hybrid Journal   (Followers: 1)
Revue d’études benthamiennes     Open Access   (Followers: 1)
Ethische Perspectieven     Full-text available via subscription   (Followers: 1)
Laval théologique et philosophique     Full-text available via subscription   (Followers: 1)
Eleutheria     Open Access   (Followers: 1)
Veritas : Revista de Filosofí­a y Teología     Open Access   (Followers: 1)
Hobbes Studies     Hybrid Journal   (Followers: 1)
Collingwood and British Idealism Studies     Full-text available via subscription  
Grotiana     Hybrid Journal  
Signos Filosóficos     Open Access  
Eidos     Open Access  
Cinta de Moebio     Open Access  
Cuyo Anuario de Filosofía Argentina y Americana     Open Access  
Tópicos. Revista de Filosofía de Santa Fe     Open Access  
Rhuthmos     Open Access  
Philosophiques     Open Access  
Ramon Llull Journal of Applied Ethics     Open Access  
Studia Philosophica Estonica     Open Access  
Synthesis (La Plata)     Open Access  
Revista de Filosofia     Open Access  
Alpha (Osorno)     Open Access  
Circe de clásicos y modernos     Open Access  
Estudios de Filosofía Práctica e Historia de las Ideas     Open Access  
Doctor virtualis     Open Access  
Humanidades Médicas     Open Access  
Methodos     Open Access  
Labyrinthe     Open Access  
Astérion     Open Access  
Trans/Form/Ação - Revista de Filosofia     Open Access  
Russian Studies in Philosophy     Full-text available via subscription  

        1 2 3 4        [Sort alphabetically]   [Restore default list]

Similar Journals
Journal Cover
Journal of Philosophical Logic
Journal Prestige (SJR): 0.886
Citation Impact (citeScore): 1
Number of Followers: 9  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1573-0433 - ISSN (Online) 0022-3611
Published by Springer-Verlag Homepage  [2469 journals]
  • Sly Pete in Dynamic Semantics

    • Free pre-print version: Loading...

      Abstract: Abstract In ‘Sly Pete’ or ‘standoff’ cases, reasonable speakers accept incompatible conditionals, and communicate them successfully to a trusting hearer. This paper uses the framework of dynamic semantics to offer a new model of the conversational dynamics at play in standoffs, and to articulate several puzzles posed by such cases. The paper resolves these puzzles by embracing a dynamic semantics for conditionals, according to which indicative conditionals require that their antecedents are possible in their local context, and update this body of information by eliminating the possibilities where the antecedent is true and the consequent is false. In this way, the dynamic analysis draws on insights from the material conditional and contextualist analyses, while explaining how standoffs are genuine disagreements.
      PubDate: 2022-10-01
       
  • Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals

    • Free pre-print version: Loading...

      Abstract: Abstract I give a semantics for a logic with two pairs of doxastic modals and an indicative conditional connective that all nest without restriction. Sentences are evaluated as accepted, rejected, or neither. Certainty is the necessity-like modality of acceptance. Inferences may proceed from premises that are certain, or merely accepted, or a mix of both. This semantic setup yields some striking results. Notably, the existence of inferences that preserve certainty but not acceptance very directly implies both failure of modus ponens for the indicative conditional in the logic of acceptance and failure of the deduction theorem for the material conditional in the logic of certainty. The latter failure dissolves, in the logic of certainty, the much - discussed tension between modus ponens and the law of import-export.
      PubDate: 2022-10-01
       
  • Embedding Friendly First-Order Paradefinite and Connexive Logics

    • Free pre-print version: Loading...

      Abstract: Abstract First-order intuitionistic and classical Nelson–Wansing and Arieli–Avron–Zamansky logics, which are regarded as paradefinite and connexive logics, are investigated based on Gentzen-style sequent calculi. The cut-elimination and completeness theorems for these logics are proved uniformly via theorems for embedding these logics into first-order intuitionistic and classical logics. The modified Craig interpolation theorems for these logics are also proved via the same embedding theorems. Furthermore, a theorem for embedding first-order classical Arieli–Avron–Zamansky logic into first-order intuitionistic Arieli–Avron–Zamansky logic is proved using a modified Gödel–Gentzen negative translation. The failure of a theorem for embedding first-order classical Nelson–Wansing logic into first-order intuitionistic Nelson–Wansing logic is also shown.
      PubDate: 2022-10-01
       
  • Revisiting McGee’s Probabilistic Analysis of Conditionals

    • Free pre-print version: Loading...

      Abstract: Abstract This paper calls for a re-appraisal of McGee’s analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation—built on the principle that the antecedent of a conditional is probabilistically independent of the conditional—and a more transparent method of constructing such measures is provided. McGee’s Dutch book argument is restructured to more clearly reveal that it introduces a novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee’s analysis—generating a rather wide consensus that it yields ‘unintuitive’ or ‘wrong’ probabilities for compounds —fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic ‘causal’ interpretation alongside its usual epistemic interpretation.
      PubDate: 2022-10-01
       
  • Valuation Semantics for First-Order Logics of Evidence and Truth

    • Free pre-print version: Loading...

      Abstract: Abstract This paper introduces the logic QLETF, a quantified extension of the logic of evidence and truth LETF, together with a corresponding sound and complete first-order non-deterministic valuation semantics. LETF is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (FDE) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘A entails that A behaves classically, ∙A follows from A’s violating some classically valid inferences. The semantics of QLETF combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of FDE, K3, and LP, we show how these tools, which we call here the method of anti-extensions + valuations, can be naturally applied to a number of non-classical logics.
      PubDate: 2022-10-01
       
  • Single-Assumption Systems in Proof-Theoretic Semantics

    • Free pre-print version: Loading...

      Abstract: Abstract Proof-theoretic semantics is an inferentialist theory of meaning, usually developed in a multiple-assumption and single-conclusion framework. In that framework, this theory seems unable to justify classical logic, so some authors have proposed a multiple-conclusion reformulation to accomplish this goal. In the first part of this paper, the debate originated by this proposal is briefly exposed and used to defend the diverging opinion that proof-theoretic semantics should always endorse a single-assumption and single-conclusion framework. In order to adopt this approach some of its criteria of validity, especially separability, need to be weakened. This choice is evaluated and defended. The main argument in this direction is based on the circular dependences of meaning between multiple assumptions and conjunctions, and between multiple conclusions and disjunctions. In the second part of this paper, some systems that suit the new requirements are proposed for both intuitionistic and classical logic. A proof that they are valid, according to the weakened criteria, is sketched.
      PubDate: 2022-10-01
       
  • Continuous Accessibility Modal Logics

    • Free pre-print version: Loading...

      Abstract: Abstract In classical modal semantics, a binary accessibility relation connects worlds. In this paper, we present a uniform and systematic treatment of modal semantics with a continuous accessibility relation alongside the continuous accessibility modal logics that they model. We develop several such logics for a variety of philosophical applications. Our main conclusions are as follows. Modal logics with a continuous accessibility relation are sound and complete in their natural classes of models. The class of Kripke frames where a continuous accessibility relation has a magnitude characterizing its degree of accessibility is not modally definable, and this has unappreciated significance to completeness proofs for such logics, revealing a methodological advantage of using classical multimodal semantics over fuzzy modal semantics. There is a pseudometric space modal logic that is complete in the class of pseudometric spaces, a natural semantic setting for quantitative modal reasoning about similarity. There is a metric space modal logic that is complete in the class of metric spaces, a natural semantic setting for quantitative modal reasoning about neighborhoods and counterfactual stability. There is a real line continuous temporal logic that is canonical for real lines, a natural semantic setting for quantitative modal reasoning about time.
      PubDate: 2022-09-24
       
  • A Semantics for the Impure Logic of Ground

    • Free pre-print version: Loading...

      Abstract: This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b).
      PubDate: 2022-09-10
       
  • Pure Quotation in Linguistic Context

    • Free pre-print version: Loading...

      Abstract: Abstract A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces.
      PubDate: 2022-09-07
       
  • Two-sided Sequent Calculi for FDE-like Four-valued Logics

    • Free pre-print version: Loading...

      Abstract: Abstract We present a method that generates two-sided sequent calculi for four-valued logics like first degree entailment (FDE). (We say that a logic is FDE-like if it has finitely many operators of finite arity, including negation, and if all of its operators are truth-functional over the four truth-values ‘none’, ‘false’, ‘true’, and ‘both’, where ‘true’ and ‘both’ are designated.) First, we show that for every n-ary operator ⋆ every truth table entry f⋆(x1,…,xn) = y can be characterized in terms of a pair of sequent rules. Secondly, we use these sequent rules to build sequent calculi and prove their completeness. With the help of two simplification procedures we then show that the 2 ⋅ 4n sequent rules that characterize an n-ary operator can be systematically reduced to at most four sequent rules. Thirdly, we use our method to investigate the proof-theoretical consequences of including intuitive truth-functional implications in FDE-like logics.
      PubDate: 2022-08-25
       
  • Free Choice in Modal Inquisitive Logic

    • Free pre-print version: Loading...

      Abstract: Abstract This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses that each way of resolving the question is consistent with the available information. I study the resulting logic both from a semantic and from a proof-theoretic point of view. I argue that it can be used for reasoning about a general notion of ignorance, and for reasoning about choice-offering permissions and obligations. The main technical results are sound and complete axiomatizations, both for the class of all Kripke frames, and for any class of frames corresponding to a canonical normal modal logic.
      PubDate: 2022-08-24
       
  • Neutral Free Logic: Motivation, Proof Theory and Models

    • Free pre-print version: Loading...

      Abstract: Abstract Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka The Journal of Philosophy, 56, 125–137 1959; Lambert Notre Dame Journal of Formal Logic, 8, 133–144 1967, 1997, 2001). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free logics reject the claim that names need to denote in (ii). Positive free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, negative free logic treats them as uniformly false, and neutral free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (Bulletin of the Section of Logic, 48(2), 137–158 2019) as well as classical logic in Pavlović and Gratzl (Journal of Philosophical Logic, 50, 117–148 2021), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (Studia Logica, 105(1), 93–119 2017, Journal of Applied Non-Classical Logics, 30(3), 272–289 2020), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties.
      PubDate: 2022-08-24
       
  • The Laws of Thought and the Laws of Truth as Two Sides of One Coin

    • Free pre-print version: Loading...

      Abstract: Abstract Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment.
      PubDate: 2022-08-22
       
  • Taking Up Thagard’s Challenge: A Formal Model of Conceptual Revision

    • Free pre-print version: Loading...

      Abstract: Abstract Thagard (1992) presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change.
      PubDate: 2022-08-01
      DOI: 10.1007/s10992-021-09650-4
       
  • Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories

    • Free pre-print version: Loading...

      Abstract: Abstract I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry (SIG) based on certain algebraic objects (i.e., rings), which regiments a mode of reasoning heuristically used by geometricists and physicists (e.g., circle is composed of infinitely many straight lines). I argue that SIG has the following utilities. (1) It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. (2) It generalizes a standard implementation of spacetime algebraicism (according to which physical fields exist fundamentally without an underlying manifold) called Einstein algebras. (3) It solves the long-standing problem of interpreting smooth infinitesimal analysis (SIA) realistically, an alternative foundation of spacetime theories to real analysis (Lawvere Cahiers de Topologie et Géométrie Différentielle Catégoriques, 21(4), 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations (Hellman Journal of Philosophical Logic, 35, 621–651, 2006). Against this, I argue that SIG is (part of) such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails.
      PubDate: 2022-08-01
      DOI: 10.1007/s10992-022-09653-9
       
  • Paraconsistent Metatheory: New Proofs with Old Tools

    • Free pre-print version: Loading...

      Abstract: Abstract This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic(s) can be obtained' We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems.
      PubDate: 2022-08-01
      DOI: 10.1007/s10992-022-09651-x
       
  • Designing Paradoxes: A Revision-theoretic Approach

    • Free pre-print version: Loading...

      Abstract: Abstract According to the revision theory of truth, the binary sequences generated by the paradoxical sentences in revision sequence are always unstable. In this paper, we work backwards, trying to reconstruct the paradoxical sentences from some of their binary sequences. We give a general procedure of constructing paradoxes with specific binary sequences through some typical examples. Particularly, we construct what Herzberger called “unstable statements with unpredictably complicated variations in truth value.” Besides, we also construct those paradoxes with infinitely many finite primary periods but without any infinite primary period, those with an infinite critical point but without any finite primary period, and so on. This is the first formal appearance of these paradoxes. Our construction demonstrates that the binary sequences generated by a paradoxical sentence are something like genes from which we can even rebuild the original sentence itself.
      PubDate: 2022-08-01
      DOI: 10.1007/s10992-021-09649-x
       
  • Mighty Belief Revision

    • Free pre-print version: Loading...

      Abstract: Abstract Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as mighty: as encoding what the agent learns might be the case, as well as what must be. The view is motivated by consideration of a puzzle case, obtained by transposing into the context of belief revision a kind of scenario that Kit Fine has used to argue against intensionalism about counterfactuals. Employing the framework of truthmaker semantics, I go on to develop a novel account of belief revision, based on a conception of the update as mighty, which validates natural hyperintensional counterparts of the usual AGM postulates.
      PubDate: 2022-06-27
      DOI: 10.1007/s10992-022-09663-7
       
  • Subminimal Negation on the Australian Plan

    • Free pre-print version: Loading...

      Abstract: Abstract Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of a subminimal logic that consists of the multi-incompatibility semantics and a proof system with operational rules that characterize subminimal negation, conjunction and disjunction. Lastly, I will prove some key correspondence theorems that relate frame conditions to certain principles that are associated with stronger negations, which will give rise to a new kite of negations that includes subminimal negation.
      PubDate: 2022-06-20
      DOI: 10.1007/s10992-022-09661-9
       
  • Higher-Order Logic and Disquotational Truth

    • Free pre-print version: Loading...

      Abstract: Abstract Truth predicates are widely believed to be capable of serving a certain logical or quasi-logical function. There is little consensus, however, on the exact nature of this function. We offer a series of formal results in support of the thesis that disquotational truth is a device to simulate higher-order resources in a first-order setting. More specifically, we show that any theory formulated in a higher-order language can be naturally and conservatively interpreted in a first-order theory with a disquotational truth or truth-of predicate. In the first part of the paper we focus on the relation between truth and full impredicative sentential quantification. The second part is devoted to the relation between truth-of and full impredicative predicate quantification.
      PubDate: 2022-05-07
      DOI: 10.1007/s10992-022-09654-8
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 44.201.95.84
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-