How hyper are hyperpropositions?

Linguistics and Language Compass

Volumn 4, Issue 2, 2010, Pages 96-106

  Jespersen, Bjørn ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77955996182     PISSN: None     EISSN: 1749818X     Source Type: Journal    
DOI: 10.1111/j.1749-818X.2009.00181.x     Document Type: Article

References (29)

1. Anderson C A. Alonzo Church's contributions to philosophy and intensional logic. The Bulletin of Symbolic Logic 1998, 4:129-71.
2. Bealer George. Quality and concept 1982, Oxford, Clarendon Press
3. Carnap Rudolf. Meaning and necessity 1947, Chicago, London, University of Chicago Press
4. Church Alonzo. The calculi of lambda conversion. annals of mathematical studies 1941, Princeton, Princeton University Press
5. Church Alonzo. Intensional isomorphism and identity of belief. Philosophical Studies 1954, 5:65-73.
6. Church Alonzo. A revised formulation of the logic of sense and denotation. Alternative (1). Noûs 1993, 27:141-57.
7. Cresswell Max J. Hyperintensional logic. Studia Logica 1975, 34:25-38.
8. Cresswell Max J. Structured meanings 1985, Cambridge, MIT Press
9. Duží Marie, Jespersen Bjthomampersand, Materna Pavel. Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic forthcoming, Springer
10. Duží Marie, Materna Pavel. Structured meanings and concepts forthcoming, Proceedings of ECAP VI, London, College Publications
11. Fagin Ronald, Halpern Joseph Y, Moses Yoram, Vardi Moshe Y. Reasoning about knowledge 1995, Cambridge, London, MIT Press
12. Gaskin Richard. The unity of the proposition 2008, Oxford, Oxford University Press
13. Hodes Harold T. The composition of Fregean thoughts. Philosophical Studies 1982, 41:161-78.
14. Jespersen Bjthomampersand. Predication and extensionalization. Journal of Philosophical Logic 2008, 37:479-99.
15. Johnson-Laird Philip N. Procedural semantics. Cognition 1977, 5:189-214.
16. Kripke Saul A. Naming and necessity 1980, Oxford, Basil Blackwell
17. Levesque H J. A logic of implicit and explicit belief. AAAI-84: proceedings of the fourth National Conference on Artificial Intelligence. 1984, 198-202.
18. Lewis David. General semantics. Semantics of natural language 1972, 169-218. Davidson DHarman G. ed. by, Dordrecht, Reidel
19. Moschovakis Yannis N. Sense and denotation as algorithm and value. Lecture notes in logic 2 1994, 210-49. Väänänen JOikkonen J. ed. by, Berlin, Springer
20. Moschovakis Yannis N. A logical calculus of meaning and synonymy. Linguistics and Philosophy 2006, 29:27-89.
21. Muskens Reinhard. Sense and the computation of reference. Linguistics and Philosophy 2005, 28:473-504.
22. Penco Carlo. Frege: two theses, two senses. History and Philosophy of Logic 2003, 24:87-109.
23. Sullivan Arthur. Singular propositions and singular thoughts. Notre Dame Journal of Formal Logic 1998, 39:114-27.
24. Sundholm Gö Proof-theoretical semantics and Fregean identity criteria for propositions. The Monist 1994, 77:294-314.
25. Thomason Richmond. A model theory for propositional attitudes. Linguistics and Philosophy 1980, 4:47-70.
26. Tichý Pavel. The foundations of Frege's logic 1988, Berlin, De Gruyter
27. Tichý Pavel. Collected papers in logic and philosophy 2004, Svoboda VJespersen BCheyne C. ed. by, Prague, Czech Academy of Sciences, Dunedin: University of Otago Press
28. Woods William A. Procedural semantics as a theory of meaning. Elements of discourse understanding 1981, 300-34. Joshi A KSag I AWebber B L. ed. by, Cambridge, Cambridge University Press
29. Zalta Edward. Intensional logic and the metaphysics of intentionality 1988, Cambridge, London, MIT Press