Document Type

Report

Date

6-1991

Embargo Period

5-2-2012

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.

Additional Information

School of Computer and Information Science, Syracuse University, SU-CIS-91-04

Source

local

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.