Show Less
Restricted access

Philosophic Thoughts

Essays on Logic and Philosophy

Series:

Gary James Jason

Philosophic Thoughts: Essays on Logic and Philosophy comprises a collection of essays on logic and philosophy. The first section features essays that address issues in informal logic, such as the question of whether fallacies are common and the nature of the ad baculum and ad hominem fallacies. The section also includes essays on formal dialogue logic and its applications in computer science. The second section contains articles on epistemology and philosophy of science, including issues surrounding induction, the role of error in computer science, the relation of science to common sense, and the concept of discovery. The third section features ethical issues – from the sketching out of an ethical theory to the discussion of a variety of ethical issues, such as the ethics of organ sales, tort reform, free trade, and computer ethics. The final section includes essays on a number of miscellaneous issues, such as using thought experiments to teach philosophy, the soul-making defense against the problem of free will, and the limitations of postmodern philosophy.
Show Summary Details
Restricted access

8. “Dialog as an Abstract Data Type”

Extract

| 93 →

8

“Dialog as an Abstract Data Type”

was delivered in an AI seminar class at University of California, Irvine in 1987

Since the 1930s at least, a number of scholars have investigated non-classical (sometimes termed “deviant” or “philosophical”) logics. Such logics typically seek to modify or extend standard first order logic to handle types of argumentation or explicate forms of reasoning besides that found in mathematical (or more exactly, extensional) discourse. We may divide these logics into non-classical assertion logics (sometimes called “assertoric” logics), which deal with the relations between statements (entailment, consistency or proof relations). These include many-valued, modal, causal, temporal and fuzzy logics. Non-assertion logics are those which deal with relations between statements and other linguistic objects. These include erotetic (i.e., question), imperative and dialog logics.

You are not authenticated to view the full text of this chapter or article.

This site requires a subscription or purchase to access the full text of books or journals.

Do you have any questions? Contact us.

Or login to access all content.