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

  Subjects -> PHILOSOPHY (Total: 766 journals)
Showing 201 - 135 of 135 Journals sorted alphabetically
Ethical Perspectives     Full-text available via subscription   (Followers: 12)
Ethical Theory and Moral Practice     Hybrid Journal   (Followers: 24)
Ethics     Full-text available via subscription   (Followers: 69)
Ethics & Bioethics     Open Access   (Followers: 4)
Ethics in Progress     Open Access  
Ethics, Medicine and Public Health     Full-text available via subscription   (Followers: 7)
Éthique en éducation et en formation : Les Dossiers du GREE     Open Access  
Éthique publique     Open Access   (Followers: 1)
Ethische Perspectieven     Full-text available via subscription   (Followers: 1)
Etikk i praksis - Nordic Journal of Applied Ethics     Open Access   (Followers: 1)
Études de lettres     Open Access   (Followers: 2)
Études phénoménologiques : Phenomenological Studies     Full-text available via subscription  
Études Platoniciennes     Open Access   (Followers: 1)
Études Ricoeuriennes / Ricoeur Studies     Open Access   (Followers: 2)
European Journal for Philosophy of Science     Partially Free   (Followers: 12)
European Journal of Islamic Finance     Open Access   (Followers: 2)
European Journal of Philosophy     Hybrid Journal   (Followers: 65)
European Journal of Pragmatism and American Philosophy     Open Access   (Followers: 3)
Facta Universitatis, Series : Philosophy, Sociology, Psychology and History     Open Access  
FairPlay, Revista de Filosofia, Ética y Derecho del Deporte     Open Access  
Faith and Philosophy     Full-text available via subscription   (Followers: 7)
FALAH : Jurnal Ekonomi Syariah     Open Access  
Feminist Philosophy Quarterly     Open Access   (Followers: 4)
Fichte-Studien     Full-text available via subscription   (Followers: 2)
Film-Philosophy Journal     Open Access   (Followers: 9)
Filosofia e Educação     Open Access  
Filosofia Theoretica : Journal of African Philosophy, Culture and Religions     Open Access   (Followers: 1)
Filosofia Unisinos     Open Access  
Filosofia. Revista da Faculdade de Letras da Universidade do Porto     Open Access  
Filozofia Chrześcijańska     Open Access  
Filozofia Publiczna i Edukacja Demokratyczna     Open Access  
Filozofija i društvo / Philosophy and Society     Open Access  
FLEKS : Scandinavian Journal of Intercultural Theory and Practice     Open Access   (Followers: 1)
FOKUS : Jurnal Kajian Keislaman dan Kemasyarakatan     Open Access  
Folios     Open Access  
Food Ethics     Hybrid Journal   (Followers: 2)
Forum Philosophicum     Full-text available via subscription  
Franciscan Studies     Full-text available via subscription   (Followers: 4)
Franciscanum. Revista de las ciencias del espíritu     Open Access  
Frónesis     Open Access  
Funes. Journal of Narratives and Social Sciences     Open Access  
Gestalt Theory. An International Multidisciplinary Journal     Open Access   (Followers: 1)
Global Bioethics     Open Access   (Followers: 5)
Global Forum on Arts and Christian Faith     Open Access  
Gnosis : Journal of Gnostic Studies     Hybrid Journal  
Gogoa     Open Access  
Graduate Faculty Philosophy Journal     Full-text available via subscription   (Followers: 1)
Grafía     Open Access  
Granì     Open Access  
Grazer Philosophische Studien     Full-text available via subscription   (Followers: 2)
Griot : Revista de Filosofia     Open Access  
Grotiana     Hybrid Journal  
GSTF Journal of General Philosophy (JPhilo)     Open Access   (Followers: 1)
Harvard Review of Philosophy     Full-text available via subscription   (Followers: 6)
Hegel Bulletin     Full-text available via subscription   (Followers: 3)
Heidegger Studies     Full-text available via subscription  
Heroism Science     Open Access  
Hic Rhodus : Crisis capitalista, polémica y controversias     Open Access  
HiN : Alexander von Humboldt im Netz. Internationale Zeitschrift für Humboldt-Studien     Open Access  
Histoire Épistémologie Langage     Open Access  
History and Philosophy of Logic     Hybrid Journal   (Followers: 6)
History and Philosophy of the Life Sciences     Hybrid Journal   (Followers: 5)
History of Communism in Europe     Full-text available via subscription   (Followers: 2)
Hobbes Studies     Hybrid Journal   (Followers: 1)
HONAI : International Journal for Educational, Social, Political & Cultural Studies     Open Access  
HOPOS : The Journal of the International Society for the History of Philosophy of Science     Full-text available via subscription   (Followers: 8)
Horizonte : Revista de Estudos de Teologia e Ciências da Religião     Open Access   (Followers: 2)
Horyzonty Wychowania     Open Access  
HTS Theological Studies     Open Access   (Followers: 9)
Humanidades em diálogo     Open Access  
Humanidades Médicas     Open Access  
Humanist Studies & the Digital Age     Open Access   (Followers: 9)
Humanistic Management Journal     Hybrid Journal  
Hume Studies     Full-text available via subscription   (Followers: 4)
Husserl Studies     Hybrid Journal   (Followers: 1)
Idealistic Studies     Full-text available via subscription   (Followers: 1)
Idéias     Open Access  
Ignis (Revista de estudiantes)     Open Access  
IJIBE (International Journal of Islamic Business Ethics)     Open Access  
Ijtimaiyya : Jurnal Pengembangan Masyarakat Islam     Open Access  
Ikonomika : Jurnal Ekonomi dan Bisnis Islam     Open Access  
Impact : The Philosophy of Education Society of Great Britain     Free   (Followers: 4)
Informal Logic     Open Access   (Followers: 9)
Ingenium. Revista Electrónica de Pensamiento Moderno y Metodología en Historia de la Ideas     Open Access  
Inquiry : An Interdisciplinary Journal of Philosophy     Hybrid Journal   (Followers: 27)
Inquiry : Critical Thinking Across the Disciplines     Full-text available via subscription   (Followers: 2)
INSANCITA : Journal of Islamic Studies in Indonesia and Southeast Asia     Open Access  
Intellèctus     Open Access  
Interações : Cultura e Comunidade     Open Access  
Interespe. Interdisciplinaridade e Espiritualidade na Educação     Open Access  
International Gramsci Journal     Open Access  
International Journal for Philosophy of Religion     Hybrid Journal   (Followers: 51)
International Journal for the Study of Skepticism     Hybrid Journal   (Followers: 2)
International Journal for Transformative Research     Open Access  
International Journal of Applied Philosophy     Full-text available via subscription   (Followers: 5)
International Journal of Divination and Prognostication     Full-text available via subscription  
International Journal of Engineering, Social Justice, and Peace     Open Access   (Followers: 5)
International Journal of Ethics Education     Hybrid Journal   (Followers: 1)
International Journal of Innovation Studies     Open Access   (Followers: 1)
International Journal of Philosophical Studies     Hybrid Journal   (Followers: 7)
International Journal of Philosophy & Social Values     Open Access  
International Journal of Philosophy and Theology     Hybrid Journal   (Followers: 3)
International Journal of Philosophy Study     Open Access   (Followers: 5)
International Journal of Social Quality     Full-text available via subscription   (Followers: 1)
International Journal of Technoethics     Full-text available via subscription   (Followers: 2)
International Journal of the Platonic Tradition     Open Access   (Followers: 5)
International Journal of Zakat     Open Access  
International Journal of Žižek Studies     Open Access   (Followers: 2)
International Philosophical Quarterly     Full-text available via subscription   (Followers: 9)
International Studies in Philosophy     Full-text available via subscription   (Followers: 4)
International Studies in Philosophy Monograph Series     Full-text available via subscription  
International Studies in the Philosophy of Science     Hybrid Journal   (Followers: 15)
Iqtishoduna : Jurnal Ekonomi Islam     Open Access  
Isegoría     Open Access  
Islamic Sciences     Open Access  
Isonomía. Revista de Teoría y Filosofía del Derecho     Open Access  
ÍSTMICA. Revista de la Facultad de Filosofía y Letras     Open Access  
Ítaca     Open Access  
Itinera     Open Access  
Ius Humani: Revista de derecho     Open Access  
JICSA : Journal of Islamic Civilization in Southeast Asia     Open Access  
JOHME : Journal of Holistic Mathematics Education     Open Access   (Followers: 2)
Journal for Continental Philosophy of Religion     Full-text available via subscription  
Journal for Peace and Justice Studies     Full-text available via subscription   (Followers: 2)
Journal for the History of Analytical Philosophy     Open Access   (Followers: 5)
Journal for the Study of Religions and Ideologies     Open Access   (Followers: 8)
Journal of Aesthetic Education     Full-text available via subscription   (Followers: 2)
Journal of Aesthetics and Phenomenology     Full-text available via subscription   (Followers: 8)
Journal of Analytic Divinity     Open Access  
Journal of Applied Animal Ethics Research     Full-text available via subscription   (Followers: 1)
Journal of Applied Hermeneutics     Open Access   (Followers: 1)
Journal of Applied Non-Classical Logics     Hybrid Journal   (Followers: 2)
Journal of Applied Philosophy     Hybrid Journal   (Followers: 43)
Journal of Arts and Humanities     Open Access   (Followers: 23)
Journal of Business Ethics Education     Full-text available via subscription   (Followers: 4)
Journal of Catalan Intellectual History     Open Access  
Journal of Catholic Social Thought     Full-text available via subscription   (Followers: 3)
Journal of Chinese Philosophy     Hybrid Journal   (Followers: 11)
Journal of Critical Realism     Hybrid Journal   (Followers: 5)
Journal of Dharma Studies     Hybrid Journal  
Journal of Early Modern Studies     Full-text available via subscription   (Followers: 19)
Journal of East Asian Philosophy     Hybrid Journal   (Followers: 1)
Journal of Educational Thought / Revue de la Pensée Educative     Full-text available via subscription  
Journal of Empirical Research on Human Research Ethics     Full-text available via subscription   (Followers: 5)
Journal of Ethics & Social Philosophy     Open Access   (Followers: 27)
Journal of French and Francophone Philosophy     Open Access   (Followers: 4)
Journal of Friends of Lutheran Archives     Full-text available via subscription   (Followers: 2)
Journal of Global Ethics     Hybrid Journal   (Followers: 12)
Journal of Graduate Studies Review     Open Access  
Journal of Humanistic Mathematics     Open Access   (Followers: 1)
Journal of Humanities of Valparaiso     Open Access  
Journal of Indian Philosophy     Hybrid Journal   (Followers: 11)
Journal of Islamic Education     Open Access   (Followers: 1)
Journal of Islamic Ethics     Open Access  
Journal of Islamic Philosophy     Full-text available via subscription   (Followers: 6)
Journal of Japanese Philosophy     Full-text available via subscription   (Followers: 8)
Journal of Law, Medicine & Ethics     Hybrid Journal   (Followers: 23)
Journal of Literature and Trauma Studies     Full-text available via subscription   (Followers: 8)
Journal of Media Ethics : Exploring Questions of Media Morality     Hybrid Journal   (Followers: 14)
Journal of Medical Ethics     Partially Free   (Followers: 32)
Journal of Medical Ethics and History of Medicine     Open Access   (Followers: 17)
Journal of Medicine, Physiology and Biophysics     Open Access  
Journal of Modern Philosophy     Open Access   (Followers: 3)
Journal of Moral Philosophy     Hybrid Journal   (Followers: 36)
Journal of Nietzsche Studies     Full-text available via subscription   (Followers: 5)
Journal of Philosophical investigations     Open Access   (Followers: 2)
Journal of Philosophical Logic     Hybrid Journal   (Followers: 9)
Journal of Philosophical Research     Full-text available via subscription   (Followers: 5)
Journal of Philosophy     Full-text available via subscription   (Followers: 29)
Journal of Philosophy in Schools     Open Access  
Journal of Philosophy, Culture and Religion     Open Access   (Followers: 1)
Journal of Political Philosophy     Hybrid Journal   (Followers: 65)
Journal of Religion and Business Ethics     Open Access   (Followers: 3)
Journal of Religion and Violence     Hybrid Journal   (Followers: 9)
Journal of Responsible Technology     Open Access  
Journal of Scottish Philosophy     Hybrid Journal   (Followers: 2)
Journal of Social Philosophy     Hybrid Journal   (Followers: 27)
Journal of Speculative Philosophy     Full-text available via subscription   (Followers: 6)
Journal of Spiritual Formation and Soul Care     Hybrid Journal  
Journal of the American Philosophical Association     Hybrid Journal   (Followers: 1)
Journal of the Gilded Age and Progressive Era     Full-text available via subscription   (Followers: 9)
Journal of the History of Philosophy     Full-text available via subscription   (Followers: 46)
Journal of the Philosophy of Games     Open Access   (Followers: 1)
Journal of the Philosophy of History     Hybrid Journal   (Followers: 15)
Journal of the Philosophy of Sport     Hybrid Journal   (Followers: 6)
Journal of the Sociology and Theory of Religion     Open Access   (Followers: 2)
Journal of the Warburg and Courtauld Institutes     Full-text available via subscription   (Followers: 6)
Journal of Theoretical & Philosophical Psychology     Full-text available via subscription   (Followers: 4)
Journal of Urdu Studies     Hybrid Journal  
Journal of Values Education / Değerler Eğitimi Dergisi     Open Access  
Journal of World Philosophies     Open Access   (Followers: 1)
Juris (Jurnal Ilmiah Syariah)     Open Access  
Jurisprudence     Hybrid Journal   (Followers: 17)
Jurnal Dinamika Penelitian : Media Komunikasi Penelitian Sosial Keagamaan     Open Access  
Jurnal Ekonomi dan Bisnis Islam (Journal of Islamic Economics and Business)     Open Access  
Jurnal Filsafat     Open Access  
Jurnal Konseling Gusjigang     Open Access  
Jurnal Living Hadis     Open Access  
Jurnal Theologia     Open Access  
Jurnal Ushuluddin     Open Access  

  First | 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]
  • 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-05-07
       
  • 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
       
  • 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-05-03
       
  • 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
       
  • 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-04-25
       
  • 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-04-25
       
  • 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-04-25
       
  • 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-04-09
       
  • Logic and Majority Voting

    • Free pre-print version: Loading...

      Abstract: Abstract To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox.
      PubDate: 2022-04-01
       
  • Did Descartes make a Diagonal Argument'

    • Free pre-print version: Loading...

      Abstract: Abstract This paper explores the idea that Descartes’ cogito is a kind of diagonal argument. Using tools from modal logic, it reviews some historical antecedents of this idea from Slezak and Boos and culminates in an orginal result classifying the exact structure of belief frames capable of supporting diagonal arguments and our reconstruction of the cogito.
      PubDate: 2022-04-01
       
  • On Representations of Intended Structures in Foundational Theories

    • Free pre-print version: Loading...

      Abstract: Abstract Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power and meta-theoretic properties when comparing first-order and second-order logic.
      PubDate: 2022-04-01
       
  • Multi-Path vs. Single-Path Replies to Skepticism

    • Free pre-print version: Loading...

      Abstract: Abstract In order to reply to the contemporary skeptic’s argument for the conclusion that we don’t have any empirical knowledge about the external world, several authors have proposed different fallibilist theories of knowledge that reject the epistemic closure principle. Holliday (Journal of Philosophical Logic, 44(1), 1–62 2015a), however, shows that almost all of them suffer from either the problem of containment or the problem of vacuous knowledge or both. Furthermore, Holliday (2015b) suggests that the fallibilist should allow a proposition to have multiple sets of relevant alternatives, each of which is sufficient while none is necessary, if all its members are eliminated, for knowing that proposition. Not completely satisfied with Holliday’s multi-path reply to the skeptic, the author suggests a new single-path relevant-possibility theory of knowledge and argues that it can avoid both the problem of containment and the problem of vacuous knowledge of a certain sort while rejecting skepticism about the external world.
      PubDate: 2022-04-01
       
  • Proofs, Grounds and Empty Functions: Epistemic Compulsion in
           Prawitz’s Semantics

    • Free pre-print version: Loading...

      Abstract: Abstract Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to (valid) inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which valid inferences and proofs are recognisable as such; a reconstruction of the deductive activity that makes inferences capable of yielding justification per se. These topics are discussed by Prawitz with reference to a very general and ancient question: why and how correct deduction has the epistemic power to compel us to accept its conclusions, provided its premises are justified' We conclude by remarking that, in spite of some improvements, the ground-theoretic approach shares with the previous one a problem of vacuous validity which, as Prawitz himself points out, blocks in both cases a satisfactory explanation of epistemic compulsion.
      PubDate: 2022-04-01
       
  • Choice-Driven Counterfactuals

    • Free pre-print version: Loading...

      Abstract: Abstract In this paper, we investigate the semantics and logic of choice-driven counterfactuals, that is, of counterfactuals whose evaluation relies on auxiliary premises about how agents are expected to act, i.e., about their default choice behavior. To do this, we merge one of the most prominent logics of agency in the philosophical literature, namely stit logic (Belnap et al. 2001; Horty 2001), with the well-known logic of counterfactuals due to Stalnaker (1968) and Lewis (1973). A key component of our semantics for counterfactuals is to distinguish between deviant and non-deviant actions at a moment, where an action available to an agent at a moment is deviant when its performance does not agree with the agent’s default choice behavior at that moment. After developing and axiomatizing a stit logic with action types, instants, and deviant actions, we study the philosophical implications and logical properties of two candidate semantics for choice-driven counterfactuals, one called rewind models inspired by Lewis (Nous 13(4), 455–476 1979) and the other called independence models motivated by well-known counterexamples to Lewis’s proposal Slote (Philos. Rev. 87(1), 3–27 1978). In the last part of the paper we consider how to evaluate choice-driven counterfactuals at moments arrived at by some agents performing a deviant action.
      PubDate: 2022-04-01
       
  • The Dynamics of Argumentative Discourse

    • Free pre-print version: Loading...

      Abstract: Abstract Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as ‘therefore’. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of ‘therefore’, as well as for uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. We argue that a comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and different flavors of argument connectives.
      PubDate: 2022-04-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-03-24
       
  • 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-02-25
      DOI: 10.1007/s10992-022-09653-9
       
  • Meaning-Preserving Translations of Non-classical Logics into Classical
           Logic: Between Pluralism and Monism

    • Free pre-print version: Loading...

      Abstract: Abstract In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value (sec. 1). Is a non-circular justification of a logical system possible' This question attains particular importance in view of lasting controversies about classical versus non-classical logics. In this paper the question is answered positively, based on meaning-preserving translations between logical systems. It is demonstrated that major systems of non-classical logic, including multi-valued, paraconsistent, intuitionistic and quantum logics, can be translated into classical logic by introducing additional intensional operators into the language (sec. 2–5). Based on this result it is argued that classical logic is representationally optimal. In sec. 6 it is investigated whether non-classical logics can be likewise representationally optimal. The answer is predominantly negative but partially positive. Nevertheless the situation is not symmetric, because classical logic has important ceteris paribus advantages as a unifying metalogic.
      PubDate: 2022-02-01
      DOI: 10.1007/s10992-021-09608-6
       
  • Validities, antivalidities and contingencies: A multi-standard approach

    • Free pre-print version: Loading...

      Abstract: Abstract It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. (Journal of Philosophical Logic, 1–28, 2019) and Pailos (The Review of Symbolic Logic, Forthcoming) recovers classical logic, either in the sense that every classical (meta)inferential validity is valid at some point in the hierarchy (as is stressed in Barrio et al. (Journal of Philosophical Logic, 1–28, 2019)), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos (The Review of Symbolic Logic, Forthcoming)—, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler (Journal of Philosophical Logic, 49, 351–370, 2020) presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth.
      PubDate: 2022-02-01
      DOI: 10.1007/s10992-021-09610-y
       
  • Selective Base Revisions

    • Free pre-print version: Loading...

      Abstract: Abstract Belief Revision addresses the problem of rationally incorporating pieces of new information into an agent’s belief state. In the AGM paradigm, the most used framework in Belief Revision, primacy is given to the new information, which is fully incorporated into the agent’s belief state. However, in real situations, one may want to reject the new information or only accept a part of it. A constructive model called Selective Revision was proposed to meet this need but, as in the AGM framework, focused on belief sets (sets closed under logical consequence). In this paper we adapt the selective revision operators, that were proposed for belief sets, to the belief base context, obtaining a model in which an agent’s epistemic state is represented by a belief base and that allows the acceptance of only part of the new information. We present several representation theorems for selective base revision operators based on different base revision operators.
      PubDate: 2022-02-01
      DOI: 10.1007/s10992-021-09606-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: 35.172.111.71
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-