I argue that mystical experience essentially involves two aspects: an element of direct encounter with God, and an element of union with God. The framework I use to make sense of is taken largely from William Alston’s magisterial book Perceiving God. While I believe Alston’s view is correct in many essentials, the main problem with the account is that it divorces the idea of encountering or perceiving God from the idea of being united with God. What I argue, on the (...) contrary, is that because our experience of God is an experience of a relationship-seeking, personal being, it brings with it an important element of union that Alston overlooks. (shrink)

Mysticism claims of its logical scheme that it is Euclidean, that from its first axiom or principle the remainder of its doctrine follows, but it makes this claim in so many languages and in such a variety of obscure and self-contradictory ways that it is difficult to discern how this could be possible, and it is rarely considered a plausible claim in metaphysics. I believe it is plausible, and in this essay I try to explain why. -/- .

The purpose of this paper is to demonstrate how Bertrand Russell depicts the relation of mysticism to three other areas of human activity: philosophy, science, and religion, and thus: its special role. In his essay Mysticism and Logic (1914), Russell defines mystical thinking as beliefs in (1) the existence of special insight, (2) the unity of all things, (3) the unreality of time, and (4) the effacement of the boundaries between good and evil. Although he considers full (...) mysticism – as a belief about the ontic structure of the world – to be erroneous – as a life attitude he attributes to it an element of wisdom that is lacking in other areas of human intellectual activity. Mysticism proves wrong also at the epistemological level, i.e. as a certain test of truth. But in its spirit of inquiry, it contains something that science also benefits from, and from which, therefore, scientific philosophy should take its cue. What additionally gives mysticism its value is the claim of impartial contemplation which gives rise to an attitude of love towards the whole world. Significantly, it was the combination of the best features of mystical thinking with scientific thinking and method which gave rise to Russell’s advocacy of scientific philosophy. In light of this, I argue that according to Russell mysticism is not an exclusively religious phenomenon, which is demonstrated, among other things, by the fact that he attributes two aspects of mysticism to the field of mathematics. (shrink)

William James was one of the most controversial philosophers of the early part of the 20 century, and his apparent skepticism about logic and any robust conception of truth was often simply attributed to his endorsing mysticism and irrationality out of an overwhelming desire to make room for religion in his world-view. However, it will be argued here that James’s pessimism about logic and even truth (or at least ‘absolute’ truth), while most prominent in his later views, (...) stem from the naturalistic conception of concepts developed much earlier in The Principles of Psychology (1890), and it is his commitment to naturalism about our conceptual powers, rather than to any sort of mysticism or irrationalism, that motivates his skepticism about the scope and power of logic, and ultimately about the objectivity of truth itself. (shrink)

This paper presents a deductive proof for the necessary existence of objective truth and reality, addressing core philosophical challenges across multiple frameworks, including modernism, postmodernism, relativism, and radical skepticism. By starting with the undeniable fact of subjective experience, the argument demonstrates that rationality presupposes subjectivity, which in turn relies on the classical laws of logic. These laws cannot be grounded within subjectivity or rationality without falling into circular reasoning. Therefore, the proof establishes that objective reality must serve as the (...) ground for these logical laws, while objective truth provides their validation. This foundational framework resolves key philosophical problems, including infinite regress and self-justification, allowing for coherent philosophical thought. Furthermore, the paper explores conceptual parallels between this proof and elements of mysticism, pragmatism, and religious notions of divinity, suggesting a unified foundation that can empower individual contributions to the collective pursuit of truth. (shrink)

Giving justice to Maximus any philosophy wich does not include mysticism will be false as philosophy. Our metaphysics must be mystical in order to be rational. In Maximus’ doctrine, then, Christ comes not to destroy but to fulfill the metaphysics of mystery elaborated by the philosophers. For him there can be no separation between philosophy and theology, or between natural and revealed theology. Thereby, Christology and liturgical mysticism are not additional to a neoplatonic, aristotelian, and other methaphysics. Maximus (...) concern was to continue, not the philosophical tradition of the Aristotelian commentators, but the theological one of the Fathers. He was not an Aristotelian commentator himself. The union and distinction are basic logical concepts in Maximus’ thinking, but the Chalcedonian logic is the application of these concepts. Only in this way one can talk about Christianization of aristotelian logic. St. Maximus the Confessor synthesized Aristotelianism influences with those of Platonism in order to exceed the daring speculations of cosmology origeniene. He had an extraordinary ability to combine metaphysical requirements with the effort of defining the faith dogma, and the monastic experiences with the depth thinking, succeeding to propose a new conception in which converge all cultural and religious influences. This study is analyzing the relationship between logoi and energeia (the intentional or “logical” energeia and the ontology of divine energy as ontological “logic”) within the maximian cosmology, by referring to the palamite theology. The concept of logoi for St. Maximus play a role similar in many respects to that of energy (energeiai) in Cappadocian Fathers, but the functional similarity it should not lead to the identification rationales with the energies. (shrink)

This paper argues that the Islamic metaphysical vision finds its Western philosophical counterpart in Anna-Teresa Tymienecka's Phenomenology of Life. Comparative analysis of the main categories and strategies of knowledge in Islamic metaphysics and the Phenomenology of Life demonstrates obvious similarities, but also significant distinctions whereby the systems can be viewed as complementary. Tymieniecka’s philosophy begins with epoché on preceding philosophical knowledge, while Islamic philosophy begins with revelation. Tymieniecka uses presuppositionless phenomenological direct intuition combined with reflective analysis, while Sufi metaphysics combines (...) logic, intuitio,n and reliance on the experience attained in states of mystical perception. Unification of Reality and realization of truth in the Phenomenology of Life is attained via phenomenological intuition of life in all forms of experience, and in Islam, via certainty attained in religious experiences of unveiling. Due to its refocusing on the dynamic moments of the ontopoiesis of life, Tymieniecka’s ontology serves as a possible solution to the problems incurred by the more static metaphysical vision of Reality in Sufism. (shrink)

There are two fundamental questions that this paper tries to answer: how Zubiri knows God, and whether we can consider his philosophy to be mysticism. The greatest part of the analysis considers the last ten years of his philosophical activity. The first part of the paper analyzes the mature form of his method, which Zubiri revealed in his Trilogy. A brief presentation is made of primordial apprehension, logos and reason. Zubiri’s method goes beyond orthodox phenomenology, because he finds a (...) need also to include metaphysics. The second part of the article applies this method in order to know God. It begins with an analysis of the person in the process of construction of its I. Zubiri analyzes this mostly in Man and God. We can access God only on the metaphysical level of knowledge. On this path he rejects logic and speculation. On our way to know God we must confront the presumed sketch of God with human personal life. We can discover human life only by following strictly the sui generis phenomenological method. The conclusion that Zubiri reaches is that there is a personal absolute God, who influences humans in the construction of the I through the reality of things. On certain conditions, we can call Zubiri’s approach to philosophy a mystical one. This is due to the constant action of God creating a certain tension between the person and reality and a need for a personal answer to the divine action. (shrink)

Another spiritual adventure from a modern master. Adi Da is certainly one of the most powerful enlightened beings of modern times and his spritual autobiography ``The Knee of Listening`` (1978 originally, but revised and enlarged continually-see my review) is probably the most detailed and fascinating personal account there is of the process of enlightenment. He is a very smart and a good writer with a substantial output. However when speaking he is far less interesting as can be seen here or (...) in any of the videotapes available from the Adi da web page. This book is mostly transcribed from his talks to the small group of devotees with whom he lives on a small island in Fiji. It will mostly be valuable only to those who have followed him for many years and know his jargon and style and who practice his meditation or sit in his presence. Others will find it very tough going if not downright boring as he tries to convey the ineffable state of enlightenment). -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016’ 662p (2016). (shrink)

This essay proposes to rethink the conceptual associations that bind immanence to the secular and oppose it to (divine) transcendence. It asks: What if immanence is divorced from the conceptual opposition between the world and its openings to (divine) other(s), between enclosure and the trace of a transcendent outside? What might arise if immanence is severed from its link with secularity, if it ceases to be merely another conceptual support in secularism’s metaphysical armature? To pursue these questions, the essay engages (...) a variety of materials, including medieval mysticism, anthropological critiques of the secular, work in Black studies, critiques of the subject, and François Laruelle’s non-philosophical thought. The result links immanence more intimately with dispossession than with the subject’s self-possession—and entwines it with the undercommons, as the atopic lowest place, rather than with the nomos and topos imposed by the (modern) world and its regime of the proper. Immanence is thought of as anti- and antenomian force, a groundless ground coming underneath the conceptual logics of the world, its normative order of things, and life lived according to its distributions. As a result, rather than a weapon in modernity’s endless self-justifying polemics with religion, immanence opens forth trajectories for its destitution and delegitimation. (shrink)

If this can be seen as a long way from the beginning of the ancient history, where humans have envisioned different new things and then invented them to make their life’s working smoother and easier, then it can be found that they have attributed their discoveries to various aspects and names of Gods and tried to signify their belief in the form of portraying the God’s powers through the nature of their discovery. Rather, in much modern times, when humans have (...) developed the natural insights and prorated those in the form of a much more logically biased discovery, then, the atheists have started to dominate the scientific arena for their foreplay in the work of their discoveries. However, as time passes by, five special types of research communities have gathered to allocate their discovered data’s in the respective norms as such, i) Atheists to whom, there is in essence no God and nothing in this universe can be attributed to them. ii) Believer of only one God as a whole, where the principle of religious biasing is effluent and supreme in their regards of the physical laws associated with the life and stimuli, iii) Believer of multiple God’s as a whole which poses no such scientific evaluation but can be thought of as a conjugate mechanism for the creator of the universe, iv) A divine supreme, where there is exactly no God, but the whole universe is a manifestation of the nature, where nature indirectly focuses the presence of God’s or the supreme creator that maintains symmetry and working of the universe, v) The not-so-sure about mechanism of the God’s presence, where the researcher sometimes tends to belief in God when something magical happens and attribute all to their divine grace, or in times of failures where they accused them for not being philosophically intrinsic as to their own needs, and in times with the believe that, ‘we won’t believe what we can’t see!’, either in the middle of the good or bad moments or in general in a casual and carefree mode. But, this should be kept in mind, that, the Eastern mysticism has always signifies God’s action in terms of every scientific actions with a proper mythological essence which when accompanied by knowledge produces something so scientific in the ancient of the days, that modern day researchers also have had no options left than to attribute affirmation to the fantastic achievements in the ‘so’ ancient times discovery with a strict modern effluence. Therefore, to model this paper, I have gathered data’s and ideas from researchers of various fields mostly (PhDs) in their respective discipline, so as to emulate their minds in the norms of God and its associated beliefs. (shrink)

The issue of the article is whether the experience of Beauty or love in Plato can be considered as some kind of religious experience. First, the article describes different views on the religious experience. Then it deals with Plato's view on beauty and love and their relationship. finally, demonstrating the divinity of Beauty in Plato, the article shows that if religious experience is an encounter of the experiencer with the divine being, or in religious term God, that manifests itself in (...) various forms, and that encounter is accompanied by a direct conscious of the divine being, then the experience of Beauty or love in Plato can be considered as a kind of religious experience. The article merely claims that the experience of Beauty or love is an instance of religious experience, and it does not have any epistemological view on religious experience, however, any epistemological view on religious experience logically includes the experience of Beauty or love. -/- Key words: religious experience, beauty, love, divinity, Plato . (shrink)

In his Tractatus and Notebooks 1914-1916, Wittgenstein develops some themes concerning the nature of the subject, transcendentalism, solipsism and mysticism. Though Wittgenstein rejects a naive, psychological understanding of the subject, he preserves the idea of the metaphysical subject, so-called “philosophical I”. The present investigations exhibit two ways of grasping the subject: (1) subject as a boundary (of the world); (2) subject (I) as the world. The author of the paper aims to analyze different methods of conceiving the subject, both (...) logical and transcendental. Then he discusses the naturalistic or reductionist consequences of solipsism which were derived by Wittgenstein. Moreover, he refers to the concept of ‘subject of will’ introduced in the Tractatus. Finally, the author puts a question whether the metaphysical subject is a boundary of the world identified with the subject of will. While trying to answer this question one can point to the essential difficulties of Wittgenstein’s standpoint. These difficulties become especially evident if we examine Wittgenstein’s statements concerning mysticism. The category of subject seems to gain a new dimension when reconsidered in this context. In the conclusion, the author offers an interpretation inspired by Schopenhauer’s conception of the double aspect of the subject that is to overstep these difficulties. (shrink)

Eine kurze Zusammenfassung dieses Buches finden Sie auf S. 135 oder 326. Wenn Sie in der Evolutionspsychologie nicht auf dem neuesten Standsind, sollten Sie zunächst einen der zahlreichen aktuellen Texte mit diesem Begriff im Titel lesen. Eines der besten ist "The Handbook of Evolutionary Psychology" 2nd ed by Buss. Bis vor etwa 15 Jahren waren "Erklärungen" des Verhaltens überhaupt keine Erklärungen für mentale Prozesse, sondern eher vage und weitgehend nutzlose Beschreibungen dessen, was Menschen taten und was sie sagten, ohne ein (...) Einsicht in das Warum. Man könnte sagen, dass sich die Menschen versammeln, um an ein Ereignis zu erinnern, Gott zu preisen, seine (oder ihre) Segnungen zu empfangen usw.. , aber nichts davon beschreibt die relevanten mentalen Prozesse, so könnten wir sagen, dass es Erklärungen in der gleichen Weise, dass es erklärt, warum ein Apfel fällt auf den Boden, wenn wir sagen, es, weil wir es freigegeben, und es ist schwer-es gibt keinen Mechanismus und keine erklärende oder prädiktive Kraft. Dieses Buch setzt die Aufklärung der genetischen Grundlagen menschlichen Verhaltens fort, die von Wissenschaft, Religion, Politik und Öffentlichkeit fast überall ignoriert und geleugnet wurde (siehe Pinkers ausgezeichnetes Buch ''The Blank Slat''). Seine Aussage (p3), dass es bedeutungslos ist zu fragen, ob Religion genetisch ist, ist falsch, da der Prozentsatz der Variation eines Verhaltens aufgrund von Genen und Umwelt untersucht werden kann, genau wie sie für alle anderen Verhaltensweisen sind (siehe z.B. Pinker). Der Titel sollte "Preliminary Attempts to Explain Some Aspects of Primitive Religion"lauten, da er überhaupt kein höheres Bewusstsein behandelt (z.B. Satori, Erleuchtung usw.), die bei weitem die interessantesten Phänomene und der einzige Teil der Religion von persönlichem Interesse für intelligente, gebildete Menschen im 21. Jahrhundert sind. Wenn man dieses ganze Buch liest, würde man nie ahnen, dass es solche Dinge gibt. Ebenso, für das immense Feld der Drogen und Religion. Es fehlt ein Rahmen für Rationalität und erwähnt nicht die dualen Denksysteme, die jetzt so produktiv sind. Für diemeine eigenen jüngsten Papiere schlage ich vor. Dennoch hat das Buch großesInteresse, und trotz der Verabginkung ist immer noch lesenswert. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mindand Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Diejenigen,die sich für mehr meiner Schriften interessieren, können 'Talking Monkeys--Philosophie, Psychologie, Wissenschaft, Religion und Politik auf einem verdammten Planeten --Artikel und Rezensionen 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) und andere sehen. (shrink)

