b. 1933
Nino Cocchiarella is a contemporary American logician and philosopher best known for his contributions to formal ontology, tense logic, and second-order predicate logic. He developed a systematic framework of conceptual realism as a foundation for logic and language, and made significant technical contributions to the formal treatment of temporal and modal contexts. He spent much of his career at Indiana University.
Developed conceptual realism as a formal ontological framework grounding predication and reference
Made foundational contributions to tense logic, including analysis of future contingencies and temporal operators
Extended second-order predicate logic to handle intensional and temporal contexts rigorously
Authored 'Formal Ontology and Conceptual Realism' (2007), a systematic treatment of logic and ontology
Distinguished between referential and predicable concepts in a formal theory of universals