Switch to: References

Add citations

You must login to add citations.
  1. Left Subsectivity: How to Infer That a Round Peg is Round.Bjørn Jespersen - 2016 - Dialectica 70 (4):531-547.
    A property modifier is a function that takes a property to a property. For instance, the modifier short takes the property being a Dutchman to the property being a short Dutchman. Assume that being a round peg is a property obtained by means of modification, round being the modifier and being a peg the input property. Then how are we to infer that a round peg is a peg? By means of a rule of right subsectivity. How are we to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Anatomy of a Proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
    This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Transparent Quantification Into Hyperintensional Objectual Attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.
    We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • 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   14 citations