Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size

Philosophia Verlag GmbH

Home arrow Philosophia Introductiones arrow Computing and Logic
Info: Your browser does not accept cookies. If you want to put products into your cart and purchase them you need to enable cookies.


 


Glenn J. Satty, Thomas Blakeley, James G. Colbert

Computing and Logic

Mathematic and Language

ISBN: 3-88405-071-0

Price: €22.00 (including 7 % tax)


This text is designed to help students overcome their hesitancy in the face of computing by leading them through simple mathematics, including set-theory and two forms of logic (propositional logic and traditional syllogistics), to basic questions of natural-language parsing.

After introduction of basic notions on propositions and the nature of logic, the earlier parts center on sets and operations on sets. A discussion on quantifiers forms the bridge to considerations of mathematical logic, whence the discussion moves to Aristotelian syllogistics with its formal proofs and specific form of demonstration.

In the last part of the book, the student is encouraged to follow the logical structure of a simple syntactic parser. This is used, then, as a foundation for presentation of some elements of a semantic parser, which approaches the analysis of sentences from the viewpoint of traditional category theory.

Throughout the book, the more difficult questions of mathematics and philosophy of logic are illustrated with the use of simple BASIC routines, plus some illustrations in PROLOG, a fifth-generation computing language.

This text is recommended for mathematics classes, where the use of the computer will support traditional methods; and for philosophy courses, where digitalized logic can help illustrate the evolution of formal methods; for logic courses that can benefit from ample exercises in several computer languages; and for linguistic sectors that involve parsing and questions of natural language representation in formal languages.

Suitable as textbook for courses in Logic (undergraduate level), Introduction to Computer Programming, Symbolic Logic.

Of interest to:
Philosophers, computer scientists, linguists, logicians, mathematicians.


Munich: 1988, 223 pp., index, selected bibliography, pb.


 





new publications

Cosmetics and Makeup
Cosmetics and Makeup
€9.80
Add to Cart

The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
€14.80
Add to Cart

The Beauty of Landscape
The Beauty of Landscape
€9.80
Add to Cart

Aesthetic Experience and the Experience of Poetry
Aesthetic Experience and the Experience of Poetry
€14.80
Add to Cart

An Aesthetics of Insight
An Aesthetics of Insight
€14.80
Add to Cart

The Case Against Beauty
The Case Against Beauty
€14.80
Add to Cart

The Beauty of Doing: Remarks on the Appreciation of Conceptual Art
The Beauty of Doing: Remarks on the Appreciation of Conceptual Art
€14.80
Add to Cart

The Value of Art: On Meaning and Aesthetic Experience in Difficult Modern Art
The Value of  Art: On Meaning and Aesthetic Experience in Difficult Modern Art
€9.80
Add to Cart

Art, Beauty, and Criticism
Art, Beauty, and Criticism
€9.80
Add to Cart

Beauty and Bellís Aesthetic Emotion
Beauty and Bellís Aesthetic Emotion
€14.80
Add to Cart