Switch to: References

Citations of:

Anatomy of a proposition

Synthese 196 (4):1285-1324 (2019)

Add citations

You must login to add citations.
  1. If Structured Propositions Are Logical Procedures Then How Are Procedures Individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.
    This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Hyperintensional Logics for Everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.
    We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Propositions as Structured Cognitive Event‐Types.Wayne A. Davis - 2021 - Philosophy and Phenomenological Research 102 (3):665-692.
    Philosophy and Phenomenological Research, EarlyView.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark