Science topics: PhilosophyPhilosophical Logic

Science topic

# Philosophical Logic - Science topic

Explore the latest publications in Philosophical Logic, and find Philosophical Logic experts.

Publications related to Philosophical Logic (622)

Sorted by most recent

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...

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...

Philosophical issues often turn into logic. That is certainly true of Moore’s Paradox, which tends to appear and reappear in many philosophical contexts. There is no doubt that its study belongs to pragmatics rather than semantics or syntax. But it is also true that issues in pragmatics can often be studied fruitfully by attending to their projecti...

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is —as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical formalizations of normative reasoning in philosophical logic and AI; on the other hand, subordination algebras,...

This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitive-specificative, and the standard propositional-functional. These types...

Logicians participating in this conference stand united for peace. Logic4Peace invited contributions in any area of logic, including: • philosophical logic, philosophy of logic and history of logic; • mathematical and computational logic; • applied logic and logical structures used in science and the humanities. All registration fees and donations...

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 almo...

In this paper, by slightly generalizing an observation of Dalla Chiara and Giunti-ni in their chapter on quantum logic in Handbook of Philosophical Logic, we propose a relational semantics for propositional language with negation and conjunction, which unifies the relational semantics of intuitionistic logic and that of ortho-logic. We study the se...

The paper explores new dimensions of meanings in Tawfik Al-Hakim's play The Tree Climber by adopting a possible world theory perspective that is characterized by its interdisciplinarity that lies in its fusion of philosophical logic, literary theory, philosophy of science, linguistics and aesthetics.

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) recov...

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and r...

Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism (Thomason in Theoria 36(3):264–281, 1970; Thomason, in: Gabbay, Guenthner (eds) Handbook of philosophical logic, Springer, Berlin, 1984), which preserves im...

This paper extends the theory of situated inference from Mares (Relevant logic: a philosophical interpretation. Cambridge University Press, Cambrdge, 2004) to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation a...

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a n...

Building on early work by Girard (1987) and using closely related techniques from the proof theory of many-valued logics, we propose a sequent calculus capturing a hierarchy of notions of satisfaction based on the Strong Kleene matrices introduced by Barrio et al. (Journal of Philosophical Logic 49:93–120, 2020) and others. The calculus allows one...

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb ( Journal of Philosophical Logic 48:305–405, 2019) as a logic for hyperintensional contexts. On the one hand we introduce a simple $$\mathbf{G1}$$ G 1 -system employing rules of contraposition. On the oth...

The aim of this paper is to bring to light the pattern underlying botanical nomenclature in the Renaissance. The analysis shows that this nomenclature was conceived within the framework of the Renaissance episteme, i.e. with-in a logical and religious framework and that it is characterized by a three-fold purpose: the appellations must give an esse...

Conservation of forests and ecology is one of the pressing needs of human kind today. The topic is widely spoken about in academic circles, various local, national and international forums and also Pope Francis has stressed on the importance of caring for our common home, especially in his encyclical 'Laudato Si'. In this paper, I shall present how...

The trivalent and functional theory of the truth of conditionals developed by Bruno de Finetti has recently gathered renewed interests, particularly from philosophical logic, psychology and linguistics. It is generally accepted that de Finetti introduced his theory in 1935. However, a reading of his first publications indicates an earlier conceptio...

Barrio et al. ( Journal of Philosophical Logic , 49 (1), 93–120, 2020) and Pailos ( Review of Symbolic Logic , 2020 (2), 249–268, 2020) develop an approach to define various metainferential hierarchies on strong Kleene models by transferring the idea of distinct standards for premises and conclusions from inferences to metainferences. In particular...

In every aspect of scientific research, model predictions need calibration and validation as their representativity of the record measurement. In the literature, there are a myriad of formulations, empirical expressions, algorithms and software for model efficiency assessment. In general, model predictions are curve fitting procedures with a set of...

