- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Information and Knowledge: A Constructive Type-theoretical Approach
Springer (2007)
Abstract
The constructive reformulation of the semantic theory suggests two basic principles to be assumed: first, the distinction between proper knowledge, expressed in judgemental form, and the assertion conditions for such knowledge; second, ...Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
An epistemic constructive definition of information.G. Primiero - 2007 - Logique Et Analyse 50:391-416.
A contextual type theory with judgemental modalities for reasoning from open assumptions.Giuseppe Primiero - 2012 - Logique and Analyse 220:579-600.
A contextual type theory with judgemental modalities for reasoning from open assumptions.G. Primiero - 2012 - Logique Et Analyse 55:579-600.
Assertion and grounding: a theory of assertion for constructive type theory.Maria Schaar - 2011 - Synthese 183 (2):187-210.
Assertion and grounding: a theory of assertion for constructive type theory.Maria van der Schaar - 2011 - Synthese 183 (2):187-210.
Knowledge and Its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory.Shahid Rahman, Radmila Jovanovic & Nicolas Clerbout - 2016 - In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond, Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag. pp. 63-122.
The cognitive act and the first-person perspective: an epistemology for constructive type theory.Maria van der Schaar - 2011 - Synthese 180 (3):391 - 417.
Niemarginalne uwagi w sprawie semantycznej teorii poznania Kazimierza Ajdukiewicza.Adam Olech - 2019 - Studia Philosophica Wratislaviensia 14 (2):7-35.
Analytics
Added to PP
2009-01-28
Downloads
129 (#350,516)
6 months
13 (#883,562)
2009-01-28
Downloads
129 (#350,516)
6 months
13 (#883,562)
Historical graph of downloads
Author's Profile
Citations of this work
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press.
Making Sense of Sense Containment.Antonio Negro - 2017 - History and Philosophy of Logic 38 (4):364-385.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation