First Order Theories of Individual Concepts and Propositions.

Abstract

We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1979
Accession Number
ADA071422

Entities

People

  • John McCarthy

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Languages
  • Computer Programs
  • Computer Science
  • Computers
  • Digital Information
  • Formal Languages
  • Governments
  • Language
  • Linguistics
  • Models
  • New York
  • Notation
  • Philosophy
  • Semantics
  • Standards
  • Theorems

Readers

  • Artificial Intelligence
  • Educational Psychology

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy