You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Contributions to Logic and Methodology in Honor of J. M. Boche?ski focuses on the influence, contributions, and legacy of J. M. Boche?ski in the fields of logic and methodology. The selection first offers information on some remarks on inferential deduction, modal logic with eight modalities, and method and logic in presocratic explanation. Discussions focus on inference, evidence, hypothesis, generalization, semantical discussion, proof of necessity, multiple dialogues, and construction trees. The text then elaborates on reification, quotation, and nominalization, logic of preference and choice, and sense, denotation, and the context of sentences. Topics include axioms of preference and of ...
An introduction to philosophy discusses basic philosophical issues, including knowledge, thinking, truth, values, humanity, and being
This work provides a general guide to the domain of contemporary philosophy for the nonspecialist.
This is a controversial collection of brand new papers by some outstanding philosophers and scholars. Its aim is to offer comprehensive theistic replies to the traditional arguments against the existence of God.
On February 24-25, 1956, in a closed session of the 20th Congress of the Communist Party of the Soviet Union, Nikita S. Khrushchev made his now famous speech on the crimes of the Stalin era. That speech marked a break with the past and it marked the end of what J.M. Bochenski dubbed the "dead period" of Soviet philosophy. Soviet philosophy changed abruptly after 1956, especially in the area of dialectical materialism. Yet most philosophers in the West neither noticed nor cared. For them, the resurrection of Soviet philosophy, even if believable, was of little interest. The reasons for the lack of belief and interest were multiple. Soviet philosophy had been dull for so long that subtle diffe...
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on the...
Introduction to Logic combines likely the broadest scope of any logic textbook available with clear, concise writing and interesting examples and arguments. Its key features, all retained in the Second Edition, include: • simpler ways to test arguments than those available in competing textbooks, including the star test for syllogisms • a wide scope of materials, making it suitable for introductory logic courses (as the primary text) or intermediate classes (as the primary or supplementary book) • engaging and easy-to-understand examples and arguments, drawn from everyday life as well as from the great philosophers • a suitability for self-study and for preparation for standardized t...