Logic of English

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception.

One must be able to say at all times - in­ stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled "discarded nonsense.

Is a genuine logic of scientific discovery possible? In the essays collected here, Hintikka not only defends an affirmative answer; he also outlines such a logic. It is the logic of questions and answers. Thus inquiry in the sense of knowledge-seeking becomes inquiry in the sense of interrogation. Using this new logic, Hintikka establishes a result that will undoubtedly be considered the fundamental theorem of all epistemology, viz., the virtual identity of optimal strategies of pure discovery with optimal deductive strategies. Questions to Nature, of course, must include observations and experiments. Hintikka shows, in fact, how the logic of experimental inquiry can be understood from the interrogative vantage point. Other important topics examined include induction (in a forgotten sense that has nevertheless played a role in science), explanation, the incommensurability of theories, theory-ladenness of observations, and identifiability.

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades.