Document Type

Technical Report

Publication Date

1989-09-01

Filename

WUCS-89-41.pdf

DOI:

10.7936/K79K48KB

Technical Report Number

WUCS-89-41

Abstract

There are three theses here: • Non-computationally conceived inference merely expands notation. This includes induction as well as deduction, and thus both deserve the adjective non-ampliative. Deriving entailments merely expands shorthand. All of the familiar formalisms for reasoning do just this. • There now exist examples of formalism for reasoning that do something else. They are deliberative, and to say in what way they are deliberative requires reference to the process through which they compute their entailments. • The original ampliative/non-ampliative terminology best survives as referring to this new distinction. Viewed formally, all other attempted distinctions either presume deduction to be privileged, or else fail to separate inference that actually tells us something new from inference that simple rehashes what has already been represented.

Comments

Permanent URL: http://dx.doi.org/10.7936/K79K48KB

Download

Share

COinS