Logic as a Liberal Art


Book Description

In the twenty-first century there are two ways to study logic. The more recent approach is symbolic logic. The history of teaching logic since World War II, however, casts doubt on the idea that symbolic logic is best for a first logic course. Logic as a Liberal Art is designed as part of a minority approach, teaching logic in the "verbal" way, in the student's "natural" language, the approach invented by Aristotle. On utilitarian grounds alone, this "verbal" approach is superior for a first course in logic, for the whole range of students. For millennia, this "verbal" approach to logic was taught in conjunction with grammar and rhetoric, christened the trivium. The decline in teaching grammar and rhetoric in American secondary schools has led Dr. Rollen Edward Houser to develop this book. The first part treats grammar, rhetoric, and the essential nature of logic. Those teachers who look down upon rhetoric are free, of course, to skip those lessons. The treatment of logic itself follows Aristotle's division of the three acts of the mind (Prior Analytics 1.1). Formal logic is then taken up in Aristotle's order, with Parts on the logic of Terms, Propositions, and Arguments. The emphasis in Logic as a Liberal Art is on learning logic through doing problems. Consequently, there are more problems in each lesson than would be found, for example, in many textbooks. In addition, a special effort has been made to have easy, medium, and difficult problems in each Problem Set. In this way the problem sets are designed to offer a challenge to all students, from those most in need of a logic course to the very best students.




Simply Logical


Book Description

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.







The Handbook on Reasoning-Based Intelligent Systems


Book Description

This book consists of various contributions in conjunction with the keywords OC reasoningOCO and OC intelligent systemsOCO, which widely covers theoretical to practical aspects of intelligent systems. Therefore, it is suitable for researchers or graduate students who want to study intelligent systems generally."




English Composition


Book Description

This OER textbook has been designed for students to learn the foundational concepts for English 100 (first-year college composition). The content aligns to learning outcomes across all campuses in the University of Hawai'i system. It was designed, written, and edited during a three day book sprint in May, 2019.




Mental Logic


Book Description

Over the past decade, the question of whether there is a mental logic has become subject to considerable debate. There have been attacks by critics who believe that all reasoning uses mental models and return attacks on mental-models theory. This controversy has invaded various journals and has created issues between mental logic and the biases-and-heuristics approach to reasoning, and the content-dependent theorists. However, despite its pertinence to current issues in cognition, few cognitive scientists really know what the mental-logic theory is, and misapprehensions are prevalent. This volume is a comprehensive presentation of the theory of mental logic and its implications for cognition and development, including the acquisition of language. The theory offered here has three parts. Part I is the mental logic per se that contains a set of inference schemas. Part II is a reasoning program that applies the schemas in lines of reasoning, including a direct-reasoning routine and more sophisticated indirect-reasoning strategies. Part III of the theory is pragmatic, proposing that the basic meaning of each logic particle is in the inferences that are sanctioned by its inference schemas.




Writings, 1934-1947


Book Description

I.B.Tauris is delighted to announce the reissue in paperback in three volumes of the definitive, most comprehensive edition, in the finest translations and fully annotated, of the writings of this great filmmaker, theorist and teacher of film - and one of the most original aesthetic thinkers of the twentieth century. Volume 3 follows on from the 1922-34 writings of Volume 1 and parallels Volume 2's essays on the theory of montage. In the period covered by this volume, Eisenstein's film-making ran into the difficulties generated by the Soviet authorities' increasingly restrictive definition of Socialist Realism, by the show trials and the purges, the Second World War, and the post-war proclamation of rigid cultural orthodoxy by Stalin's henchman, Zhdanov. Here we experience Eisenstein's reaction to this hostile environment, as filmmaker, theorist and teacher, from his public obeisance over 'Bezhin Meadow' to his private defiance with 'Ivan the Terrible'.