Switch to: References

Citations of:

The logic of common nouns: an investigation in quantified modal logic

New Haven: Yale University Press (1980)

Add citations

You must login to add citations.
  1. Constitution and similarity.Kathrin Koslicki - 2004 - Philosophical Studies 117 (3):327-363.
    Whenever an object constitutes, makes up or composes another object, the objects in question share a striking number of properties. This paper is addressed to the question of what might account for the intimate relation and striking similarity between constitutionally related objects. According to my account, the similarities between constitutionally related objects are captured at least in part by means of a principle akin to that of strong supervenience. My paper addresses two main issues. First, I propose independently plausible principles (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • A fixed point theorem for the weak Kleene valuation scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Why There Are No Token States.Eric Marcus - 2009 - Journal of Philosophical Research 34:215-241.
    The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Relative Identity of All Objects: Tiantai Buddhism Meets Analytic Metaphysics.Li Kang - 2024 - Ergo: An Open Access Journal of Philosophy 11:1195-1221.
    According to Zhiyi 智顗 (538–597), the founder of the Chinese Buddhist Tiantai school 天台宗, “one object is all objects;” hence, all objects are profoundly interconnected. In this paper, I critically examine Zhiyi’s metaphysics of objects as presented in the historical Tiantai texts and subsequently develop a contemporary and accessible thesis of interconnectedness by integrating Zhiyi’s views with resources from contemporary analytic philosophy, particularly relative identity. By drawing on Zhiyi’s insights and incorporating contemporary philosophical ideas, I also illustrate how historical Chinese (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Formal Ontology.Jani Hakkarainen & Markku Keinänen - 2023 - Cambridge: Cambridge University Press.
    Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • In defense of disjointism.Martin A. Lipman - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (9):3007-3030.
    Disjointism is the view that co-located objects do not share any parts. A human-shaped statue is composed from a torso, head and limbs; the co-located lumpof clay is only composed from chunks of clay. This essay discusses the tenability of this relatively neglected view, focusing on two objections. The first objection is that disjointism implies co-located copies of microphysical particles. I argue that it doesn’t imply this and that there are more plausible disjointist views of tiny parts available. The second (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (2):211-231.
    The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Neo-Davidsonian ontology of events.Ziqian Zhou - 2019 - Linguistics and Philosophy 44 (1):1-41.
    Recent Neo-Davidsonian accounts of the semantics of progressive constructions of action verbs reflect an ontological distinction between processes or incomplete events on the one hand, and complete events on the other. This paper has two goals. First, it attempts to show that this putative ontological distinction is beset with problems. The second goal of this paper is to offer the beginnings of a positive proposal that seeks to show how the ontologically austere Davidsonian can account for the truth conditions of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Classical Opacity.Michael Caie, Jeremy Goodman & Harvey Lederman - 2019 - Philosophy and Phenomenological Research 101 (3):524-566.
    Philosophy and Phenomenological Research, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Modeling Unicorns and Dead Cats: Applying Bressan’s ML ν to the Necessary Properties of Non-existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
    Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Branched Model For Substantial Motion.Muhammad Legenhausen - 2009 - Journal of Shi‘a Islamic Studies 2:53-67.
    The seventeenth century Muslim philosopher Muhammad Sadr al-Din Shirazi, known as Mulla Sadra, introduced the idea of substantial motion in Islamic philosophy. This view is characterized by a continuity criterion for diachronic identity, a four-dimensional view of individual substances, the notion that possibilities change, and the continual creation of all creatures. Modern philosophical logic provides means to model a variety of claims about individuals, substances, modality and time. In this paper, the semantics of formal systems discussed by Carnap, Bressan and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Psychophysical scaling: Context and illusion.Stanley Coren - 1992 - Behavioral and Brain Sciences 15 (3):563-564.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The determinants of perceived brightness are complicated, but not hopelessly so.Thomas R. Corwin - 1992 - Behavioral and Brain Sciences 15 (3):564-565.
    Download  
     
    Export citation  
     
    Bookmark  
  • Psychophysical scaling within an information processing approach?Claude Bonnet - 1992 - Behavioral and Brain Sciences 15 (3):560-561.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (2 other versions)Moderate Monism, Sortal Concepts, and Relative Identity.Harold Noonan - 2013 - The Monist 96 (1):101-130.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Sortals and criteria of identity.Brian Epstein - 2012 - Analysis 72 (3):474-478.
    In a recent article, Harold Noonan argues that application conditions and criteria of identity are not distinct from one another. This seems to threaten the standard approach to distinguishing sortals from adjectival terms. I propose that his observation, while correct, does not have this consequence. I present a simple scheme for distinguishing sortals from adjectival terms. I also propose an amended version of the standard canonical form of criteria of identity.
    Download  
     
    Export citation  
     
    Bookmark  
  • Material Constitution.Stephan Blatti - 2012 - In Robert Barnard & Neil Manson (eds.), Continuum Companion to Metaphysics. Continuum Publishing. pp. 149-69.
    This paper reviews four leading strategies for addressing the problem of material constitution, along with some of the prominent objections faced by each approach. Sections include (1) "The Orthodox View: Coincident Objects," (2) "Dominant Kinds," (3) "Nihilism," (4) "Revising the Logic of Identity," and (5) "Future Research." Also included is an annotated bibliography.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The non-transitivity of the contingent and occasional identity relations.Ralf M. Bader - 2012 - Philosophical Studies 157 (1):141-152.
    This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Moderate monism, persistence and sortal concepts.Harold Noonan - manuscript
    Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.
    Download  
     
    Export citation  
     
    Bookmark  
  • Demonstratives in philosophy and linguistics.Lynsey Wolter - 2009 - Philosophy Compass 4 (3):451-468.
    Demonstrative noun phrases (e.g., that guy , this ) are of interest to philosophers of language and semanticists because they are sensitive to demonstrations or speaker intentions. The interpretation of a demonstrative therefore sheds light on the role of the context in natural language semantics. This survey reviews two types of approaches to demonstratives: Kaplan's direct reference treatment of demonstratives and other indexicals, and recent challenges to Kaplan's approach that focus on less obviously context-sensitive uses of demonstratives. The survey then (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Parts and Wholes in Semantics.Friederike Moltmann - 1997 - New York: Oxford University Press.
    This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Relative identity.Harry Deutsch - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • On the logical foundations of compound predicate formulae for legal knowledge representation.Hajime Yoshino - 1997 - Artificial Intelligence and Law 5 (1-2):77-96.
    In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Understanding induction.John Macnamara - 1991 - British Journal for the Philosophy of Science 42 (1):21-48.
    The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Resolving questions, I.Jonathan Ginzburg - 1995 - Linguistics and Philosophy 18 (5):459 - 527.
    The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Sortals for Dummies.John E. Sarnecki - 2008 - Erkenntnis 69 (2):145-164.
    Advocates of sortal essentialism have argued that concepts like “thing” or “object” lack the unambiguous individuative criteria necessary to play the role of genuine sortals in reference. Instead, they function as “dummy sortals” which are placeholders or incomplete designations. In disqualifying apparent placeholder sortals, however, these philosophers have posed insuperable problems for accounts of childhood conceptual development. I argue that recent evidence in psychology demonstrates that children do possess simple or basic sortals of physical objects or things. I contend that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Book Reviews. [REVIEW]Sari Nusseibeh, Gabriel Nuchelmans, Francisco A. Rodriguez-Consuegra, G. Lolli, D. P. Henry, Francis Jeffry Pelletier, George Rousspoulos, J. Woleński, B. Smith & Peter Simons - 1992 - History and Philosophy of Logic 13 (1):115-132.
    Al-Farahr’s commentarv and short treatise on Aristotle’s De interpretatione. Introduction and translation from Arabic by F. Zimmerman. Oxford: Published for the British Academy by Oxford University Press, 1987. clii + 287 pp. of English. £22.50 Johann Andreas Segner, Specimen logicae universaliter demonstrate. Appendices: Two dissertations De syllogismo. Edited by Mirella Capozzi. Bologna: Editrice CLUEB, 1990. clxxii + 281 pp. 85 000 Lire M. Borga, P. Fregugua And D. Palladino, I contribua fondazionali della scuola di Peano. Milano: Franco Angeli, 1985, 257 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Should the psychophysical model be rejected?Bruce Schneider - 1992 - Behavioral and Brain Sciences 15 (3):579-580.
    Download  
     
    Export citation  
     
    Bookmark  
  • Psychophysical scaling: Judgments of attributes or objects?Gregory R. Lockhead - 1992 - Behavioral and Brain Sciences 15 (3):543-558.
    Psychophysical scaling models of the form R = f, with R the response and I some intensity of an attribute, all assume that people judge the amounts of an attribute. With simple biases excepted, most also assume that judgments are independent of space, time, and features of the situation other than the one being judged. Many data support these ideas: Magnitude estimations of brightness increase with luminance. Nevertheless, I argue that the general model is wrong. The stabilized retinal image literature (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Again on relativistic semantics.Aldo Bressan - 1995 - Logic and Logical Philosophy 3:23-36.
    This paper has two parts: Part I is a continuation of the work [10] and as well as this it deals mainly with the logic of an auxiliary (semantical) theory, ST , in effect generally considered (by textbooks) within the semantics for a typical theory T of general relativity; and especially the modal features of this auxiliary theory are studied. Part II deals with the influence had by relativistic theories and especially by the new notion of space-time on pragmatic languages (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On identification and transworld identity in natural language: the case of -ever free relatives. [REVIEW]Daphna Heller & Lynsey Wolter - 2011 - Linguistics and Philosophy 34 (2):169-199.
    An -ever free relative is felicitous only when the speaker doesn’t know, or doesn’t care about, the identity of the entity denoted. In this paper we investigate what it means to identify an entity by examining the non-identification condition on -ever free relatives. Following Dayal (In A. Lawson (Ed.), Proceedings of SALT VII, 1997 ), we analyze -ever free relatives as definites with a modal dimension. We show that the variation in the identity of the entity across the possible worlds (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Paradox of Fission and the Ontology of Ordinary Objects.Thomas Sattig - 2011 - Philosophy and Phenomenological Research 85 (3):594-623.
    What happens to a person in a case of fission? Does it survive? Does it go out of existence? Or is the outcome indeterminate? Since each description of fission based on the persistence conditions associated with our ordinary concept of a person seems to clash with one or more platitudes of common sense about the spatiotemporal profile of macroscopic objects, fission threatens the common-sense conception of persons with inconsistency. Standard responses to this paradox agree that the common-sense conception of persons (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
    Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Branching with Uncertain Semantics: Discussion Note on Saunders and Wallace, 'Branching and Uncertainty'.Nuel Belnap & Thomas Müller - 2010 - British Journal for the Philosophy of Science 61 (3):681-696.
    (No abstract is available for this citation).
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Before refraining: Concepts for agency. [REVIEW]Nuel Belnap - 1991 - Erkenntnis 34 (2):137 - 169.
    A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Donkey business.Bart Geurts - 2002 - Linguistics and Philosophy 25 (2):129-156.
    In this paper I present experimental data showing that the interpretation of donkey sentences is influenced by certain aspects of world knowledge that seem to elude introspective observation, which I try to explain by reference to a scale ranging from prototypical individuals (like children) to quite marginal ones (such as railway lines). This ontological cline interacts with the semantics of donkey sentences: as suggested already by the anecdotal data on which much of the literature is based, the effect of world (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • The algebra of events.Emmon Bach - 1986 - Linguistics and Philosophy 9 (1):5--16.
    Download  
     
    Export citation  
     
    Bookmark   142 citations  
  • Consciousness and self-reference.Arthur Falk - 1995 - Erkenntnis 43 (2):151-80.
    Reflection on the self's way of being "in" consciousness yields two arguments for a theory of self-reference not based in any way all all on self-cognition. First, I show that one theory of self-reference predicts an experience of the self because the theory inadequately analyzes the semantical facts about indexicality. I construct a dilemma for this cognitivism, which it cannot get out of, for it requires even solitary self-reference to be based on some original self-knowledge, which is not available. I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • From Lot's Wife to a Pillar of Salt: Evidence that Physical Object is a Sortal Concept.Fei Xu - 1997 - Mind and Language 12 (3-4):365-392.
    Abstract:A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued thatobjectis not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a whole (Spelke, (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Lichtenberg’s Point.Boris Hennig - 2018 - Grazer Philosophische Studien 95 (2):265-286.
    _ Source: _Volume 95, Issue 2, pp 265 - 286 The author argues that when Lichtenberg recommends saying “It is thinking” instead of “I am thinking”, he is not suggesting that thought might be a subjectless occurrence. Lichtenberg’s point is, rather, that we are often the _passive_ subject or medium of our thoughts. The author further argues that Descartes’ _cogito_ argument is not affected by this point, because Descartes does not claim that we must be the active subject of all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • BH-CIFOL: Case-Intensional First Order Logic: Branching Histories.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (5):835-866.
    This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Psychophysics: Plus ça change ….Peter R. Killeen - 1992 - Behavioral and Brain Sciences 15 (3):569-569.
    Download  
     
    Export citation  
     
    Bookmark  
  • Ceteris paribus laws.J. van Brakel - 1992 - Behavioral and Brain Sciences 15 (3):584-585.
    Download  
     
    Export citation  
     
    Bookmark   17 citations