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: 79)
Ethics     Full-text available via subscription   (Followers: 75)
Journal of Political Philosophy     Hybrid Journal   (Followers: 72)
European Journal of Philosophy     Hybrid Journal   (Followers: 70)
Mind     Hybrid Journal   (Followers: 68)
Philosophy & Public Affairs     Hybrid Journal   (Followers: 61)
Australasian Journal of Philosophy     Hybrid Journal   (Followers: 58)
Contemporary Political Theory     Hybrid Journal   (Followers: 57)
Nous     Hybrid Journal   (Followers: 57)
International Journal for Philosophy of Religion     Hybrid Journal   (Followers: 53)
Journal of the History of Philosophy     Full-text available via subscription   (Followers: 52)
Philosophical Quarterly     Hybrid Journal   (Followers: 49)
British Journal for the History of Philosophy     Hybrid Journal   (Followers: 46)
Journal of Applied Philosophy     Hybrid Journal   (Followers: 45)
British Journal for the Philosophy of Science     Hybrid Journal   (Followers: 44)
American Journal of Theology & Philosophy     Full-text available via subscription   (Followers: 44)
Journal of Moral Philosophy     Hybrid Journal   (Followers: 38)
Analysis     Hybrid Journal   (Followers: 38)
Philosophy and Phenomenological Research     Hybrid Journal   (Followers: 37)
Philosophy of Science     Full-text available via subscription   (Followers: 35)
Erkenntnis     Hybrid Journal   (Followers: 32)
Journal of Medical Ethics     Partially Free   (Followers: 32)
Philosophy and Literature     Full-text available via subscription   (Followers: 30)
Continental Philosophy Review     Partially Free   (Followers: 29)
Inquiry : An Interdisciplinary Journal of Philosophy     Hybrid Journal   (Followers: 29)
Constellations     Hybrid Journal   (Followers: 28)
Journal of Ethics & Social Philosophy     Open Access   (Followers: 28)
Journal of Social Philosophy     Hybrid Journal   (Followers: 27)
British Journal of Aesthetics     Hybrid Journal   (Followers: 26)
Canadian Journal of Philosophy     Full-text available via subscription   (Followers: 26)
Ethical Theory and Moral Practice     Hybrid Journal   (Followers: 25)
Social Philosophy and Policy     Full-text available via subscription   (Followers: 25)
Linguistics and Philosophy     Hybrid Journal   (Followers: 23)
Philosophical Studies     Hybrid Journal   (Followers: 22)
Philosophy & Social Criticism     Hybrid Journal   (Followers: 22)
The Heythrop Journal     Hybrid Journal   (Followers: 22)
Journal of Law, Medicine & Ethics     Hybrid Journal   (Followers: 22)
Philosophy Compass     Hybrid Journal   (Followers: 21)
Philosophy and Rhetoric     Full-text available via subscription   (Followers: 21)
Biology and Philosophy     Hybrid Journal   (Followers: 19)
BMC Medical Ethics     Open Access   (Followers: 19)
Philosophy     Full-text available via subscription   (Followers: 19)
Journal of Medical Ethics and History of Medicine     Open Access   (Followers: 19)
Mouseion: Journal of the Classical Association of Canada     Full-text available via subscription   (Followers: 18)
Jurisprudence     Hybrid Journal   (Followers: 18)
International Studies in the Philosophy of Science     Hybrid Journal   (Followers: 17)
Episteme     Hybrid Journal   (Followers: 17)
Philosophers' Imprint     Open Access   (Followers: 17)
Assuming Gender     Open Access   (Followers: 17)
Pragmatics & Cognition     Hybrid Journal   (Followers: 16)
Philosophy East and West     Full-text available via subscription   (Followers: 16)
Journal of the Philosophy of History     Hybrid Journal   (Followers: 16)
Journal of Media Ethics : Exploring Questions of Media Morality     Hybrid Journal   (Followers: 15)
Phronesis : A journal for Ancient Philosophy     Hybrid Journal   (Followers: 15)
Bioethics Research Notes     Full-text available via subscription   (Followers: 15)
Philosophy & Technology     Hybrid Journal   (Followers: 14)
Midwest Studies In Philosophy     Hybrid Journal   (Followers: 14)
Social Epistemology: A Journal of Knowledge, Culture and Policy     Hybrid Journal   (Followers: 14)
Journal of Indian Philosophy     Hybrid Journal   (Followers: 13)
Review of Philosophy and Psychology     Hybrid Journal   (Followers: 13)
Reformed Theological Review, The     Full-text available via subscription   (Followers: 13)
Ethical Perspectives     Full-text available via subscription   (Followers: 12)
Journal of Chinese Philosophy     Hybrid Journal   (Followers: 12)
Journal of Global Ethics     Hybrid Journal   (Followers: 12)
Philosophy, Psychiatry, & Psychology     Full-text available via subscription   (Followers: 12)
Pragmatics and Society     Hybrid Journal   (Followers: 12)
Dao : A Journal of Comparative Philosophy     Hybrid Journal   (Followers: 11)
Pacific Philosophical Quarterly     Hybrid Journal   (Followers: 11)
Utilitas     Hybrid Journal   (Followers: 11)
Open Journal of Philosophy     Open Access   (Followers: 11)
Film-Philosophy Journal     Open Access   (Followers: 11)
Metaphor and Symbol     Hybrid Journal   (Followers: 10)
Polis : The Journal of the Society for Greek Political Thought     Hybrid Journal   (Followers: 10)
Kennedy Institute of Ethics Journal     Full-text available via subscription   (Followers: 10)
HTS Theological Studies     Open Access   (Followers: 10)
Philosophy of Photography     Hybrid Journal   (Followers: 10)
Diogenes     Hybrid Journal   (Followers: 9)
Journal of Philosophical Logic     Hybrid Journal   (Followers: 9)
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences     Full-text available via subscription   (Followers: 9)
Research in Phenomenology     Hybrid Journal   (Followers: 9)
Journal of the Gilded Age and Progressive Era     Full-text available via subscription   (Followers: 9)
International Journal of Philosophical Studies     Hybrid Journal   (Followers: 8)
Philosophia     Hybrid Journal   (Followers: 8)
Philosophical Books     Hybrid Journal   (Followers: 8)
Philosophical Perspectives     Hybrid Journal   (Followers: 8)
Myth & Symbol     Hybrid Journal   (Followers: 8)
Contributions to the History of Concepts     Full-text available via subscription   (Followers: 7)
Journal of Critical Realism     Hybrid Journal   (Followers: 7)
Medicine, Health Care and Philosophy     Hybrid Journal   (Followers: 7)
Metaphilosophy     Hybrid Journal   (Followers: 7)
Philosophical Investigations     Hybrid Journal   (Followers: 7)
Philosophical Issues     Hybrid Journal   (Followers: 7)
Zeitschrift für philosophische Forschung     Full-text available via subscription   (Followers: 7)
Journal of Speculative Philosophy     Full-text available via subscription   (Followers: 7)
SubStance     Full-text available via subscription   (Followers: 7)
Contagion : Journal of Violence, Mimesis, and Culture     Full-text available via subscription   (Followers: 7)
African Journal of Business Ethics     Open Access   (Followers: 7)
Dialogue Canadian Philosophical Review/Revue canadienne de philosophie     Full-text available via subscription   (Followers: 7)
Nordic Journal of Aesthetics     Open Access   (Followers: 7)
Axiomathes     Hybrid Journal   (Followers: 6)
Contemporary Chinese Thought     Full-text available via subscription   (Followers: 6)
History and Philosophy of Logic     Hybrid Journal   (Followers: 6)
Think     Full-text available via subscription   (Followers: 6)
Philosophical Explorations: An International Journal for the Philosophy of Mind and Action     Hybrid Journal   (Followers: 6)
Philosophical Magazine Letters     Hybrid Journal   (Followers: 6)
The Southern Journal of Philosophy     Hybrid Journal   (Followers: 6)
Journal of Nietzsche Studies     Full-text available via subscription   (Followers: 6)
Aisthesis     Open Access   (Followers: 6)
Australasian Catholic Record, The     Full-text available via subscription   (Followers: 6)
International Journal of the Platonic Tradition     Open Access   (Followers: 6)
Endeavour     Hybrid Journal   (Followers: 5)
Journal of Empirical Research on Human Research Ethics     Full-text available via subscription   (Followers: 5)
Zeitschrift für Religions- und Geistesgeschichte     Hybrid Journal   (Followers: 5)
Review of Contemporary Philosophy     Full-text available via subscription   (Followers: 5)
Philosophical Papers     Hybrid Journal   (Followers: 5)
Studies in Philology     Full-text available via subscription   (Followers: 5)
Hume Studies     Full-text available via subscription   (Followers: 5)
Critical Horizons     Hybrid Journal   (Followers: 5)
Estudos Bíblicos     Open Access   (Followers: 4)
Royal Institute of Philosophy Supplements     Full-text available via subscription   (Followers: 4)
The Philosophical Forum     Hybrid Journal   (Followers: 4)
Transactions of the Charles S. Peirce Society     Full-text available via subscription   (Followers: 4)
South African Journal of Philosophy = Suid-Afrikaanse Tydskrif vir Wysbegeerte     Hybrid Journal   (Followers: 4)
National Catholic Bioethics Quarterly     Hybrid Journal   (Followers: 4)
Bulletin de Philosophie Medievale     Full-text available via subscription   (Followers: 4)
Franciscan Studies     Full-text available via subscription   (Followers: 4)
Journal of Theoretical & Philosophical Psychology     Full-text available via subscription   (Followers: 4)
Church Heritage     Full-text available via subscription   (Followers: 4)
Bochumer Philosophisches Jahrbuch für Antike und Mittelalter     Hybrid Journal   (Followers: 4)
Philosophy in Review     Open Access   (Followers: 4)
Bijdragen     Full-text available via subscription   (Followers: 3)
Recherches de Théologie et Philosophie Médiévales     Full-text available via subscription   (Followers: 3)
Studia Logica     Hybrid Journal   (Followers: 3)
Topoi     Hybrid Journal   (Followers: 3)
Grazer Philosophische Studien     Full-text available via subscription   (Followers: 3)
Utopian Studies     Full-text available via subscription   (Followers: 3)
CR : The New Centennial Review     Full-text available via subscription   (Followers: 3)
The Pluralist     Full-text available via subscription   (Followers: 3)
Australian Humanist, The     Full-text available via subscription   (Followers: 3)
Erasmus Studies     Hybrid Journal   (Followers: 3)
Journal of Religion and Business Ethics     Open Access   (Followers: 3)
Socioaffective Neuroscience and Psychology     Open Access   (Followers: 3)
Russell : the Journal of Bertrand Russell Studies     Full-text available via subscription   (Followers: 3)
Kantian Review     Full-text available via subscription   (Followers: 3)
Husserl Studies     Hybrid Journal   (Followers: 2)
Kriterion: Revista de Filosofia     Open Access   (Followers: 2)
Revue Philosophique de Louvain     Full-text available via subscription   (Followers: 2)
Sartre Studies International     Full-text available via subscription   (Followers: 2)
Journal of Scottish Philosophy     Hybrid Journal   (Followers: 2)
Quaestio     Full-text available via subscription   (Followers: 2)
Poiesis & Praxis : International Journal of Technology Assessment and Ethics of Science     Open Access   (Followers: 2)
Journal of Aesthetic Education     Full-text available via subscription   (Followers: 2)
Philosophy & Theory in Biology     Open Access   (Followers: 2)
Australian Journal of Parapsychology     Full-text available via subscription   (Followers: 2)
Journal of Friends of Lutheran Archives     Full-text available via subscription   (Followers: 2)
Between the Species     Open Access   (Followers: 2)
Empedocles : European Journal for the Philosophy of Communication     Hybrid Journal   (Followers: 2)
Cultura : International Journal of Philosophy of Culture and Axiology     Open Access   (Followers: 2)
Horizonte : Revista de Estudos de Teologia e Ciências da Religião     Open Access   (Followers: 2)
International Journal of Žižek Studies     Open Access   (Followers: 2)
International Journal for the Study of Skepticism     Hybrid Journal   (Followers: 2)
Ethische Perspectieven     Full-text available via subscription   (Followers: 1)
Astérion     Open Access   (Followers: 1)
Noesis     Open Access   (Followers: 1)
Le Portique     Open Access   (Followers: 1)
Temporalités     Open Access   (Followers: 1)
Estudios de Filosofía Práctica e Historia de las Ideas     Open Access   (Followers: 1)
Veritas : Revista de Filosofí­a y Teología     Open Access   (Followers: 1)
PAN: Philosophy Activism Nature     Full-text available via subscription   (Followers: 1)
Laval théologique et philosophique     Full-text available via subscription   (Followers: 1)
Revue d’études benthamiennes     Open Access   (Followers: 1)
Hobbes Studies     Hybrid Journal   (Followers: 1)
Eleutheria     Open Access   (Followers: 1)
Journal of Humanistic Mathematics     Open Access   (Followers: 1)
Revista Latinoamericana de Filosofía     Open Access   (Followers: 1)
Nóema     Open Access   (Followers: 1)
Éthique publique     Open Access   (Followers: 1)
Philosophia Scientiæ     Open Access   (Followers: 1)
International Journal of Social Quality     Full-text available via subscription   (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  
Doctor virtualis     Open Access  
Humanidades Médicas     Open Access  
Methodos     Open Access  
Labyrinthe     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
Studia Logica
Journal Prestige (SJR): 0.353
Citation Impact (citeScore): 1
Number of Followers: 3  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1572-8730 - ISSN (Online) 0039-3215
Published by Springer-Verlag Homepage  [2468 journals]
  • Angell and McCall Meet Wansing

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore.
      PubDate: 2024-02-17
       
  • Independence Results for Finite Set Theories in Well-Founded Locally
           Finite Graphs

    • Free pre-print version: Loading...

      Abstract: Abstract We consider all combinatorially possible systems corresponding to subsets of finite set theory (i.e., Zermelo-Fraenkel set theory without the axiom of infinity) and for each of them either provide a well-founded locally finite graph that is a model of that theory or show that this is impossible. To that end, we develop the technique of axiom closure of graphs.
      PubDate: 2024-02-16
       
  • Ecumenical Propositional Tableau

    • Free pre-print version: Loading...

      Abstract: Abstract Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic statements. This paper presents a semantic tableau for propositional ecumenical logic and proves its soundness and completeness concerning Ecumenical Kripke models. We introduce the Ecumenical Propositional Tableau ( \(E_T\) ) and demonstrate its effectiveness in handling mixed statements.
      PubDate: 2024-02-16
       
  • On Woodruff’s Constructive Nonsense Logic

    • Free pre-print version: Loading...

      Abstract: Abstract Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.
      PubDate: 2024-01-22
       
  • Proof-Theoretic Aspects of Paraconsistency with Strong Consistency
           Operator

    • Free pre-print version: Loading...

      Abstract: Abstract In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such LFIs. Here, we intend to make a first step in this direction. On the other hand, the logic Ciore was developed to provide new logical systems in the study of inconsistent databases from the point of view of LFIs. An interesting fact about Ciore is that it has a strong consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of Ciore, namely QCiore, was defined preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof–theoretic aspects of both Ciore and QCiore respectively. In first place, we introduce a two-sided sequent system for Ciore. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shütte’s technique.
      PubDate: 2024-01-13
       
  • An $$\omega $$ -Rule for the Logic of Provability and Its Models

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we discuss semantical properties of the logic \(\textbf{GL}\) of provability. The logic \(\textbf{GL}\) is a normal modal logic which is axiomatized by the the Löb formula \( \Box (\Box p\supset p)\supset \Box p \) , but it is known that \(\textbf{GL}\) can also be axiomatized by an axiom \(\Box p\supset \Box \Box p\) and an \(\omega \) -rule \((\Diamond ^{*})\) which takes countably many premises \(\phi \supset \Diamond ^{n}\top \) \((n\in \omega )\) and returns a conclusion \(\phi \supset \bot \) . We show that the class of transitive Kripke frames which validates \((\Diamond ^{*})\) and the class of transitive Kripke frames which strongly validates \((\Diamond ^{*})\) are equal, and that the following three classes of transitive Kripke frames, the class which validates \((\Diamond ^{*})\) , the class which weakly validates \((\Diamond ^{*})\) , and the class which is defined by the Löb formula, are mutually different, while all of them characterize \(\textbf{GL}\) . This gives an example of a proof system P and a class C of Kripke frames such that P is sound and complete with respect to C but the soundness cannot be proved by simple induction on the height of the derivations in P. We also show Kripke completeness of the proof system with \((\Diamond ^{*})\) in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations \(\Box x\le \Box \Box x\) and \(\bigwedge _{n\in \omega }\Diamond ^{n}1=0\) is not a variety.
      PubDate: 2024-01-09
       
  • Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity

    • Free pre-print version: Loading...

      Abstract: Abstract Recent work by Busaniche, Galatos and Marcos introduced a very general twist construction, based on the notion of conucleus, which subsumes most existing approaches. In the present paper we extend this framework one step further, so as to allow us to construct and represent algebras which possess a negation that is not necessarily involutive. Our aim is to capture the main properties of the largest class that admits such a representation, as well as to be able to recover the well-known cases—such as (quasi-)Nelson algebras and (quasi-)N4-lattices—as particular instances of the general construction. We pursue two approaches, one that directly generalizes the classical Rasiowa construction for Nelson algebras, and an alternative one that allows us to study twist-algebras within the theory of residuated lattices.
      PubDate: 2024-01-09
       
  • Combining Intuitionistic and Classical Propositional Logic: Gentzenization
           and Craig Interpolation

    • Free pre-print version: Loading...

      Abstract: Abstract This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) is proposed. An approximate idea of obtaining \(\textsf{G}(\textbf{C}+\textbf{J})\) is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system \(\mathbf {C+J}\) proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996).
      PubDate: 2024-01-06
       
  • The Logic ILP for Intuitionistic Reasoning About Probability

    • Free pre-print version: Loading...

      Abstract: Abstract We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, each possible world is equipped with a structure of the form \(\langle H, \mu \rangle \) that needs not be a probability space. More precisely, though H needs not be a Boolean algebra, the corresponding monotone function (we call it measure) \(\mu : H \longrightarrow [0,1]_{\mathbb {Q}}\) satisfies the following condition: if \(\alpha \) , \(\beta \) , \(\alpha \wedge \beta \) , \(\alpha \vee \beta \in H\) , then \(\mu (\alpha \vee \beta ) = \mu (\alpha ) + \mu (\beta ) - \mu (\alpha \wedge \beta )\) . Since the range of \(\mu \) is the set \([0,1]_{\mathbb {Q}}\) of rational numbers from the real unit interval, our logic is not compact. In order to obtain a strong complete axiomatization, we introduce an infinitary inference rule with a countable set of premises. The main technical results are the proofs of strong completeness and decidability.
      PubDate: 2023-12-09
       
  • Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

    • Free pre-print version: Loading...

      Abstract: Abstract Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we will make clear the context to which the papers in this special issue on Frontiers of Connexive Logic belong and contribute.
      PubDate: 2023-12-09
       
  • Quineanism, Noneism and Metaphysical Equivalence

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper we propose and defend the Synonymy account, a novel account of metaphysical equivalence which draws on the idea (Rayo in The Construction of Logical Space, Oxford University Press, Oxford, 2013) that part of what it is to formulate a theory is to lay down a theoretical hypothesis concerning logical space. Roughly, two theories are synonymous—and so, in our view, equivalent—just in case (i) they take the same propositions to stand in the same entailment relations, and (ii) they are committed to the truth of the same propositions. Furthermore, we put our proposal to work by showing that it affords a better and more nuanced understanding of the debate between Quineans and noneists. Finally we show how the Synonymy account fares better than some of its competitors, specifically, McSweeney’s (Philosophical Perspectives 30(1):270–293, 2016) epistemic account and Miller’s (Philosophical Quarterly 67(269):772–793, 2017) hyperintensional account.
      PubDate: 2023-12-09
       
  • Representability of Kleene Posets and Kleene Lattices

    • Free pre-print version: Loading...

      Abstract: Abstract A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper (Chajda, Länger and Paseka, in: Proceeding of 2022 IEEE 52th International Symposium on Multiple-Valued Logic, Springer, 2022), we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a fixed element of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element. Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset \({\textbf{A}}\) , namely its Dedekind-MacNeille completion \({{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})\) and a completion \(G({\textbf{A}})\) which coincides with \({{\,\mathrm{\textbf{DM}}\,}}({\textbf{A}})\) provided \({\textbf{A}}\) is finite. In particular we prove that if \({\textbf{A}}\) is a Kleene poset then its extension \(G({\textbf{A}})\) is also a Kleene lattice. If the subset X of principal order ideals of \({\textbf{A}}\) is involution-closed and doubly dense in \(G({\textbf{A}})\) then it generates \(G({\textbf{A}})\) and it is isomorphic to \({\textbf{A}}\) itself.
      PubDate: 2023-12-08
       
  • Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free
           Linear-Time Temporal Logic

    • Free pre-print version: Loading...

      Abstract: Abstract This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting for Nelson’s paraconsistent logic. The cut-elimination and completeness theorems for the proposed sequent calculi and semantics are proven.
      PubDate: 2023-12-01
      DOI: 10.1007/s11225-023-10052-7
       
  • FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text
           {NExtK4.3}$$

    • Free pre-print version: Loading...

      Abstract: Abstract This paper studies modal logics whose extensions all have the finite model property, those whose extensions are all recursively axiomatizable, and those whose extensions are all finitely axiomatizable. We call such logics FMP-ensuring, RA-ensuring and FA-ensuring respectively, and prove necessary and sufficient conditions of such logics in \(\mathsf {NExtK4.3}\) . Two infinite descending chains \(\{{\textbf{S}}_{k}\}_{k\in \omega }\) and \(\{{\textbf{S}} _{k}^{*}\}_{k\in \omega }\) of logics are presented, in terms of which the necessary and sufficient conditions are formulated as follows: A logic in \(\mathsf {NExtK4.3}\) is FMP-ensuring iff it extends \({\textbf{S}}_{k}\) for some \(k\in \omega \) , it is RA-ensuring iff it extends \({\textbf{S}}_{k}^{*}\) for some \(k\in \omega \) , and it is FA-ensuring iff it is finitely axiomatizable and extends \({\textbf{S}}_{k}^{*}\) for some \(k\in \omega \) .
      PubDate: 2023-12-01
      DOI: 10.1007/s11225-023-10046-5
       
  • On Heyting Algebras with Negative Tense Operators

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois Negations. Finally, we will develop a Priestley-style duality for tense H-algebras.
      PubDate: 2023-12-01
      DOI: 10.1007/s11225-023-10053-6
       
  • The Elimination of Direct Self-reference

    • Free pre-print version: Loading...

      Abstract: Abstract This paper provides a procedure which, from any Boolean system of sentences, outputs another Boolean system called the ‘m-cycle unwinding’ of the original Boolean system for any positive integer m. We prove that for all \(m>1\) , this procedure eliminates the direct self-reference in that the m-cycle unwinding of any Boolean system must be indirectly self-referential. More importantly, this procedure can preserve the primary periods of Boolean paradoxes: whenever m is relatively prime to all primary periods of a Boolean paradox, this paradox and its m-cycle unwinding have the same primary periods. In this way, we can produce an indirectly self-referential Boolean paradox with the same periodic characteristics as a known Boolean paradox.
      PubDate: 2023-12-01
      DOI: 10.1007/s11225-023-10060-7
       
  • On Pretabular Extensions of Relevance Logic

    • Free pre-print version: Loading...

      Abstract: Abstract We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom \((p\rightarrow q)\vee (q\rightarrow p)\) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.
      PubDate: 2023-11-16
      DOI: 10.1007/s11225-023-10081-2
       
  • Correspondence Theory for Modal Fairtlough–Mendler Semantics of
           Intuitionistic Modal Logic

    • Free pre-print version: Loading...

      Abstract: Abstract We study the correspondence theory of intuitionistic modal logic in modal Fairtlough–Mendler semantics (modal FM semantics) (Fairtlough and Mendler in Inf Comput 137(1):1–33, 1997), which is the intuitionistic modal version of possibility semantics (Holliday in UC Berkeley working paper in logic and the methodology of science, 2022. http://escholarship.org/uc/item/881757qn). We identify the fragment of inductive formulas (Goranko and Vakarelov in Ann Pure Appl Logic 141(1–2):180–217, 2006) in this language and give the algorithm \(\textsf{ALBA}\) (Conradie and Palmigiano in Ann Pure Appl Logic 163(3):338–376, 2012) in this semantic setting. There are two major features in the paper: one is that in the expanded modal language, the nominal variables, which are interpreted as atoms in perfect Boolean algebras, complete join-prime elements in perfect distributive lattices and complete join-irreducible elements in perfect lattices, are interpreted as the refined regular open closures of singletons in the present setting, similar to the possibility semantics for classical normal modal logic (Zhao in J Logic Comput 31(2):523–572, 2021); the other feature is that we do not use conominals or diamond, which restricts the fragment of inductive formulas significantly. We prove the soundness of \(\textsf{ALBA}\) with respect to modal FM-frames and show that \(\textsf{ALBA}\) succeeds on inductive formulas, similar to existing settings like (Conradie and Palmigiano in Ann Pure Appl Logic 163(3):338–376, 2012; Zhao 2021, in: Cia-battoni, Pimentel, Queiroz (eds) Logic, language, information, and computation, Springer International Publishing, Cham, 2022).
      PubDate: 2023-08-29
      DOI: 10.1007/s11225-023-10064-3
       
  • Hyperintensionality and Fine-Grained Semantics

    • Free pre-print version: Loading...

      PubDate: 2023-08-10
      DOI: 10.1007/s11225-023-10061-6
       
  • Systems for Non-Reflexive Consequence

    • Free pre-print version: Loading...

      Abstract: Abstract Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.
      PubDate: 2023-08-10
      DOI: 10.1007/s11225-023-10049-2
       
 
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: 3.235.145.108
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-
JournalTOCs
 
 

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

JournalTOCs © 2009-