Epistemic Sortal Logic
A notion of an ideal sense of knowledge is introduced. A formal language for sortals with a propositional operator formally representing such a notion is then defined. The formal language will contain temporal operators as well. A formal semantics for the language is defined and on its basis three sorts of semantic validity are distinguished, which correspond to nativist and non-nativist views of concept-formation. A formal system for epistemic-radical nativism is stated. Soundness and completeness can be shown for the system. The soundness and completeness proofs for non-nativist as well as partial nativist validity are left as open problems.
KeywordsEpistemic logic Temporal logic Sortal concepts Nativist view of concepts Empiricist view of concepts
- Fodor, J. (1975). The language of thought. Cambridge, MA: Harvard University Press.Google Scholar
- Fodor, J. (1981). Representations: Philosophical essays on the foundations of cognitive science. Cambridge, MA: MIT Press.Google Scholar
- Freund, M. (2015). Epistemic-temporal logic and sortal predicates. South American Journal of Logic, 1, 219–247.Google Scholar