Switch to: References

Add citations

You must login to add citations.
  1. A Theory of Practical Meaning.Carlotta Pavese - 2017 - Philosophical Topics 45 (2):65-96.
    This essay is divided into two parts. In the first part (§2), I introduce the idea of practical meaning by looking at a certain kind of procedural systems — the motor system — that play a central role in computational explanations of motor behavior. I argue that in order to give a satisfactory account of the content of the representations computed by motor systems (motor commands), we need to appeal to a distinctively practical kind of meaning. Defending the explanatory relevance (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
    In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Psychological Reality of Practical Representation.Carlotta Pavese - 2019 - Philosophical Psychology 32 (5):785-822.
    ABSTRACTWe represent the world in a variety of ways: through percepts, concepts, propositional attitudes, words, numerals, recordings, musical scores, photographs, diagrams, mimetic paintings, etc. Some of these representations are mental. It is customary for philosophers to distinguish two main kinds of mental representations: perceptual representation and conceptual representation. This essay presupposes a version of this dichotomy and explores the way in which a further kind of representation – procedural representation – represents. It is argued that, in some important respects, procedural (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Type-Theoretic Logic with an Operational Account of Intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
    We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Rich Situated Attitudes.Kristina Liefke & Mark Bowker - 2017 - Lecture Notes in Computer Science 10247:45-61.
    We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Intensional Verbs in Event Semantics.Graeme Forbes - 2010 - Synthese 176 (2):227 - 242.
    In Attitude Problems, I gave an account of opacity in the complement of intensional transitive verbs that combined neo-Davidsonian event-semantics with a hidden-indexical account of substitution failure. In this paper, I extend the account to clausal verbs.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Language, Linguistics and Cognition.Giosue Baggio, Michiel van Lambalgen & Peter Hagoort - 2012 - In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of Linguistics. North Holland.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2019 - Axiomathes 29 (2):189-205.
    In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A New Logic of Technical Malfunction.Bjørn Jespersen & Massimiliano Carrara - 2013 - Studia Logica 101 (3):547-581.
    Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Agnostic Hyperintensional Semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.
    A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Constructive Belief Reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
    The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.
    Download  
     
    Export citation  
     
    Bookmark   2 citations