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 (...)
    No categories
    Direct download (4 more)  
    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.
    Direct download (2 more)  
    Export citation