29,184 research outputs found

    On the uniform one-dimensional fragment

    Full text link
    The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its relationship to description logics designed to accommodate higher arity relations, with particular attention given to DLR_reg. We also define a description logic version of a variant of U1 and prove a range of new results concerning the expressivity of U1 and related logics

    Truth-value semantics and functional extensions for classical logic of partial terms based on equality

    Full text link
    We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and partial selection functions, independently of any strictness assumption.Comment: 15 pages, to appear in the Notre Dame Journal of Formal Logi

    What's Right With a Syntactic Approach to Theories and Models?

    Get PDF
    Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (iv) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation

    A Language for Ontological Nihilism

    Get PDF
    According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided

    Cellular Automata are Generic

    Full text link
    Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular automaton with unconstrained topology and with the power to create new cells. The advantage is that the latter is closer to physical reality. The overhead of our simulation is quadratic.Comment: In Proceedings DCM 2014, arXiv:1504.0192

    Categories for Dynamic Epistemic Logic

    Full text link
    The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis on the duality between relations and adjoint homomorphisms. Using these categories, we then reformulate the semantics of DEL in a more categorical and algebraic form. Several virtues of the new formulation will be demonstrated: The DEL idea of updating a model into another is captured naturally by the categorical perspective -- which emphasizes a family of objects and structural relationships among them, as opposed to a single object and structure on it. Also, the categorical semantics of DEL can be merged straightforwardly with a standard categorical semantics for first-order logic, providing a semantics for first-order DEL.Comment: In Proceedings TARK 2017, arXiv:1707.0825

    Quantum Information Dynamics and Open World Science

    Get PDF
    One of the fundamental insights of quantum mechanics is that complete knowledge of the state of a quantum system is not possible. Such incomplete knowledge of a physical system is the norm rather than the exception. This is becoming increasingly apparent as we apply scientific methods to increasingly complex situations. Empirically intensive disciplines in the biological, human, and geosciences all operate in situations where valid conclusions must be drawn, but deductive completeness is impossible. This paper argues that such situations are emerging examples of {it Open World} Science. In this paradigm, scientific models are known to be acting with incomplete information. Open World models acknowledge their incompleteness, and respond positively when new information becomes available. Many methods for creating Open World models have been explored analytically in quantitative disciplines such as statistics, and the increasingly mature area of machine learning. This paper examines the role of quantum theory and quantum logic in the underpinnings of Open World models, examining the importance of structural features of such as non-commutativity, degrees of similarity, induction, and the impact of observation. Quantum mechanics is not a problem around the edges of classical theory, but is rather a secure bridgehead in the world of science to come
    • …
    corecore