Results for 'Peripatetic logic'

1000+ found
Order:
  1.  11
    Peripatetic Hypothetical Syllogistic in Galen.Susanne Bobzien - 2004 - Rhizai. A Journal for Ancient Philosophy and Science 2:57-102.
    ABSTRACT: Galen’s Institutio Logica is the only introduction to logic in Greek that has survived from antiquity. In it we find a theory that bears some resemblance to propositional logic. The theory is commonly understood as being essentially Stoic. However, this understanding of the text leaves us with a large number of inconsistencies and oddities. In this paper I offer an comprehensive alternative interpretation of the theory. I suggest that it is Peripatetic at base, and has drawn (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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   17 citations  
  3. Logic Functions in the Philosophy of Al-Farabi.Abduljaleel Alwali - 2018 - Handbook of the 6th World Congress and School on Universal Logic.
    Abu Nasr Muhammad Al-Farabi (870–950 AD), the second outstanding representative of the Muslim peripatetic after al Kindi (801–873 AD), was born in Turkestan about 870 AD. Al-Farabi’s studies commenced in Farab, then he travelled to Baghdad, where he studied logic with a Christian scholar named Yuhanna b. Hailan. Al-Farabi wrote numerous works dealing with almost every branch of science in the medieval world. In addition to a large number of books on logic and other sciences, he came (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD.Susanne Bobzien - 2002 - Phronesis 47 (4):359-394.
    ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  5. Alexander of Aphrodisias on Aristotle's Theory of the Stoic Indemonstrables.Susanne Bobzien - 2014 - In M. Lee (ed.), Strategies of Argument: Essays in Ancient Ethics, Epistemology, and Logic. Oxford University Press. pp. 199-227.
    ABSTRACT: Alexander of Aphrodisias’ commentaries on Aristotle’s Organon are valuable sources for both Stoic and early Peripatetic logic, and have often been used as such – in particular for early Peripatetic hypothetical syllogistic and Stoic propositional logic. By contrast, this paper explores the role Alexander himself played in the development and transmission of those theories. There are three areas in particular where he seems to have made a difference: First, he drew a connection between certain passages (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Philosophy of Illumination =.Yaḥyá ibn Ḥabash Suhrawardī - 2000 - Brigham Young University Press.
    Shihab al-Din al-Suhrawardi was born around 1154, probably in northwestern Iran. Spurred by a dream in which Aristotle appeared to him, he rejected the Avicennan Peripatetic philosophy of his youth and undertook the task of reviving the philosophical tradition of the "Ancients." Suhruwardi's philosophy grants an epistemological role to immediate and atemporal intuition. It is explicitly anti-Peripatetic and is identified with the pre-Aristotelian sages, particularly Plato. The subject of his hikmat al-Ishraq --now available for the first time in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  41
    A Peripatetic Argument for the Intrinsic Value of Human Life: Alexander of Aphrodisias' Ethical Problems I.Javier Echenique - forthcoming - Apeiron: A Journal for Ancient Philosophy and Science.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
    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.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  9.  43
    The Logic of Design as a Conceptual Logic of Information.Luciano Floridi - 2017 - Minds and Machines 27 (3):495-519.
    In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  10. On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.
    One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  11. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: 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   10 citations  
  12. The Logicality of Language: A New Take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Neither Logical Empiricism nor Vitalism, but Organicism: What the Philosophy of Biology Was.Daniel J. Nicholson & Richard Gawne - 2015 - History and Philosophy of the Life Sciences 37 (4):345-381.
    Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  14. The Logical Space of Democracy.Christian List - 2011 - Philosophy and Public Affairs 39 (3):262-297.
    Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  15. Logical Information and Epistemic Space.Mark Jago - 2009 - Synthese 167 (2):327 - 341.
    Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  16. 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   54 citations  
  17. Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  18. What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
    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.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  19. 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   38 citations  
  20.  64
    Buddhist Logic.Koji Tanaka - forthcoming - Routledge Encyclopaedia of Philosophy.
    Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Stoic Logic and Multiple Generality.Susanne Bobzien & Simon Shogry - 2020 - Philosophers' Imprint 20 (31):1-36.
    We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Logical Principles of Agnosticism.Luis Rosa - 2019 - Erkenntnis 84 (6):1263-1283.
    Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. 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   3 citations  
  25. Logical Ignorance and Logical Learning.Richard Pettigrew - 2021 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. 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   84 citations  
  27. Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original text than other such reconstructions brought forward up to now. To accomplish this, we will not use classical logic, but a novel system developed by Ben-Yami [2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46] called ‘QUARC’. This system is apt for a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. 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   57 citations  
  29. Debunking Logical Ground: Distinguishing Metaphysics From Semantics.Michaela Markham McSweeney - 2020 - Journal of the American Philosophical Association 6 (2):156-170.
    Many philosophers take purportedly logical cases of ground ) to be obvious cases, and indeed such cases have been used to motivate the existence of and importance of ground. I argue against this. I do so by motivating two kinds of semantic determination relations. Intuitions of logical ground track these semantic relations. Moreover, our knowledge of semantics for first order logic can explain why we have such intuitions. And, I argue, neither semantic relation can be a species of ground (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  30. 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   16 citations  
  31. Logically Simple Properties and Relations.Jan Plate - 2016 - Philosophers' Imprint 16:1-40.
    This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2021 - Erkenntnis 86 (3):733-762.
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  33. 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   17 citations  
  34. A Logical Approach to Reasoning by Analogy.Todd R. Davies & Stuart J. Russell - 1987 - In John P. McDermott (ed.), Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI'87). Morgan Kaufmann Publishers. pp. 264-270.
    We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.
    The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. As (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  26
    Logically-Consistent Hypothesis Testing and the Hexagon of Oppositions.Julio Michael Stern, Rafael Izbicki, Luis Gustavo Esteves & Rafael Bassi Stern - 2017 - Logic Journal of the IGPL 25 (5):741-757.
    Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
    There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  38. The Logic of Logical Necessity.Andrew Bacon & Kit Fine - manuscript
    Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Buddhist Logic From a Global Perspective.Koji Tanaka - 2021 - In Inkeri Koskinen, David Ludwig, Zinhle Mncube, Luana Poliseli & Luis Reyes-Galindo (eds.), Global Epistemologies and Philosophies of Science. London: Routledge. pp. 274-285.
    Buddhist philosophers have developed a rich tradition of logic. Buddhist material on logic that forms the Buddhist tradition of logic, however, is hardly discussed or even known. This article presents some of that material in a manner that is accessible to contemporary logicians and philosophers of logic and sets agendas for global philosophy of logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Logical Entropy: Introduction to Classical and Quantum Logical Information Theory.David Ellerman - 2018 - Entropy 20 (9):679.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Jaina Logic and the Philosophical Basis of Pluralism.Jonardon Ganeri - 2002 - History and Philosophy of Logic 23 (4):267-281.
    What is the rational response when confronted with a set of propositions each of which we have some reason to accept, and yet which taken together form an inconsistent class? This was, in a nutshell, the problem addressed by the Jaina logicians of classical India, and the solution they gave is, I think, of great interest, both for what it tells us about the relationship between rationality and consistency, and for what we can learn about the logical basis of philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  42. Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  43. The Logicality of Language: A New Take on Triviality, `Ungrammaticality', and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  44. Ideal Rationality and Logical Omniscience.Declan Smithies - 2015 - Synthese 192 (9):2769-2793.
    Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  45. 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  
  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. 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   19 citations  
  48. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophy 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   6 citations  
  49. Logics for Modelling Collective Attitudes.Daniele Porello - 2018 - Fundamenta Infromaticae 158 (1-3):239-27.
    We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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   29 citations  
1 — 50 / 1000