Kremer presented three approaches of comparing fixed-point and revision theories of truth in Kremer (Journal of Philosophical Logic, 38(4), 363–403, 2009). Using these approaches, he established the relationships among ten fixed-point theories suggested by Kripke in (Journal of Philosophy, 72(19), 690–716, 1975) and three revision theories presente...

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in ( Journal o f Philosophical Logic , 49 , 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness resu...

In a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the system is demonstrated by showing the derivability of the axiomatization of dstit from Belnap et al. (Facing the f...

This book is divided into two parts, "Argumentation in Critical Discourse Analysis" and "Questions and Doubts about Visual Argumantation", each part containing two chapters. In the first chapter, "Topoi in Critical Discourse Analysis", I am concerned with how topoi are used (and misused) in the Discourse-Historical Approach. The Discourse-Historica...

This article explores the Aristotelian logic and the sentential logic in explaining Jesus Christ as described in Manunggaling Kawula Gusti concept. First, it studies the dimensions of Jesus as the manifestation of manunggaling kawula, a concept that roots in Kejawen spirituality. Second, to analyze the feature of divinity-humanity union in Manungga...

In the introduction, we discuss the inadequate reception of Polish
scientists and scholars in the world of scientific and academic ideas. This nonreception
can be attributed to the tragic historical situation of the country – the
Hecatomb suffered by Poland. The philosophical logic heritage of Jerzy Łoś is one such
forgotten discovery. The present...

This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a...

John Damascene’s use of philosophical logic in his theological treatises has remained a somewhat unclear subject. We know that John compiled purely logical and philosophical works, such as the Institutio Elementaris and the Dialectica . But it is not clear how much, if at all, John’s purely philosophical projects contributed to his later theologica...

Stone representation theorems are a central ingredient in the metatheory of philosophical logics and are used to establish modal embedding results in a general but indirect and non-constructive way. Their use in logical embeddings will be reviewed and it will be shown how they can be circumvented in favour of direct and constructive arguments throu...

In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is center...

Recent historical discussion of conceptual engineering by analytic philosophers has largely focused on precedents for contemporary conceptual engineering within the history of analytic philosophy. However, I suggest that we can and should look outside of the analytic tradition for further examples of conceptual engineering, and inspiration for furt...

In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built...

The thesis investigates logical and computational aspects of normative reasoning using deontic logic and theorem provers. This interdisciplinary study draws inspiration from logic-based knowledge representation in Artificial Intelligence, deontic modality in Linguistics, and Philosophical Logic. The modal logic and norm-based paradigms in deontic l...

This paper tries to discuss how Western philosophy critically examined the thought of Thomas Aquinas in the scholastic era. The scholastic era or known medieval philosophy whose style is the philosophy of collaborating with theology in harmony. Philosophy in the scholastic era gave birth to many famous theologians-philosophers, one of whom was Thom...

RESUMEN: La siguiente investigación es de naturaleza historiográfica y tiene como objetivo ofrecer datos relativos al origen y evolución de la definición lexicográfica em-pleada en los diccionarios generales del español, así como una perspectiva general de su desarrollo. Para su realización se han tomado dos tipos de fuentes: textos metalin-güístic...

Many philosophy majors are shocked by the gap between the relative ease of lower-level philosophy courses and the difficulty of upper-division courses. This book serves as a necessary bridge to upper-level study in philosophy by offering rigorous but concise and accessible accounts of basic concepts and distinctions that are used throughout the dis...

This paper presents a new approach in arriving at a solution to the ongoing debate on the existence of intelligent design within Darwinian evolution. Remarkably, biologists and theologians at least have committed the classic fallacy of Cartesian elimination-there are more unthought-of alternatives than the mutual exclusion or synthesis of creationi...

Following Smiley’s (The Journal of Symbolic Logic, 28, 113–134 1963) influential proposal, it has become standard practice to characterise notions of relative necessity in terms of simple strict conditionals. However, Humberstone (Reports on Mathematical Logic, 13, 33–42 1981) and others have highlighted various flaws with Smiley’s now standard acc...

Recent work has clearly established the fundamental place of the siddhis in almost all Indic mokṣa traditions. This paper seeks to excavate a fundamental metaphysical dimension to this phenomenon, by excavating the philosophical logic of these claims from within the contours of Sāṃkhya metaphysics as expressed in the Yoga Sūtras of Patañjali. It wi...

Over the last four decades, environmental ethics has become an increasingly significant field of philosophy. Yet, many of its practitioners question its goals and effectiveness. Above all, environmental philosophers voice uncertainty about the extent to which the field has been able to influence action, behaviour, and policy in relation to the envi...

Refutation systems are systems of formal, syntactic derivations, designed to derive the non-valid formulas or logical consequences of a given logic. Here we provide an overview with comprehensive references on the historical development of the theory of refutation systems and discuss some of their applications to philosophical logics.

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hiera...

There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle (Journal of Philosophical Logic, 46, 215–231, 2017): either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, an...

Martin Heidegger's philosophy is famous for being unusually rich. It ranges over technology, poetry, theology, history, and many other subjects. In this paper, I focus my attention on two topics which are particularly close to the hearts of analytic philosophers: logic and language. I show that Heidegger faces two different kinds of paradoxes: an o...

In private correspondence in 1923-24, both Edgeworth and Wilson admitted to each other that it was impossible for them to follow Keynes’s presentation in Part II of the A Treatise on Probability (1921). In fact, Wilson stated that it was a mistake on his part to have even attempted a review of the A Treatise on Probability in 1923. Keynes’s book ap...

In Hannes Leitgeb's article What truth depends on [10] the author provides a formally correct and materially adequate truth definition for the set of all grounded sentences, defined as the least xed point of a monotone operator of semantic dependence.
In this paper we will focus on the mathematical aspects of Leitgeb's notions of dependence, ground...

We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing (Journal of Philosophical Logic, 47(2), 259–279, 2018).

Linguistics is a young academic discipline, when compared to, say, philosophy or history. For example, the first linguistics department in the UK was founded in 1944. However, there are historical antecedents in the study of language dating back at least to classical antiquity and ancient India. Two of the most important ancestors of modern linguis...

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature (see, e.g. Mares, Studia Logica 51(1), 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71(1), 163–187, 2006), stratified semantics has overall received much...

The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ‘f...

Contingency and accident are two important notions in philosophy and
philosophical logic. Their meanings are so close that they are mixed up sometimes, in
both daily life and academic research. This indicates that it is necessary to study them
in a unified framework. However, there has been no logical research on them together.
In this paper, we pr...

It is with great pleasure that I introduce the first edition of An Illustrative Dictionary of Semantics (ILLUDS). As an assistant professor of English Language and Literature with over twenty years of teaching linguistics and literature courses, it has always been my concern to provide a comprehensive guide to semantic concepts and issues as a comp...

في هذا الفصل نقدم لمحة بسيطة عن المنطق الرياضي أو ما يعرف بالمنطق الرمزي، وهو فرع من فروع الرياضيات وله صلة بعلوم الكمبيوتر والمنطق الفلسفي.وهذا الفصل يقتصر علي منطق حساب الجمل ولا يقدم مساق شامل لموضوع المنطق , فأهمية قواعد المنطق لا تقتصر علي دراسة علاقتها بالقضايا الرياضية, وإنما في استخدماها في كثير من التطبيقات العملية في مجال علوم الحاسوب.
I...

The article analyzes methodological approaches to constructing a didactic model of specialist courses in Ukraine and France. It is found that the main elements of higher education are knowledge, modes of activity (abilities, skills), creative search activities and emotional education. It is specified that knowledge is a system of determined acquire...

Research is one of core requirement at postgraduate level whose immediate key output is a dissertation/thesis. This condition in postgraduate training is intended to providethe learner with a skills-set and knowledge to independently carry-on and conduct research projects for informed decision making at operational and/or strategic levels.Likewise,...

Psychological research on people's understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A th...

Alfred Tarski’s refinement of an account of truth into a formal system that turns on the acceptance of Convention-T has had a lasting impact on philosophical logic, especially work concerning truth, meaning, and other semantic notions. In a series of studies completed from the 1930s to the 1960s, Arne Næss collected and analysed intuitive responses...

My first section considers Walter J. Ong's influential analyses of the logical method of Peter Ramus, on whose system Milton based his Art of Logic. The upshot of Ong's work is that philosophical logic has become a kind monarch over all other discourses, the allegedly timeless and universal method of mapping and diagramming all concepts. To show ho...

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general natu...

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed sometimes, in both everyday discourse and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper,...

The aim of this study was to analyze the concept of legal reasoning. This task included the need of former analysis of the meaning of the concept of reasoning from the point of view of such areas as philosophy, logic, or the art of rhetoric, and a provision of definition of a particular kind of reasoning, which is usually described as a legal reaso...

This paper investigates the “general” semantics for first-order logic introduced to Antonelli (Review of Symbolic Logic 6(4), 637–58, 2013): a sound and complete axiom system is given, and the satisfiability problem for the general semantics is reduced to the satisfiability of formulas in the Guarded Fragment of Andréka et al. (Journal of Philosoph...

Contemporary philosophical logic rests on a distinction between things and properties. Properties are thought to differ from things in that their proper expression is incomplete or unsaturated. In this paper, I will argue that Aristotle did not distinguish between things and properties in this way. I will show, first, that Aristotle’s essences are...

The grammar of the Arabic language is complex and plural, and is built in its ramifications and multiplicity on the basis of philosophical logic. The difficulty of Arabic grammar and the complexity of it is almost agreed among those who teach the language, but we must decide that this difficulty does not stand a barrier to education and that it is...

This book enriches our views on representation and deepens our understanding of its different aspects. It arises out of several years of dialog between the editors and the authors, an interdisciplinary team of highly experienced researchers, and it reflects the best contemporary view of representation and reality in humans, other living beings, and...

Since Fodor 1970, negation has worn a Homogeneity Condition to the effect that homogeneous predicates (e.g., (1), (2)) denote homogeneously—all (1) or nothing (2)—to characterize the meaning of (1)–(2) when uttered out-of-the blue, in contrast to (3)–(4):The mirrors are smooth.
The mirrors are not smooth.
The mirrors circle the telescope’s reflecto...

Philosophy and Computer science
Philosophy
Analytical philosophers (Frege, Russell, Wittgenstein (1), Moore and others) have accepted proposals for centuries to discover the essence of the logic. The problem is that many philosophical works dig deep, with the result that a relationship with the practice of all day is not easy. Ludwig Wittgenstein...

Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka (1962). Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of "k...

This paper explores the ambiguous nature of two principles of international law -self-determination and territorial integrity - illustrating the controversial nuances of international law on a political level, nuances with which the Crimean crisis has been described. Multiple paradigms will be applied to interpret the juristic status of the quoted...

(Journal of Philosophical Logic, 47-1:67-94, 2018. First online December 2016)(Read-only version available at http://rdcu.be/ncjp )
The contribution of this paper lies with providing a systematically specified and intuitive relational interpretation pattern for a large class of logical operators on an underlying non-distributive proposi-tional cal...

Today, the division of zero by zero (0/0) is a concept in philosophy, mathematics and physics without a definite solution. On this view, we are left with an inadequate and unsatisfactory situation that we are not allowed to divide zero by zero while the need to divide zero by zero (i.e. divide a tensor component which is equal to zero by another te...

As documented by the papers in this volume, which mostly result from the second conference on proof-theoretic semantics in Tübingen 2013, proof-theoretic semantics has advanced to a well-established subject in philosophical logic.

Cognitive semantics has been proposed by Gärdenfors (2000) as an alternative to truth-conditional semantics that models the relationship between language and mental representations of cognitive agents. Similar motivations emerged in philosophical logic, since a number of non-classical logics have been interpreted as modelling the reasoning capabili...

Abstract: This study examines the problématique of epistemological
cognizance in modern Turkish language. The status of a language has
a fundamental and functional impact on the process of thinking and
knowledge because it fabricates the historical and conditional causalities
of knowledge. Regarding the logic of philosophy, the Turkish language
con...

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In
the presence of certain extensionality axioms they produce classical logic, while in the
presence of weaker decidability conditions for terms they produce various superintuitionistic
intermediate logics. In this thesis, I argue that there are important philoso...

Abstract id 23333
Abstract category
A2. Philosophical Logic
Abstract presentation type
Contributed papers
Abstract title
Sharpening Logical Independence
Abstract authors
Alberto A.M. Mura, Università degli Studi di Sassari, Dipartimento di Storia, Scienze dell'Uomoe della f, ITALY
Abstract text
A set of elements of a Boolean algebra (BA) is called...

Since Fodor 1970, negation has worn a Homogeneity Condition: homogeneous predicates (e.g., (1), (2)) are said to denote homogeneously—all (1) or nothing (2)— in contrast to non-homogeneous predicates (3)-(4):
(1) The mirrors are smooth.
(2) The mirrors are not smooth.
(3) The mirrors circle the telescope's reflector.
(4) The mirrors do not circl...

Nagarjuna's Mulamadhyamakakarika contains important philosophical and logical issues. If we interpret them in the language of Western Philosophical Logic we see that they have immense relevance to day . The proposed paper is to show how Nagarjuna in the India denied the so-called Law of Excluded Middle(LED) without arriving at any logical contradic...

Precisely due to the ubiquity of the logic in the human activity, the field has constituted a temptation for researchers in the area of mathematics, cybernetics and even artificial intelligence, fields that gradually take over logic from the hands of philosophers, articulating it as a new organon of science, in its attempt to formalize and even dig...

I argue in favor of a distinctive generic form of essence and ground and show how the two notions thereby complement one another as forms of necessary and sufficient condition.

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and...

Trinity is a complex concept derived from christian religious belief. It is related to the nature of God and asserts that God is one substance composed by three persons: the Father, the Son and the Holy Spirit. Prima facie, this definition seems to violate classical logic principles of identity and non-contradiction. For, the numerical predicates b...

1. Why were you initially drawn to the philosophy of logic? 2. What are your main contributions to the philosophy of logic? 3. What is the proper role of philosophy of logic in relation to other disciplines, and to other branches of philosophy? 4. What have been the most significant advances in the philosophy of logic? 5. What are the most importan...

We give clear algebraic sense to logical opposition by providing negation-free lattice theoretic lattice-theoretic definitions for the concepts around the notori-ous square of opposition. These include contradiction, contrariety, subcontrariety, the square and the hexagon of opposition, etc. This constitutes a platform for an analysis of the mathem...

Charles Sanders Peirce (1839-1914) was an accomplished scientist, philosopher, and mathematician, who considered himself primarily a logician. His contributions to the development of modern logic at the turn of the 20th century were colossal, original and influential. Formal, or deductive, logic was just one of the branches in which he exercized hi...

In this article author has taken into consideration the potential meanings of power which
media seem to possess. Understanding the notion of the fourth estate (as media used to be
named) has been connected with distinguished typology of media power (in a proposal
form): power as a mediatisation; power as an impact; power as a function; and, last bu...

System theory, and most particularly hierarchy theory, must be consistent with philosophy. In his book “Logic in Reality”, Brenner reinforces the traditional philosophic position that an entity can only exist in relation to its non-existence. This leads to a duality in system theory which is consistent with the selective division of Nature into ent...

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and...

Philosophical logic defined a metalanguage as a language about a language. After that, the word "metapicture" was used by Mitchell to identify a picture about a picture. Once we are not dealing with language, we may think that we are not dealing with signification. However, the word "meta" and its aboutness may assume that a picture has to be inter...

This essay is about how four deeply important Kantian ideas can significantly illuminate some essentially intertwined issues in philosophical theology, philosophical logic, the metaphysics of agency, and above all, morality. These deeply important Kantian ideas are: (1) Kant's argument for the impossibility of the Ontological Argument, (2) Kant's f...

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarskitextquoteright}s T-schema: textquoteleftSnow is whitetextquoteright is true if and only if snow is white. Instead of being a property...

This PhD thesis is an extended critical investigation of Martin Heidegger’s influential account of the problem of phenomenality, i.e., of how things show up as meaningful phenomena in our experience. As such, it is also a study of his effort to develop and probe the question of phenomenology, i.e., what it means to see, understand, and articulate s...

Reseña del libro del filósofo Roy T. Cook, A dictionary of philosophical logic, obra en que se presenta un panorama adecuadamente perfilado del ámbito temático cubierto por la lógica filosófica, a través de más de mil quinientas entradas.

This special issue of the Journal of Philosophical Logic contains a selection of papers presented at the 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT10), which took place at the University of Sevilla (Spain), July 18-20, 2012.

In this note, I respond to comments by Paul Egré and Xu Zhaoqing on my “Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism” (Journal of Philosophical Logic).