Ein kurzer Überblick über das Leben und die spirituelle Autobiographie des einzigartigen amerikanischen Mystikers Adi Da (Franklin Jones). Auf dem Aufkleber auf dem Cover einiger Ausgaben steht "Die tiefste spirituelle Autobiographie aller Zeiten" und das könnte wahr sein. Ich bin in meinen 70ern und habe viele Bücher von spirituellen Lehrern und über Spiritualität gelesen, und das ist eines der größten. Gewiss,, es ist beiweitemder umfassendste und klarste Bericht über den Prozess der Erleuchtung, den ich je gesehen habe. Auch wenn Sie (...) überhaupt kein Interesse an den faszinierendsten menschlichen psychologischen Prozessen haben, ist es ein erstaunliches Dokument, das viel über Religion, Yoga und menschliche Psychologie verrät und die Tiefen und Grenzen menschlicher Möglichkeiten untersucht. Ich beschreibe es ausführlich und vergleiche seine Lehre mit der des zeitgenössischen indischen Mystikers Osho. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mindand Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Diejenigen,die sich für mehr meiner Schriften interessieren, können 'Talking Monkeys--Philosophie, Psychologie, Wissenschaft, Religion und Politik auf einem verdammten Planeten --Artikel und Rezensionen 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) und andere sehen. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the (...) language is enriched with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The central teaching of mysticism is that Everything is One, whereas from the side of rationalism the universe is Multiple. The essence of the mystical tradition is not a particular philosophical system, but the simple realization that the soul of any individual/existence is identified with the Absolute. A special feature of the mysticism is the elimination of discriminations, i.e. the One and the Multiple are identical.On the other hand, in rationalism the One and the Multiple differ substantially. (...) class='Hi'>Mysticism aims at the Emptiness of Zero, whereas rationalism aims at the identification with the Infinite of Everything. Based on the ontology resulting from modern physics the One is also the Multiple and the Multiplicity is also a Module, also the Void and the Everything are complementary aspects of a single and indivisible reality. This means that mysticism and rationalism are the two sides of a Cosmic Thought, which isexpressed through consciousness. We could say that this consciousness is the rhythm that coordinates any opposite. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...) interpretation of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the (...) properties of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide (...) an account of reasons. However, the implementations are complex enough, in both cases, to prevent anything more than this sketch. And we would not want to give the impression that we think that work on the logic of reasons must follow the path mapped out in either of these theories—indeed, we feel that the field is wide open. In the remainder of the chapter, therefore, will concentrate on a number of issues bearing on the logic of reasons that are either not treated in the work of Pollock and Horty, or whose treatment there is, we feel, either inadequate or incomplete. These are: first, the question of whether it is necessary to understand logical interactions among reasons themselves, rather than simply between reasons and the actions or conclusions they support, and if so, what principles might govern these interactions; second, priority relations among reasons and the notion of reason accrual; and third, some problems posed by undercutting defeat. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...) the logic of subsets of a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so (...) I suggest, adopting it has important consequences. First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s (...) transcendental logic of conditions of possibility of a system, and Hegel’s dialectical logic of conditions of in/stability of a system. Both conceptual logics of information analyse structural properties of given systems. Strictly speaking, neither is a conceptual logic of information about the conditions of feasibility of a system, that is, neither is a logic of information as a logic of design. So, in section four, I outline this third conceptual logic of information and then interpret the conceptual logic of design as a logic of requirements, by introducing the relation of “sufficientisation”. In the conclusion, I argue that the logic of requirements is exactly what we need in order to make sense of, and buttress, a constructionist approach to knowledge. (shrink)

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for a particular kind (...) of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also (...) by their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models (...) to show that some of these logics are non-degenerate. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...) agents move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms—the Lockean theory of belief and the Ramsey test for conditional belief—are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker’s semantics for the indicative did succeed in capturing the (...) class='Hi'>logic of the Ramseyan indicative conditional. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

The logic of academic writing is the argumentative strategy on which our papers, our sections, and our paragraphs are based. It is a strategy, as it is a plan that connects different steps and has a specific goal, namely convincing the audience of an original and important idea. And it is argumentative, for two reasons. First, we can defend our idea and we can convince our audience only through arguments, which only in very few disciplines are formal deductions. In (...) most cases, the arguments that we use are based on premises accepted by a community and the conclusions are drawn from principles that in the ancient dialectics were called “maxims,” principles shared by everyone. Second, a paper is a dialogue between the author and his or her readers. An idea can be considered as interesting and worth reading only when it addresses a topic that is perceived as important by the readers and tackles a problem that is open and needs to be solved. Our arguments are acceptable when they start from the premises of our community of readers, avoiding repeating what is obvious for them or taking for granted what is obscure or unknown to them. In this book, we present the argumentative approach to academic writing that we used in classroom. What characterizes it and makes it unique is the perspective that is adopted. We do not start from preexisting ideas that only need to be presented in a way that is suitable to an academic public. We intend to show that writing academically is a consequence of thinking academically, or rather “strategically.” We want to explain how the linguistic and presentational devices are the result of a much deeper plan underlying them, and how mastering the logic of a paper leads to understanding and even developing academic styles. The logic of academic writing is not aimed at teaching how to use language and write texts academically, but at enabling readers to create their own style based on their own argumentative strategies. (shrink)

The topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of (...) the example, eludes any fixed identity and follows a logic of supplement. Second, I shall present the so-called logic of exemplarity. The received paraconsistent view has it that the exemplar of X is an X and, at the same time, is not an X. Inspired by Ludwig Wittgenstein’s discussion of the standard metre, I would like to present an alternative paracomplete view whereby we can say of an exemplar of X neither that it is an X nor that it is not an X. (shrink)

The Logic of Analogy is a study of the valid logical forms of qualitative and quantitative analogical argument, and the rules pertaining to them. It investigates equally valid conflicting arguments, statistics-based arguments and their utility in science, arguments from precedent used in law-making or law-application, and examines subsumption in analogical terms. Included for purposes of illustration is a large section on Talmudic use of analogical reasoning.

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle (...) of Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...) logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that (...) set of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell (...) and others are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

Many have claimed that legitimate constitutional democracy is either conceptually or practically impossible, given infinite regress paradoxes deriving from the requirement of simultaneously democratic and constitutional origins for legitimate government. This paper first critically investigates prominent conceptual and practical bootstrapping objections advanced by Barnett and Michelman. It then argues that the real conceptual root of such bootstrapping objections is not any specific substantive account of legitimacy makers, such as consent or democratic endorsement, but a particular conception of the logic (...) of normative standards—the determinate threshold conception—that the critic attributes to the putatively undermined account of legitimacy. The paper further claims that when we abandon threshold conceptions of the logic of legitimacy in favor of regulative-ideal conceptions, then the objections, from bootstrapping paradoxes to the very idea of constitutional democracy, disappear. It concludes with considerations in favor of adopting a more demanding conception of the regulative ideal of constitutional democracy, advanced by Habermas, focusing on potentials for developmental learning. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...) in modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then (...) applied both for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)

In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available to (...) a given agent must always be pairwise incompatible. The conclusion is that this assumption conflicts with failures of higher order control of agents over their degree or precision of control, failures exhibited by such imperfect agents as ourselves. I discuss models in this setting for understanding such imperfectly self-controlling agents. In an appendix, I prove several relevant results about the logic described, including soundness and completeness both for it and for certain natural extensions. (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having (...) shown that IL can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

In his Science of Logic Hegel purports to give an account of a dialectical logic that generates the totality of being’s fundamental structures. This totality does not exhaust the richness of being, but it exhausts the basis of this richness. Any phenomenon, whether cognitive, scientific, social or political, is based upon some or all of those structures. The paper presents and examines the logic of a structure which pervades each and every phenomenon: the border(die Grenze). It is (...) analyzed as an advanced manifestation of “determinateness,” an even more primitive structure of being, which makes explicit its intrinsic connection with not-being. What is distinctive about Hegel’s analysis is that it establishes a logical character concerning the concept of “border” that precedes empirical observation and a connection with space. The aim of the paper is to reconstruct Hegel’s dialectic of the border in such a way as to make this logical character apparent and convincing to contemporary audience, who begin from the assumption that all discourse about border has an empirical basis and presupposes reference to space. It will be argued that, contrary to received opinion, the very phenomenon of “border” has certain universal and necessary features which explain its very possibility, are completely a priori and are established prior to any reference to space. A discussion about “borders” that excludes any a priori investigation into this phenomenon from its domain simply fails to illuminate its most important dimension: its logical core or, if you will, its universal and necessary attributes. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...) to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

This paper is concerned with the semantics for the logics of ground that derive from a slight variant GG of the logic of (Fine, 2012) that have already been developed in (deRosset and Fine, 2023). Our aim is to outline that semantics and to provide a comparison with two related semantics for ground, given in (Correia, 2017) and (Kraemer, 2018). This comparison highlights the strengths and difficulties of these different approaches.

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)