Document Type
Report
Date
6-1991
Keywords
logic
Language
English
Disciplines
Computer Sciences
Description/Abstract
This paper presents a logic appropriate for mass terms, that is, a logic that does not presuppose interpretation in discrete models. Models may range from atomistic to atomless. This logic is a generalization of the author's work on natural language reasoning. The following claims are made for this logic. First, absence of variables makes it simpler than more conventional formalizations based on predicate logic. Second, capability to deal effectively with discrete terms, and in particular with singular terms, can be added to the logic, making it possible to reason about discrete entities and mass entities in a uniform manner. Third, this logic is similar to surface English, in that the formal language and English are "well-translatable," making it particularly suitable for natural language applications. Fourth, deduction performed in this logic is similar to syllogistic, and therefore captures an essential characteristic of human reasoning.
Recommended Citation
Purdy, William C., "A Variable-Free Logic for Mass Terms" (1991). Electrical Engineering and Computer Science - Technical Reports. 124.
https://surface.syr.edu/eecs_techreports/124
Source
local
Additional Information
School of Computer and Information Science, Syracuse University, SU-CIS-91-04