The "Logical Reasoning with Diagrams and Sentences" courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be...

This book criticizes current philosophy of language as having altered its focus without adjusting the needed conceptual tools. It develops a new theory of lexical meaning and a new conception of cognition – humans not as information-processing creatu...

In this companion volume to "Bricks and Mortar", Jeffrey Scarborough and Raymond Ravaglia present a series of essays written by senior instructors and division heads at the Stanford Online High School (SOHS). Written from the perspective of the onlin...

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. This third volume in the weak arithmetics collection contains nine substantiv...

This book describes the fundamentals of Jacy, an implementation of a Japanese head-driven phrase structure grammar with many useful linguistic implications. Jacy presents sound information about the Japanese language (syntax, semantics, and pragmatic...