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 by number of followers]   [Restore default list]

  Subjects -> PHILOSOPHY (Total: 762 journals)
Showing 1 - 135 of 135 Journals sorted alphabetically
'Ilu. Revista de Ciencias de las Religiones     Open Access   (Followers: 5)
ACME : Annali della Facoltà di Studi Umanistici dell'Università degli Studi di Milano     Open Access   (Followers: 5)
Aesthetic Investigations     Open Access   (Followers: 3)
African Journal of Business Ethics     Open Access   (Followers: 7)
Agora     Full-text available via subscription   (Followers: 2)
Agora: papeles de Filosofía     Full-text available via subscription   (Followers: 1)
Ahkam : Jurnal Ilmu Syariah     Open Access   (Followers: 1)
Aisthema, International Journal     Open Access   (Followers: 2)
Aisthesis     Open Access   (Followers: 5)
Aisthesis : Pratiche, Linguaggi e Saperi dell’Estetico     Open Access  
Ajatus : Suomen Filosofisen Yhdistyksen vuosikirja     Open Access   (Followers: 1)
AJIS : Academic Journal of Islamic Studies     Open Access  
al-Afkar : Journal For Islamic Studies     Open Access  
Al-Banjari : Jurnal Ilmiah Ilmu-Ilmu Keislaman     Open Access   (Followers: 1)
Al-Fikra     Open Access   (Followers: 1)
Al-Jami'ah : Journal of Islamic Studies     Open Access   (Followers: 5)
AL-Qadissiya Magzine for Human Sciences     Open Access  
Al-Tijary : Jurnal Ekonomi dan Bisnis Islam     Open Access   (Followers: 1)
Al-Ulum     Open Access   (Followers: 1)
Albertus Magnus     Open Access  
Alpha (Osorno)     Open Access  
Alter : Revue de phénoménologie     Open Access   (Followers: 1)
American Journal of Semiotics     Full-text available via subscription   (Followers: 4)
American Journal of Theology & Philosophy     Full-text available via subscription   (Followers: 40)
American Society for Aesthetics Graduate E-journal     Open Access   (Followers: 4)
An-Nisbah : Jurnal Ekonomi Syariah     Open Access   (Followers: 1)
Anais de Filosofia Clássica     Open Access  
Anais Eletrônicos do Congresso Epistemologias do Sul     Open Access  
Anales de la Cátedra Francisco Suárez     Open Access  
Anales del Seminario de Historia de la Filosofía     Open Access  
Análisis     Open Access  
Análisis : Revista de investigación filosófica     Open Access  
Analítica     Open Access   (Followers: 7)
Analysis     Hybrid Journal   (Followers: 34)
Analytic Philosophy     Hybrid Journal   (Followers: 18)
Analytica : Revista de Filosofia     Open Access  
Ancient Philosophy     Full-text available via subscription   (Followers: 13)
Ancient Philosophy Today     Hybrid Journal  
Andrews University Seminary Student Journal     Open Access  
ANFUSINA : Journal of Psychology     Open Access   (Followers: 1)
Angewandte Philosophie / Applied Philosophy     Hybrid Journal   (Followers: 2)
Annales Universitatis Mariae Curie-Sklodowska, sectio I – Philosophia-Sociologia     Open Access  
Annals in Social Responsibility     Full-text available via subscription  
Annals of the University of Bucharest : Philosophy Series     Open Access  
Annuaire du Collège de France     Open Access   (Followers: 6)
Anthropological Measurements of Philosophical Research     Open Access   (Followers: 1)
Anuari de la Societat Catalana de Filosofia     Open Access  
Anuario Filosófico     Full-text available via subscription  
Appareil     Open Access  
Apuntes Universitarios     Open Access   (Followers: 1)
Araucaria. Revista Iberoamericana de Filosofía, Política y Humanidades     Open Access  
Areté : Revista de Filosofia     Open Access  
Argos     Open Access   (Followers: 1)
Argumentos - Revista de Filosofia     Open Access  
Assuming Gender     Open Access   (Followers: 16)
Astérion     Open Access  
Astrolabio     Open Access  
At-Tabsyir : Jurnal Komunikasi Penyiaran Islam     Open Access  
At-Taqaddum     Open Access  
At-Turats     Open Access  
Attarbiyah : Journal of Islamic Culture and Education     Open Access   (Followers: 2)
Augustinian Studies     Full-text available via subscription   (Followers: 3)
Augustiniana     Full-text available via subscription   (Followers: 2)
Augustinianum     Full-text available via subscription   (Followers: 1)
Aurora : papeles del Seminario María Zambrano     Open Access  
Auslegung : A Journal of Philosophy     Open Access  
Australasian Catholic Record, The     Full-text available via subscription   (Followers: 5)
Australasian Journal of Philosophy     Hybrid Journal   (Followers: 56)
Australasian Philosophical Review     Full-text available via subscription  
Australian Humanist, The     Full-text available via subscription   (Followers: 3)
Australian Journal of Parapsychology     Full-text available via subscription   (Followers: 2)
Axiomathes     Hybrid Journal   (Followers: 6)
Bajo Palabra     Open Access  
Balkan Journal of Philosophy     Full-text available via subscription   (Followers: 1)
BELAJEA : Jurnal Pendidikan Islam     Open Access  
Bergsoniana     Open Access  
Between the Species     Open Access   (Followers: 2)
Bijdragen     Full-text available via subscription   (Followers: 3)
Bioethica     Open Access   (Followers: 1)
Bioethics Research Notes     Full-text available via subscription   (Followers: 15)
BioéthiqueOnline     Open Access   (Followers: 1)
Biology and Philosophy     Hybrid Journal   (Followers: 18)
BMC Medical Ethics     Open Access   (Followers: 19)
Bochumer Philosophisches Jahrbuch für Antike und Mittelalter     Hybrid Journal   (Followers: 4)
Bohemistyka     Open Access  
British Journal for the History of Philosophy     Hybrid Journal   (Followers: 40)
British Journal for the Philosophy of Science     Hybrid Journal   (Followers: 39)
British Journal of Aesthetics     Hybrid Journal   (Followers: 21)
British Journal of Music Therapy     Hybrid Journal   (Followers: 8)
Bulletin d'Analyse Phénoménologique     Open Access   (Followers: 1)
Bulletin de Philosophie Medievale     Full-text available via subscription   (Followers: 3)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 4)
Bulletin of Yaroslav Mudryi NLU : Series : Philosophy, philosophy of law, political science, sociology     Open Access  
Business and Professional Ethics Journal     Full-text available via subscription   (Followers: 4)
Business Ethics Quarterly     Full-text available via subscription   (Followers: 18)
C@hiers du CRHIDI     Open Access  
Cadernos Benjaminianos     Open Access  
Cadernos de Ética e Filosofia Política     Open Access  
Cadernos de Filosofia Alemã : Crítica e Modernidade     Open Access  
Cadernos do PET Filosofia     Open Access  
Cadernos Espinosanos     Open Access  
Cahiers de Philosophie de l’Université de Caen     Open Access  
Cahiers Droit, Sciences & Technologies     Open Access   (Followers: 1)
Cakrawala : Jurnal Studi Islam     Open Access  
Canadian Journal of Bioethics     Open Access  
Canadian Journal of Philosophy     Full-text available via subscription   (Followers: 25)
Chiasmi International     Full-text available via subscription  
Childhood & Philosophy     Open Access   (Followers: 9)
Chôra : Revue d’Études Anciennes et Médiévales - philosophie, théologie, sciences     Full-text available via subscription   (Followers: 2)
Christian Journal for Global Health     Open Access   (Followers: 1)
Chromatikon     Full-text available via subscription  
Church Heritage     Full-text available via subscription   (Followers: 4)
Ciência & Trópico     Open Access  
Cinta de Moebio     Open Access  
Circe de clásicos y modernos     Open Access  
Civitas Augustiniana     Open Access  
Clareira - Revista de Filosofia da Região Amazônica     Open Access  
Claridades : Revista de Filosofía     Open Access  
Clotho     Open Access   (Followers: 1)
Cognitio : Revista de Filosofia     Open Access  
Collingwood and British Idealism Studies     Full-text available via subscription  
Colombia Forense     Open Access  
Comparative and Continental Philosophy     Hybrid Journal   (Followers: 9)
Comparative Philosophy     Open Access   (Followers: 12)
Conciencia     Open Access  
Constellations     Hybrid Journal   (Followers: 26)
Contagion : Journal of Violence, Mimesis, and Culture     Full-text available via subscription   (Followers: 6)
Contemporary Chinese Thought     Full-text available via subscription   (Followers: 6)
Contemporary Political Theory     Hybrid Journal   (Followers: 52)
Contemporary Pragmatism     Hybrid Journal   (Followers: 5)
Continental Philosophy Review     Partially Free   (Followers: 24)
Contrastes. Revista Internacional de Filosofía     Open Access  
Contributions to the History of Concepts     Full-text available via subscription   (Followers: 7)
Controvérsia     Open Access  
Convivium : Revista de Filosophia     Open Access  
Correspondences : Journal for the Study of Esotericism     Open Access  
CoSMo | Comparative Studies in Modernism     Open Access   (Followers: 1)
Cosmos and History : The Journal of Natural and Social Philosophy     Open Access   (Followers: 6)
CR : The New Centennial Review     Full-text available via subscription   (Followers: 3)
Cracow Indological Studies     Open Access  
Creativity Studies     Open Access   (Followers: 5)
Critical Horizons     Hybrid Journal   (Followers: 5)
Croatian Journal of Philosophy     Full-text available via subscription   (Followers: 1)
Cuadernos de Filosofía     Open Access  
Cuadernos de Filosofía Latinoamericana     Open Access  
Cuadernos de pensamiento     Open Access   (Followers: 3)
Cultura : International Journal of Philosophy of Culture and Axiology     Open Access   (Followers: 2)
Cultural-Historical Psychology     Open Access   (Followers: 4)
Culture and Dialogue     Hybrid Journal   (Followers: 1)
Cuyo Anuario de Filosofía Argentina y Americana     Open Access  
Daimon Revista Internacional de Filosofía     Open Access  
Dalogue and Universalism     Full-text available via subscription  
Danish Yearbook of Philosophy     Full-text available via subscription  
Dao : A Journal of Comparative Philosophy     Hybrid Journal   (Followers: 9)
Design Philosophy Papers     Full-text available via subscription   (Followers: 11)
Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte     Hybrid Journal  
Diagonal : Zeitschrift der Universität Siegen     Hybrid Journal  
Diakrisis Yearbook of Theology and Philosophy     Open Access  
Dialectic : A scholarly journal of thought leadership, education and practice in the discipline of visual communication design     Open Access   (Followers: 1)
Dialektiké     Open Access  
Dialogue Canadian Philosophical Review/Revue canadienne de philosophie     Full-text available via subscription   (Followers: 6)
Diánoia     Open Access   (Followers: 1)
Dianoia     Open Access  
Diferencia(s)     Open Access  
Dimas : Jurnal Pemikiran Agama untuk Pemberdayaan     Open Access  
Diogenes     Hybrid Journal   (Followers: 8)
Dios y el Hombre     Open Access  
Discurso     Open Access  
Discusiones Filosóficas     Open Access  
Disputatio     Open Access  
Doctor virtualis     Open Access  
Doxa : Cuadernos de Filosofía del Derecho     Open Access  
Economica : Jurnal Ekonomi Islam     Open Access   (Followers: 1)
Edukasi : Jurnal Pendidikan Islam     Open Access  
Eidos     Open Access  
Ekstasis : Revista de Hermenêutica e Fenomenologia     Open Access   (Followers: 1)
El Banquete de los Dioses     Open Access  
Eleutheria     Open Access   (Followers: 1)
Elpis - Czasopismo Teologiczne Katedry Teologii Prawosławnej Uniwersytetu w Białymstoku     Open Access  
Empedocles : European Journal for the Philosophy of Communication     Hybrid Journal   (Followers: 2)
En Líneas Generales     Open Access  
Endeavour     Hybrid Journal   (Followers: 4)
Endowment Studies     Hybrid Journal  
Enrahonar : An International Journal of Theoretical and Practical Reason     Open Access  
Entelekya Logico-Metaphysical Review     Open Access  
Environmental Ethics     Hybrid Journal   (Followers: 12)
Episteme     Hybrid Journal   (Followers: 14)
Epistemología e Historia de la Ciencia     Open Access  
Epistemology & Philosophy of Science     Open Access   (Followers: 5)
Epoché : A Journal for the History of Philosophy     Full-text available via subscription   (Followers: 3)
Erasmus Studies     Hybrid Journal   (Followers: 2)
Erkenntnis     Hybrid Journal   (Followers: 29)
Escritos     Open Access  
Essays in Philosophy     Open Access   (Followers: 6)
Estudios de Filosofía     Open Access  
Estudios de Filosofía     Open Access  
Estudios de Filosofía Práctica e Historia de las Ideas     Open Access  
Estudios Nietzsche     Open Access  
Estudos Bíblicos     Open Access   (Followers: 6)
Estudos Nietzsche     Open Access  

        1 2 3 4        [Sort by number of followers]   [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]
  • 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
       
  • 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
       
  • 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
       
  • 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
       
  • 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
       
  • What is a Relevant Connective'

    • Free pre-print version: Loading...

      Abstract: Abstract There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective.
      PubDate: 2022-08-01
       
  • Depth Relevance and Hyperformalism

    • Free pre-print version: Loading...

      Abstract: Abstract Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result of the paper, we give a very simple proof of a related but strictly stronger result.
      PubDate: 2022-08-01
       
  • Arbitrary Public Announcement Logic with Memory

    • Free pre-print version: Loading...

      Abstract: Abstract We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a ‘memory’ of the initial states, representing the information before any communication took place (“the prior”), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this logic’s expressivity and the appropriate notion of bisimulation. We then examine Group Announcement Logic with Memory (GALM), the extension of APALM obtained by adding to its syntax group announcement operators, and provide a complete finitary axiomatization (again in contrast to the original Group Announcement Logic, for which the only known axiomatization is infinitary). We also show that, in the memory-enhanced context, there is a natural reduction of the so-called coalition announcement modality to group announcements (in contrast to the memory-free case, where this natural translation was shown to be invalid).
      PubDate: 2022-07-20
       
  • Bernoulli Semantics and Ordinal Semantics for Conditionals

    • Free pre-print version: Loading...

      Abstract: Abstract Conditionals with conditional constituents pose challenges for the Thesis, the idea that the probability of a conditional is the corresponding conditional probability. This note is concerned with two proposals for overcoming those challenges, both inspired by early work of van Fraassen: the Bernoulli Semantics associated with Stalnaker and Jeffrey, and augmented with a mechanism for obtaining “local probabilities” by Kaufmann; and a proposal by Bacon which I dub Ordinal Semantics. Despite differences in mathematical details and emphasis of presentation, both proposals lend themselves for use as a basis for a modal-theoretic interpretation of embedded conditionals. The goal of this note is to compare the two frameworks by implementing a model for the interpretation of conditionals in each, based on the same underlying probability model for non-conditional sentences. I show that in the Ordinal model, certain sentences are assigned probabilities that do not accord with intuitions. This problem is familiar from the literature on Bernoulli models and can be addressed by introducing Kaufmann-style local probabilities into Ordinal models. I then show that Bernoulli Semantics has other limitations, in that it assigns probabilities in violation of the Thesis to certain very complex formulas. The upshot is that a fusion of the theories may be our best shot at getting the predictions right.
      PubDate: 2022-07-05
       
  • Neighbourhood Semantics for Modal Relevant Logics

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.
      PubDate: 2022-06-29
       
  • Monstrous Content and the Bounds of Discourse

    • Free pre-print version: Loading...

      Abstract: Abstract Bounds consequence provides an interpretation of a multiple-conclusion consequence relation in which the derivability of a sequent is understood as the claim that it is conversationally out-of-bounds to take a position in which each member of Γ is asserted while each member of Δ is denied. Two of the foremost champions of bounds consequence—Greg Restall and David Ripley—have independently indicated that the shape of the bounds in question is determined by conversational practice. In this paper, I suggest that the standard treatments of bounds consequence have focused heavily on the matter of veridicality at the expense of ignoring other features by which conversational bounds are set, prime among them being the matter of content or subject-matter. Furthermore, I argue that the semantic behavior of propositions containing “monstrous” content—content whose introduction is inappropriate to a context independently of veridical considerations—leads to a weak Kleene account of bounds consequence.
      PubDate: 2022-06-29
       
  • 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
       
  • 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
       
  • Probability and Symmetric Logic

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of evaluations of symmetric logic, yielding the notion of probability in symmetric logic. This answers an open problem of Williams (2016) and Paris (2001).
      PubDate: 2022-06-17
       
  • 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-06-16
       
  • Essence and Necessity

    • Free pre-print version: Loading...

      Abstract: Abstract What is the relation between metaphysical necessity and essence' This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence (HLE), whose core features are introduced in the first part of the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5.
      PubDate: 2022-06-01
      DOI: 10.1007/s10992-021-09646-0
       
  • A General Theory of Location Based on the Notion of Entire Location

    • Free pre-print version: Loading...

      Abstract: Abstract It would be a good thing to have at our disposal a general theory of location that is neutral with respect to (i.e. that does not rule out or entail) (i) the view that some objects have more than one exact location, (ii) the view that some objects are located without having an exact location, and (iii) the view that some objects are “spanners”—where a spanner is an object exactly located at a region that has proper parts but which has no proper part exactly located at a proper part of the region. As far as I know, no theory of location that can be found in the literature has this feature. I put forward a new theory that does—or so I argue. The theory takes as its sole locational primitive the notion of being entirely located at.
      PubDate: 2022-06-01
      DOI: 10.1007/s10992-021-09641-5
       
  • Neighbourhood Semantics for Quantified Relevant Logics

    • Free pre-print version: Loading...

      Abstract: Abstract The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan (née Routley) and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put.
      PubDate: 2022-06-01
      DOI: 10.1007/s10992-021-09637-1
       
  • 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
       
  • Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s
           Arrow (and any Other Truth-Functional Connective)

    • Free pre-print version: Loading...

      Abstract: A Correction to this paper has been published: https://doi.org/10.1007/s10992-022-09665-5
      PubDate: 2022-05-02
      DOI: 10.1007/s10992-022-09665-5
       
 
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.200.171.74
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-