Switch to: References

Add citations

You must login to add citations.
  1. Substitution Inconsistencies in Transparent Intensional Logic.Miloš Kosterec - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):355-371.
    This paper presents several important results for Transparent Intensional Logic. The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Modelling Dynamic Behaviour of Agents in a Multiagent World: Logical Analysis of Wh-Questions and Answers.Martina Číhalová & Marie Duží - forthcoming - Logic Journal of the IGPL.
    In a multiagent and multi-cultural world, the fine-grained analysis of agents’ dynamic behaviour, i.e. of their activities, is essential. Dynamic activities are actions that are characterized by an agent who executes the action and by other participants of the action. Wh-questions on the participants of the actions pose a difficult particular challenge because the variability of the types of possible answers to such questions is huge. To deal with the problem, we propose the analysis and classification of Wh-questions apt for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Transparent quantification into hyperpropositional attitudes de dicto.Bjørn Jespersen & Marie Duží - forthcoming - Linguistics and Philosophy:1-46.
    We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Act‐Type Theories of Propositions.Thomas Hodgson - 2021 - Philosophy Compass 16 (11).
    Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation