Epistemic Sortal Logic

  • Max A. Freund
Part of the Synthese Library book series (SYLI, volume 408)


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.


Epistemic logic Temporal logic Sortal concepts Nativist view of concepts Empiricist view of concepts 


  1. Fodor, J. (1975). The language of thought. Cambridge, MA: Harvard University Press.Google Scholar
  2. Fodor, J. (1981). Representations: Philosophical essays on the foundations of cognitive science. Cambridge, MA: MIT Press.Google Scholar
  3. Fodor, J. (2008). Lot 2: The language of thought revisited. New York: Oxford University Press.CrossRefGoogle Scholar
  4. Freund, M. (2015). Epistemic-temporal logic and sortal predicates. South American Journal of Logic, 1, 219–247.Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Max A. Freund
    • 1
  1. 1.Professor of Logic and Philosophy, Graduate Program in PhilosophyUniversity of Costa RicaSan JoséCosta Rica

Personalised recommendations