Results for 'LOGIC'

1000+ found
Order:
  1. A Logic for 'Because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.
    In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  2. Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
    It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  3. The Logic of Epistemic Justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  5.  37
    Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.
    This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - forthcoming - Erkenntnis:1-30.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  8. Logic and Formal Ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Deviant Logic, Fuzzy Logic: Beyond the Formalism.Achille C. Varzi & Susan Haack - 1998 - Philosophical Review 107 (3):468.
    This book has three main parts. The first, longer, part is a reprint of the author's Deviant Logic, which initially appeared as a book by itself in 1974. The second and third parts include reprints of five papers originally published between 1973 and 1980. Three of them focus on the nature and justification of deductive reasoning, which are also a major concern of Deviant Logic. The other two are on fuzzy logic, and make up for a major (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
    The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  11. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  12. What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, from Consistency to Inconsistency. Springer Verlag.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  14. Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. A Logic for Epistemic Two-Dimensional Semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  16. Logic and the Sachverhalt.Barry Smith - 1989 - The Monist 72 (1):52-69.
    Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  17. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  18. Ancient Logic and its Modern Interpretations.John Corcoran (ed.) - 1974 - Boston: Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  68
    Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).
    In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophical and Phenomenological Research 99 (1):81-114.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Conservatively Extending Classical Logic with Transparent Truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  22. Logic and the Autonomy of Ethics.Charles R. Pigden - 1989 - Australasian Journal of Philosophy 67 (2):127 – 151.
    My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  23.  62
    Causal Models and the Logic of Counterfactuals.Jonathan Vandenburgh - manuscript
    Causal models provide a framework for making counterfactual predictions, making them useful for evaluating the truth conditions of counterfactual sentences. However, current causal models for counterfactual semantics face logical limitations compared to the alternative similarity-based approaches: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper offers a causal framework for the semantics of counterfactuals which improves upon these logical issues. It extends the causal approach to counterfactuals to handle (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. The Logic of Partitions: Introduction to the Dual of the Logic of Subsets: The Logic of Partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Logic.Susanne Bobzien - 1996 - In Simon Hornblower & A. Spawforth (eds.), The Oxford Classical Dictionary, 3rd edition. Oxford University Press.
    ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   13 citations  
  26. A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  50
    Logic in Opposition.Fabien Schang - 2013 - Studia Humana 2 (3):31-45.
    It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will be reviewed.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Abstract Logic of Oppositions.Fabien Schang - 2012 - Logic and Logical Philosophy 21 (4):415--438.
    A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  31. Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
    Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Stoic Logic.Susanne Bobzien - 2003 - In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.
    ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  33. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  34. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. Imperatives, Logic Of.Peter B. M. Vranas - 2013 - In Hugh LaFollette (ed.), The International Encyclopedia of Ethics. Oxford: Blackwell. pp. 2575-2585.
    Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  36. Logic, Logical Form and the Disunity of Truth.Will Gamester - 2019 - Analysis 79 (1):34-43.
    Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Logic, Act and Product.Jacques P. Dubucs & Wioletta Miśkiewicz - 2009 - In Giuseppe Primiero (ed.), Knowledge and Judgment. Springer Verlag.
    Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  38. Doxastic Logic.Michael Caie - 2019 - In Jonathan Weisberg & Richard Pettigrew (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
    I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  41. Anti-Exceptionalism About Logic.Stephen Read - 2019 - Australasian Journal of Logic 16 (7):298.
    Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  43. Logicism, Possibilism, and the Logic of Kantian Actualism.Andrew Stephenson - 2017 - Critique.
    In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  88
    Logic for Dogs.Andrew Aberdein - 2008 - In Steven D. Hales (ed.), What Philosophy Can Tell You About Your Dog. Open Court. pp. 167-181.
    Imagine a dog tracing a scent to a crossroads, sniffing all but one of the exits, and then proceeding down the last without further examination. According to Sextus Empiricus, Chrysippus argued that the dog effectively employs disjunctive syllogism, concluding that since the quarry left no trace on the other paths, it must have taken the last. The story has been retold many times, with at least four different morals: (1) dogs use logic, so they are as clever as humans; (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  64
    Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  46. A Logic for Frege's Theorem.Richard Heck - 2011 - In Frege’s Theorem: An Introduction. Oxford University Press.
    It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  47. Informal Logic: A 'Canadian' Approach to Argument.Federico Puppo (ed.) - 2019 - Windsor, Canada: Windsor Studies in Argumentation.
    The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Punny Logic.Noah Greenstein - 2015 - Analysis 75 (3):359-362.
    Logic and humour tend to be mutually exclusive topics. Humour plays off ambiguity, while classical logic falters over it. Formalizing puns is therefore impossible, since puns have ambiguous meanings for their components. However, I will use Independence-Friendly logic to formally encode the multiple meanings within a pun. This will show a general strategy of how to logically represent ambiguity and reveals humour as an untapped source of novel logical structure.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  50. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a (...) of assertions and conjectures: looking at the S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000