After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, this is not so. Instead of showing the limitations of Marshall’s still impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our preferred conception of property identity.

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

What follows is a summary of basic principles pertaining to the definitions used in constructing an ontology. A definition is a statement of necessary and sufficient conditions. What this means in the simplest case can be understood as follows. To say that ɸ‐ing is a necessary condition for being an A is just another way of saying that every A ɸ’s; to say that ɸ‐ing is a sufficient condition for being an A is just another way of saying that (...) everything that ɸ’s is an A. The goal in writing a definition is to specify a set of conditions of this sort which are all necessary, and which are jointly sufficient. (shrink)

DEFINITIONAL DICTIONARY OF LOGIC -/- 2009 -/- Complied by -/- Dr Desh Raj Sirswal -/- .

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (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.

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...) term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and (...) reason over data annotated with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

How "red", "green" were defined? Through analyzing how two children with congenitally inverted color sensations corresponding to red flags and green grass accept their grand mothers’ teaching about colors, the paper get opposite conclusions against logical empiricism. The “red” and “green” and other names of properties of objects were defined by objective physical properties (or together with behavior, such as in defining “beauty”), instead our sensations. So language directly points to things in themselves passing through sensations and presentative world. (...) It is not that things in themselves are unknowable, but that sensations and presentative world cannot be exactly described by daily language. (shrink)

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, in this article I will defend that this is not so. Instead of showing the limitations of Marshall’s undoubtedly impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless (...) of our preferred conception of property identity. (shrink)

What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants (...) would presuppose knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

The question of how to demarcate science from pseudo-science commands relatively little attention today. In the philosophy of logic, by contrast, the problem of demarcating the logical constants is less skeptically regarded. In aesthetics, where the problem is how to demarcate art from non-art, the question as to whether the problem is a real one or a pseudo-problem also continues to be debated. This paper discusses the hypothesis that the demarcation questions in these three areas are parallel, or at (...) least similar enough to be interesting. Some arguments for the conclusion that the demarcation problem is a pseudo-problem are considered, as are some demarcation proposals of a deflationist or minimalist sort. All are found wanting. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization of the (...) essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.

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)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative structure (...) of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. (...) Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (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)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. (...) The purpose of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

ABSTRACT: A detailed presentation of Stoic logic, part one, including their theories of propositions (or assertibles, Greek: axiomata), demonstratives, temporal truth, simple propositions, non-simple propositions(conjunction, disjunction, conditional), quantified propositions, logical truths, modal logic, and general theory of arguments (including definition, validity, soundness, classification of invalid arguments).

Cognitive scientists have been debating how the folk concept of intentional action works. We suggest a simple account: people consider that an agent did X intentionally to the extent that X was causally dependent on how much the agent wanted X to happen (or not to happen). Combined with recent models of human causal cognition, this definition provides a good account of the way people use the concept of intentional action, and offers natural explanations for puzzling phenomena such as the (...) side-effect effect. We provide empirical support for our theory, in studies where we show that people’s causation and intentionality judgments track each other closely, in everyday situations as well as in scenarios with unusual causal structures. Study 5 additionally shows that the effect of norm violations on intentionality judgments depends on the causal structure of the situation, in a way uniquely predicted by our theory. Taken together, these results suggest that the folk concept of intentional action has been difficult to define because it is made of cognitive building blocks, such as our intuitive concept of causation, whose logic cognitive scientists are just starting to understand. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood with examples (...) bringing the subjects to life. Traditionally, Venn diagrams have been employed to test arguments. These are very useful but their application is limited and they are not open to quantification. The mid-section of this book introduces a methodology that makes the analysis of arguments accessible with the use of a new form of diagram, modified from those of the mathematician Leonhard Euler. These new diagrammatic methods will be employed to demonstrate an addition to the basic form of syllogism. This includes a refined definition of the terms ‘most’ and ‘some’ within propositions. This may seem a little obscure at the moment but one will readily apprehend these new methods and principles of a more modern logic. (shrink)

"A Little More Logical" is the perfect guide for anyone looking to improve their critical thinking and logical reasoning skills. With chapters on everything from logic basics to fallacies of weak induction to moral reasoning, this book covers all the essential concepts you need to become a more logical thinker. You'll learn about influential figures in the field of logic, such as Rudolph Carnap, Betrrand Russell, and Ada Lovelace, and how to apply your newfound knowledge to real-world (...) situations. Whether you're looking to engage in debates with others, make better decisions in your personal and professional life, or simply want to improve your overall critical thinking skills, "A Little More Logical" has you covered. So why wait? Start learning and become a little more logical today! -/- "A Little More Logical" differs from typical logical textbooks in a number of ways. One key difference is its emphasis on engaging and relatable examples and case studies. Rather than simply presenting dry definitions and concepts, the book uses fables, stories, and real-world situations to illustrate key ideas and make them more relatable for readers. -/- Another unique aspect of "A Little More Logical" is its inclusion of "Minds that Mattered" sections, which highlight the contributions and insights of influential figures in the field of logic and critical thinking. These sections provide readers with a deeper understanding of the history and development of logical principles and offer valuable context for the concepts being discussed. -/- Additionally, "A Little More Logical" covers a wide range of topics beyond the basics of logic and argument evaluation. Chapters on moral reasoning, probability and inductive logic, scientific reasoning, conspiracy theories, statistical reasoning, and the history of formal logic offer a more comprehensive and well-rounded understanding of logic and critical thinking. -/- Overall, "A Little More Logical" stands out as a dynamic and engaging resource for anyone looking to improve their logical reasoning abilities. Its relatable examples, historical context, and broad coverage make it a valuable resource for anyone interested in mastering the principles of logic. -/- This is a free, Creative-Commons-licensed book. (shrink)

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), (...) Irreflexivity (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Feminists have urged women to take semantic authority. This article explains what such authority is, how it depends upon community recognition, and how it differs from privilege and from authority as usually conceived under patriarchy. Understanding its natures and limits is an important part of attaining it. Understanding the role of community explains why separatism is the logical conclusion of this project, and why separatism is valuable even to those who do not separate.

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...) the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL (...) is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a (...) posteriori. It then traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...) The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

In this article I attempt to overcome extant obstacles in deriving fundamental, objective and logically deduced definitions of personhood and their rights, by introducing an a priori paradigm of beings and morality. I do so by drawing a distinction between entities that are sought as ends and entities that are sought as means to said ends. The former entities, I offer, are the essence of personhood and are considered precious by observers possessing a logical system of valuation. The (...) latter entities – those sought only as a means to an end – I term ‘materials.’ Materials are sought for their conditional value: Important for achieving sought ends, they are not considered precious in and of themselves. A normative system for how this dichotomy of entities should interact is consequently derived and introduced. This paradigm has applicability for modern humanism and beyond. Assuming societal technological progression whereby human bodies and their surrounding infrastructures continue to evolve and integrate, the distinction between beings and their supporting materials, and a moral code for their interactions, will become ever more relevant. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then (...) presents two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)