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  

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

  Subjects -> PHILOSOPHY (Total: 762 journals)
Showing 601 - 135 of 135 Journals sorted by number of followers
Analítica     Open Access   (Followers: 8)
Cuadernos de pensamiento     Open Access   (Followers: 3)
Journal of Modern Philosophy     Open Access   (Followers: 3)
International Journal of Philosophy and Theology     Hybrid Journal   (Followers: 3)
Whiteness and Education     Hybrid Journal   (Followers: 2)
Journal of the Sociology and Theory of Religion     Open Access   (Followers: 2)
Food Ethics     Hybrid Journal   (Followers: 2)
Agora     Full-text available via subscription   (Followers: 2)
Laisvalaikio Tyrimai     Open Access   (Followers: 2)
Culture and Dialogue     Hybrid Journal   (Followers: 1)
Gnosis : Journal of Gnostic Studies     Hybrid Journal   (Followers: 1)
Ajatus : Suomen Filosofisen Yhdistyksen vuosikirja     Open Access   (Followers: 1)
Universitas : Revista de Filosofía, Derecho y Política     Open Access   (Followers: 1)
International Journal of Ethics Education     Hybrid Journal   (Followers: 1)
Aesthetic Investigations     Open Access   (Followers: 1)
Zeitschrift für Ethik und Moralphilosophie : Journal for Ethics and Moral Philosophy     Hybrid Journal   (Followers: 1)
Journal of Spiritual Formation and Soul Care     Hybrid Journal   (Followers: 1)
Problema Anuario de Filosofía y Teoría del Derecho     Open Access   (Followers: 1)
Journal of Islamic Ethics     Open Access   (Followers: 1)
Agora: papeles de Filosofía     Full-text available via subscription   (Followers: 1)
ANFUSINA : Journal of Psychology     Open Access   (Followers: 1)
Bioethica     Open Access   (Followers: 1)
TheoLogica : An International Journal for Philosophy of Religion and Philosophical Theology     Open Access   (Followers: 1)
Philosophia : Revista de Filosofía     Open Access   (Followers: 1)
Journal of East Asian Philosophy     Hybrid Journal   (Followers: 1)
Islamic Sciences     Open Access   (Followers: 1)
Journal of Applied Animal Ethics Research     Full-text available via subscription   (Followers: 1)
Clotho     Open Access   (Followers: 1)
An-Nisbah : Jurnal Ekonomi Syariah     Open Access   (Followers: 1)
Al-Fikra     Open Access   (Followers: 1)
Journal of Islamic Education     Open Access   (Followers: 1)
Scientonomy : Journal for the Science of Science     Open Access   (Followers: 1)
International Journal of Innovation Studies     Open Access   (Followers: 1)
Estudios Nietzsche     Open Access  
Bergsoniana     Open Access  
Histoire Épistémologie Langage     Open Access  
Ancient Philosophy Today     Hybrid Journal  
Endowment Studies     Hybrid Journal  
Danish Yearbook of Philosophy     Full-text available via subscription  
Journal for Continental Philosophy of Religion     Full-text available via subscription  
Simone de Beauvoir Studies     Full-text available via subscription  
International Journal of Divination and Prognostication     Full-text available via subscription  
Journal of Urdu Studies     Hybrid Journal  
Journal of Responsible Technology     Open Access  
Journal of Values Education / Değerler Eğitimi Dergisi     Open Access  
Conciencia     Open Access  
Correspondences : Journal for the Study of Esotericism     Open Access  
Resonancias : Revista de Filosofía     Open Access  
Res Humanitariae     Open Access  
Humanidades em diálogo     Open Access  
Discurso     Open Access  
Cadernos de Filosofia Alemã : Crítica e Modernidade     Open Access  
Cadernos de Ética e Filosofia Política     Open Access  
Cadernos Espinosanos     Open Access  
Studies in Christian-Jewish Relations     Open Access  
Dianoia     Open Access  
Saberes y Prácticas : Revista de Filosofía y Educación     Open Access  
Ciência & Trópico     Open Access  
Філософія та політологія в контексті сучасної культури (Philosophy and Political Science in the Context of Modern Culture)     Open Access  
Etcétera : Revista del Área de Ciencias Sociales del CIFFyH     Open Access  
Jurnal Konseling Gusjigang     Open Access  
Science et Esprit     Open Access  
Canadian Journal of Bioethics     Open Access  
Journal of Educational Thought / Revue de la Pensée Educative     Full-text available via subscription  
Auslegung : A Journal of Philosophy     Open Access  
PhaenEx     Open Access  
International Journal of Philosophy & Social Values     Open Access  
Convivium : Revista de Filosophia     Open Access  
Aurora : papeles del Seminario María Zambrano     Open Access  
Astrolabio     Open Access  
IJIBE (International Journal of Islamic Business Ethics)     Open Access  
International Gramsci Journal     Open Access  
Andrews University Seminary Student Journal     Open Access  
SPICE : Student Perspectives on Institutions, Choices & Ethic     Open Access  
Patristica et Mediævalia     Open Access  
Cuadernos de Filosofía     Open Access  
RUDN Journal of Philosophy     Open Access  
Revista Fragmentos de Cultura : Revista Interdisciplinar de Ciências Humanas     Open Access  
Temporal : Prática e Pensamento Contemporâneos     Open Access  
Revista Brasileira de Filosofia da Religião     Open Access  
Revista Brasileira de Bioética     Open Access  
Ítaca     Open Access  
Analytica : Revista de Filosofia     Open Access  
Anais de Filosofia Clássica     Open Access  
AL-Qadissiya Magzine for Human Sciences     Open Access  
Oksident     Open Access  
Diferencia(s)     Open Access  
Philosophical Inquiry in Education     Open Access  
Τέλος : Revista Iberoamericana de Estudios Utilitaristas     Open Access  
Frónesis     Open Access  
Sapientia     Open Access  
Discusiones Filosóficas     Open Access  
Universidad de La Habana     Open Access  
Anais Eletrônicos do Congresso Epistemologias do Sul     Open Access  
Revista SURES     Open Access  
Revista Eletrônica Ludus Scientiae     Open Access  
Revista Epistemologias do Sul     Open Access  
Cracow Indological Studies     Open Access  
Australasian Philosophical Review     Full-text available via subscription  
Jus Cogens : A Critical Journal of Philosophy of Law and Politics     Hybrid Journal  
Journal of Dharma Studies     Hybrid Journal  
Humanistic Management Journal     Hybrid Journal  
Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte     Hybrid Journal  
Via Spiritus : Revista de História da Espiritualidade e do Sentimento Religioso     Open Access  
Filosofia. Revista da Faculdade de Letras da Universidade do Porto     Open Access  
Civitas Augustiniana     Open Access  
Revista Binacional Brasil - Argentina: Diálogo entre as ciências     Open Access  
Revista de Estudios Kantianos     Open Access  
Journal of Graduate Studies Review     Open Access  
HiN : Alexander von Humboldt im Netz. Internationale Zeitschrift für Humboldt-Studien     Open Access  
Dios y el Hombre     Open Access  
Bulletin of Yaroslav Mudryi NLU : Series : Philosophy, philosophy of law, political science, sociology     Open Access  
Sincronía     Open Access  
Isonomía. Revista de Teoría y Filosofía del Derecho     Open Access  
Journal of Analytic Divinity     Open Access  
Cahiers de Philosophie de l’Université de Caen     Open Access  
Heroism Science     Open Access  
FOKUS : Jurnal Kajian Keislaman dan Kemasyarakatan     Open Access  
BELAJEA : Jurnal Pendidikan Islam     Open Access  
AJIS : Academic Journal of Islamic Studies     Open Access  
The Islamic Culture     Open Access  
Zeszyty Naukowe Centrum Badań im. Edyty Stein     Open Access  
Teologia i Moralność     Open Access  
Studia z Kognitywistyki i Filozofii Umysłu     Open Access  
Filozofia Publiczna i Edukacja Demokratyczna     Open Access  
Bohemistyka     Open Access  
Ethics in Progress     Open Access  
Cuadernos de Filosofía Latinoamericana     Open Access  
Norsk filosofisk tidsskrift     Open Access  
Kirke og Kultur     Full-text available via subscription  
Problemos     Open Access  
Global Forum on Arts and Christian Faith     Open Access  
Gogoa     Open Access  
Lato Sensu : Revue de la Société de philosophie des sciences     Open Access  
Mutatis Mutandis : Revista Internacional de Filosofía     Open Access  
Ruch Filozoficzny     Open Access  
O Que Nos Faz Pensar : Cadernos do Departamento de Filosofia da PUC-Rio     Open Access  
Les Cahiers philosophiques de Strasbourg     Open Access  
Philosophie antique : Problèmes, Renaissances, Usages     Full-text available via subscription  
Studi di Estetica     Open Access  
Hic Rhodus : Crisis capitalista, polémica y controversias     Open Access  
El Banquete de los Dioses     Open Access  
Psocial : Revista de Investigación en Psicología Social     Open Access  
Windsor Yearbook of Access to Justice / Recueil annuel de Windsor d'accès à la justice     Open Access  
Éthique en éducation et en formation : Les Dossiers du GREE     Open Access  
Mizar : Costellazione di pensieri     Open Access  
Revista Poiesis     Open Access  
HONAI : International Journal for Educational, Social, Political & Cultural Studies     Open Access  
INSANCITA : Journal of Islamic Studies in Indonesia and Southeast Asia     Open Access  
Marwah : Jurnal Perempuan, Agama dan Jender     Open Access  
FALAH : Jurnal Ekonomi Syariah     Open Access  
Mises : Interdisciplinary Journal of Philosophy, Law and Economics     Open Access  
ULUM : Journal of Religious Inquiries     Open Access  
Voluntaristics Review     Open Access  
Scrinium : Journal of Patrology and Critical Hagiography     Open Access  
Idéias     Open Access  
Diakrisis Yearbook of Theology and Philosophy     Open Access  
The Biblical Annals     Open Access  
Jurnal Living Hadis     Open Access  
Epistemología e Historia de la Ciencia     Open Access  
Kader     Open Access  
Metaphysics     Open Access  
Griot : Revista de Filosofia     Open Access  
Kontemplasi : Jurnal Ilmu-Ilmu Ushuluddin     Open Access  
Jurnal Dinamika Penelitian : Media Komunikasi Penelitian Sosial Keagamaan     Open Access  

  First | 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
       
  • 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
       
  • A Unified Logic for Contingency and Accident

    • Free pre-print version: Loading...

      Abstract: Abstract As shown in Fan (Journal of Philosophical Logic, 48, 425–445, 2019), there are some similarities/resemblances between contingency and accident. Given this, one may naturally ask if we can unify the two operators to manifest all of their similarities/resemblances. In this article, instead of looking at the interactions between the two operators like in Fan (Journal of Philosophical Logic, 48, 425–445, 2019), we turn our attention to the resemblances between the two operators. We extend the unification method in Fan (Logic Journal of the IGPL, 2020) to the current setting. The main results include some model-theoretical ones, such as expressivity, frame definability, bisimulation, and some axiomatization ones.
      PubDate: 2022-08-01
      DOI: 10.1007/s10992-021-09647-z
       
  • 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.192.26.60
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-