Results for 'partial logic'

1000+ found
Order:
  1. Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
    Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  99
    On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
    In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  4. Impossible Worlds and Partial Belief.Edward Elliott - 2019 - Synthese 196 (8):3433-3458.
    One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
    This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  6. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A Fortiori Logic: Innovations, History and Assessments.Avi Sion - 2013 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  90
    Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
    This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. 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  
  10. A Tableau Calculus for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
    Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11. Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
    Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Betting Against the Zen Monk: On Preferences and Partial Belief.Edward Elliott - 2019 - Synthese 198 (4):3733-3758.
    According to the preference-centric approach to understanding partial belief, the connection between partial beliefs and preferences is key to understanding what partial beliefs are and how they’re measured. As Ramsey put it, the ‘degree of a belief is a causal property of it, which we can express vaguely as the extent to which we are prepared to act on it’ The Foundations of Mathematics and Other Logical Essays, Routledge, Oxon, pp 156–198, 1931). But this idea is not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.Raffaella Bernardi & Anna Szabolcsi - 2008 - Journal of Logic, Language and Information 17 (3):237-283.
    This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  52
    Quasi-Concepts of Logic.Fabien Schang - forthcoming - In Alexandre Costa Leite (ed.), Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza" edited by A. Costa-Leite. Londres, Royaume-Uni: pp. 245-266.
    A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then quasi-truth [5] (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. A Phenomenology of Race in Frege's Logic.Joshua M. Hall - forthcoming - Humanities Bulletin.
    This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Causal and Logical Necessity in Malebranche’s Occasionalism.A. Fisher - 2011 - Canadian Journal of Philosophy 41 (4):523-548.
    The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Hobbes on the Order of Sciences: A Partial Defense of the Mathematization Thesis.Zvi Biener - 2016 - Southern Journal of Philosophy 54 (3):312-332.
    Accounts of Hobbes’s ‘system’ of sciences oscillate between two extremes. On one extreme, the system is portrayed as wholly axiomtic-deductive, with statecraft being deduced in an unbroken chain from the principles of logic and first philosophy. On the other, it is portrayed as rife with conceptual cracks and fissures, with Hobbes’s statements about its deductive structure amounting to mere window-dressing. This paper argues that a middle way is found by conceiving of Hobbes’s _Elements of Philosophy_ on the model of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Was Łukasiewicz Wrong? : Three-Valued Logic and Determinism.Daisuke Kachi - 1996 - In Łukasiewicz in Dublin -- An International Conference on the Work of Jan Łukasiewicz.
    Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  79
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  62
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  69
    What Is the Sense in Logic and Philosophy of Language.Urszula Wybraniec-Skardowska - 2020 - Bulletin of the Section of Logic 49 (2):185-211.
    In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. How to Conquer the Liar and Enthrone the Logical Concept of Truth: An Informal Exposition.Boris Culina - manuscript
    This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counter-arguments for various proposed solutions (``the revenge of the Liar''). Any solution to the paradoxes of truth necessarily establishes a certain logical concept of truth. This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Questions of Race in J. S. Mill’s Contributions to Logic.Joshua M. Hall - 2014 - Philosophia Africana 16 (2):73-93.
    This article is part of a larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In contrast to this trend, the present article concerns the major philosopher whose contribution to logic has been perhaps the most derided and marginalized, and yet whose character and politics are, from a contemporary perspective, drastically superior—John Stuart Mill. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Evaluation of a Student-Oriented Logic Course.Aaron Thomas-Bolduc & Richard Zach - 2018 - ISSOTL 2018 Annual Meeting.
    In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Husserl’s Covert Critique of Kant in the Sixth Book of Logical Investigations.Corijn van Mazijk - 2019 - Continental Philosophy Review 52 (1):15-33.
    In the final book of Logical Investigations from 1901, Husserl develops a theory of knowledge based on the intentional structure of consciousness. While there is some textual evidence that Husserl considered this to entail a critique of Kantian philosophy, he did not elaborate substantially on this. This paper reconstructs the covert critique of Kant’s theory of knowledge which LI contains. With respect to Kant, I discuss three core aspects of his theory of knowledge which, as Husserl’s reflections on Kant indicate, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Rejection and Truth-Value Gaps.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (4):574-577.
    A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Topological Epistemology as Epistemology First.Thomas Mormann - manuscript
    Abstract. The aim of this paper is to sketch a topological epistemology that can be characterized as a knowledge first epistemology. For this purpose, the standard topological semantics for knowledge in terms of the interior kernel operator K of a topological space is extended to a topological semantics of belief operators B in a new way. It is shown that a topological structure has a kind of “derivation” (its “assembly” or “lattice of nuclei”) that defines a profusion of belief operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  55
    Husserl’s 1901 and 1913 Philosophies of Perceptual Occlusion: Signitive, Empty, and Dark Intentions.Thomas Byrne - 2020 - Husserl Studies 36 (2):123-139.
    This paper examines the evolution of Edmund Husserl’s theory of perceptual occlusion. This task is accomplished in two stages. First, I elucidate Husserl’s conclusion, from his 1901 Logical Investigations, that the occluded parts of perceptual objects are intended by partial signitive acts. I focus on two doctrines of that account. I examine Husserl’s insight that signitive intentions are composed of Gehalt and I discuss his conclusion that signitive intentions sit on the continuum of fullness. Second, the paper discloses how (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  33. Characteristica Universalis.Barry Smith - 1992 - In Kevin Mulligan (ed.), Language, Truth and Ontology. London: Kluwer Academic Publishers. pp. 48--77.
    Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   26 citations  
  34.  79
    Million Dollar Questions: Why Deliberation is More Than Information Pooling.Daniel Hoek & Richard Bradley - forthcoming - Social Choice and Welfare.
    Models of collective deliberation often assume that the chief aim of a deliberative exchange is the sharing of information. In this paper, we argue that an equally important role of deliberation is to draw participants’ attention to pertinent questions, which can aid the assembly and processing of distributed information by drawing deliberators’ attention to new issues. The assumption of logical omniscience renders classical models of agents’ informational states unsuitable for modelling this role of deliberation. Building on recent insights from psychology, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  69
    Topological Epistemology and the Gettier Problem.Thomas Mormann - manuscript
    The aim of this paper is to elaborate a topological semantics of knowledge and belief operators that can be used for an epistemological characterisation of Gettier cases. Relying on this semantics it will be shown that in Stalnaker’s logic KB every topological knowledge operator K is accompanied with a partially ordered family of belief operators B compatible with K in the sense that the pairs (K, B) of modal operators K and B satisfy all axioms of KB (except the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  70
    Belief Modalities Defined by Nuclei.Thomas Mormann - manuscript
    Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in this paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Epistemic Pluralism.Fabien Schang - 2017 - Logique Et Analyse 239 (60):337-353.
    The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  84
    Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. What Achilles Did and the Tortoise Wouldn't.Catherine Legg - manuscript
    This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Consequentialism and the Agent's Point of View.Nathan Robert Howard - forthcoming - Ethics.
    I propose and defend a novel view called ‘de se consequentialism’, which is noteworthy for two reasons. First, it demonstrates — contra Doug Portmore, Mark Schroeder, Campbell Brown, and Michael Smith, among others — that a consequentialist theory employing agent-neutral value is logically consistent with agent-centered constraints. Second, de se consequentialism clarifies both the nature of agent-centered constraints and why philosophers have found them puzzling, thereby meriting attention from even dedicated non-consequentialists. Scrutiny reveals that moral theories in general, whether consequentialist (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.
    Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The Science of Art: A Neurological Theory of Aesthetic Experience.Vilayanur Ramachandran & William Hirstein - 1999 - Journal of Consciousness Studies 6 (6-7):15-41.
    We present a theory of human artistic experience and the neural mechanisms that mediate it. Any theory of art has to ideally have three components. The logic of art: whether there are universal rules or principles; The evolutionary rationale: why did these rules evolve and why do they have the form that they do; What is the brain circuitry involved? Our paper begins with a quest for artistic universals and proposes a list of ‘Eight laws of artistic experience’ -- (...)
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  44. How Should Your Beliefs Change When Your Awareness Grows?Richard Pettigrew - manuscript
    Epistemologists who study partial beliefs, or credences, have a well-developed account of how you should change your credences when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. A Farewell Letter To My Students.John Corcoran - 2012 - Philosophy Now 92:18-18.
    I am saying farewell after more than forty happy years of teaching logic at the University of Buffalo. But this is only a partial farewell. I will no longer be at UB to teach classroom courses or seminars. But nothing else will change. I will continue to be available for independent study. I will continue to write abstracts and articles with people who have taken courses or seminars with me. And I will continue to honor the LogicLifetimeGuarantee™, which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  54
    Knowledge Re-Combination and Invention as Key Features for Commonsense Reasoning and Computational Creativity Research.Antonio Lieto - 2020 - In ECAI 2020 Worskhop "ARTIFICIAL AND HUMAN INTELLIGENCE FORMAL AND COGNITIVE FOUNDATIONS FOR HUMAN-CENTRED COMPUTING".
    Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion [1]. The proposed approach has been tested both in the task of goal-driven concept invention (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018.Michael Starks - 2016 - Las Vegas, USA: Reality Press.
    This collection of articles was written over the last 10 years and edited to bring them up to date (2019). All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. What is Said?Andreas Stokke & Anders J. Schoubye - 2016 - Noûs 50 (4):759-793.
    It is sometimes argued that certain sentences of natural language fail to express truth conditional contents. Standard examples include e.g. Tipper is ready and Steel is strong enough. In this paper, we provide a novel analysis of truth conditional meaning using the notion of a question under discussion. This account explains why these types of sentences are not, in fact, semantically underdetermined, provides a principled analysis of the process by which natural language sentences can come to have enriched meanings in (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  49. Othering, an Analysis.Lajos L. Brons - 2015 - Transcience, a Journal of Global Studies 6 (1):69-90.
    Othering is the construction and identification of the self or in-group and the other or out-group in mutual, unequal opposition by attributing relative inferiority and/or radical alienness to the other/out-group. The notion of othering spread from feminist theory and post-colonial studies to other areas of the humanities and social sciences, but is originally rooted in Hegel’s dialectic of identification and distantiation in the encounter of the self with some other in his “Master-Slave dialectic”. In this paper, after reviewing the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  50.  94
    The Method of Kant’s Groundwork of the Metaphysics of Morals: Establishing Moral Metaphysics as a Science.Susan V. H. Castro - 2006 - Dissertation, University of California, Los Angeles
    This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000