A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might *prohibit* having certain inquiring attitudes (``norms of restriction''), while ignoring those that might *require* having them (``norms of expansion''). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields - some sympathetically, others unsympathetically. (shrink)

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might prohibit having certain inquiring attitudes (“norms of restriction”), while ignoring those that might require having them (“norms of expansion”). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields—some sympathetically, others unsympathetically. (shrink)

In recent years, the effort to formalize erotetic inferences—i.e., inferences to and from questions—has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic : erotetic evocation and erotetic implication. While an effort has been (...) made to axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...) formal-semantical) nature. In contrast, for Mill such a question is as valid as any other. These differing views have their consequences for contemporary erotetic logic. (shrink)

Uses erotetic logic to model the courtroom objection "Improper Cross!". -/- Readers downloading the article should also please download the erratum et corrigendum, which is locally available.

Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add (...) an admixture of falsity, as that is already included in "nothing but the truth," and, strictly speaking, in "the truth," as any such as admixture renders the whole thing false (given bivalence is presupposed) by &-introduction. (shrink)

Drawing inspiration from the notion of evocation employed in inferential erotetic logic, we defend an ‘evoked questions norm’ on inquiring attitudes. According to this norm, it is rational to have an inquiring attitude concerning a question only if that question is evoked by your background information. We offer two arguments for this norm. First, we develop an argument from convergence. Insights from several independent literatures (20th-century ordinary-language philosophy, inferential erotetic logic, inquisitive epistemic logic, and contemporary (...) zetetic epistemology) all converge on the evoked questions norm. Second, we show that suitably interpreted, the evoked questions norm correctly predicts several underappreciated kinds of bad questions. It does this, in part, by recovering versions of previously defended ignorance and knowledge norms. Some of those bad questions cannot be predicted by either norm singly, but only when corporately taken to reflect a common normative category. We identify this category as evocation. (shrink)

In this article I explore two accounts of the Fallacy of Many Questions made famous by the question "Have you stopped beating your wife?" The accounts are from the works of Lennart Aqvist and Noel Belnap, and the two authors differ in their accounts of the fallacy. Then I give my own account based on understanding a facet of erotetic logic, i. e., the logic of questions.

Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the (...) target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that (...) we take them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

In non-causal explanations, some non-causal facts (such as mathematical, modal or metaphysical) are used to explain some physical facts. However, precisely because these explanations abstract away from causal facts, they face two challenges: 1) it is not clear why would one rather than the other non-causal explanantia be relevant for the explanandum; and 2) why would standing in a particular explanatory relation (e.g., “counterfactual dependence”, “constraint”, “entailment”, “constitution”, “grounding”, and so on), and not in some other, be explanatory. I develop (...) an explanatory relevance account which is based on erotetic constraints and show how it addresses these two challenges. (shrink)

The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...) obstacle to any such view. (shrink)

If modus ponens is valid, then you should take up smoking.

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in (...) class='Hi'>logic, we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, (...) I then argue that once the semantics presupposed by Brauer’s argument is reformulated in terms of truth at a world, we have good reasons to think that a crucial semantic premise in Brauer’s argument should be rejected in favour of an alternative. Brauer’s argument is, however, no longer valid with this alternative premise. Thus, plausibly Brauer’s argument against D is only valid, if it is not sound. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason (...) conferred a heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall (...) and Restall (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...) holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...) logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential (...) line of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow (...) double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep (...) disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than (...) classical logic. In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for (...) implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which (...) rationality requirements are strict and governed by a strong, but never explicitly stated logic, toward the more unconventional view, according to which requirements are defeasible and governed by a comparatively weak logic. When understood this way, the response is not committed to dilemmas. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I (...) argued for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of (...) first-order logic, namely what is known as geometric logic. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...) of knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In (...) particular, the rejection of logical mistakes is to be understood in connection with Wittgenstein’s non-psychological approach to the thinking subject (5.641). On Wittgenstein's view, inference, understanding, and meaning are holistically related; cases of defective reasoning are to be explained in terms of a defective grasp of meaning which manifests in an indeterminate use of signs. Invalid reasoning therefore does not count for Wittgenstein as a species of reasoning, but rather as the mere illusion of reasoning. The rejection of logical mistakes thus gives voice to a radical disjunctivist approach. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...) directly motivated in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. (...) Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question (...) of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses (...) draw in one way or another on the idea that belief aims at the truth. In this paper, I consider two ways of making this line of thought more precise and I argue that they both fail. In particular, I examine a recent attempt by Epistemic Utility Theory to give a veritist account of deductive coherence requirements. I argue that despite its proponents’ best efforts, Epistemic Utility Theory cannot vindicate such requirements. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...) natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

The subject of this paper is the meaning of the concept of “good” in Hegel’s philosophy. The main thesis that is argued is that the good in the Logic, unlike the good in the Philosophy of Right, fulfils a structural function, i.e., it is relevant to Hegel’s whole system, and not only to his practical philosophy, since it is the condition for ascribing to reality and knowledge a practical nature as well as a teleological-evaluative structure. Drawing on some metaethical (...) distinctions, this is summarized by the claim that Hegel understands the concept of “good” in the Logic primarily in a sense that is neither substantive nor predicative, but attributive. (shrink)

Ruminations is a collection of sundry notes and essays on Logic. These complement and enrich the author’s past writings, further analyzing or reviewing certain issues. Among the many topics covered are: the importance of the laws of thought, and how they are applied using the logic of paradox; details of formal logic, including some important new insights on the nesting, merger and splitting up of hypothetical propositions; details of causal logic, including analogical reasoning from cause to (...) cause; a cutting-edge phenomenological analysis of negation. Additionally, this volume is used to publish a number of notes and essays previously only posted in his Internet site, including a history of Jewish logic and an analysis of Islamic logic. (shrink)

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude (...) that Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are (...) often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also (...) rationality constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...) field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

This paper compares two complementary theories, Simeonov’s Wandering Logic Intelligence and Ehresmann’s & Vanbremeersch’s Memory Evolutive Systems, in view of developing a common framework for the study of multiscale complex systems such as living systems. It begins by a brief summary of WLI and MES, then analyzes their resemblances and differences. Finally, the article provides an outlook for a future research.