Author: Alfred Tarski
Publisher: Courier Corporation
ISBN: 0486318893
Category : Mathematics
Languages : en
Pages : 271
Get Book Here
Book Description
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
Author: William Spalding
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 388
Get Book Here
Book Description
Author: Jean Cavailles
Publisher: MIT Press
ISBN: 1913029417
Category : Philosophy
Languages : en
Pages : 143
Get Book Here
Book Description
A new translation of the final work of French philosopher Jean Cavaillès. In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin—logical or ontological—of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new.
Author: James Mahoney
Publisher: Princeton University Press
ISBN: 0691214956
Category : Political Science
Languages : en
Pages : 410
Get Book Here
Book Description
"Mahoney's starting point is the problem of essentialism in social science. Essentialism--the belief that the members of a category possess hidden properties ("essences") that make them members of the category and that endow them with a certain nature--is appropriate for scientific categories ("atoms", for instance) but not for human ones ("revolutions," for instance). Despite this, much social science research takes place from within an essentialist orientation; those who reject this assumption goes so far in the other direction as to reject the idea of an external reality, independent of human beings, altogether. Mahoney proposes an alternative approach that aspires to bridge this enduring rift in the social sciences between those who take a scientific approach and assume that social science categories correspond to external reality (and thus believe that the methods used in the natural sciences are generally appropriate for the social sciences) and those who take a constructivist approach and believe that because the categories used to understand the social world are humanly-constructed, they cannot possibly follow the science of the natural world. As the name suggests, scientific constructivism brings in aspects of both views and attempts to unite them. Drawing from cognitive science, it focuses on using the rational parts of our brain machinery to overcome the limitations and deeply seated biases (such as essentialism) of our evolved minds. Specifically, Mahoney puts forth a "set-theoretic analysis" that focuses on "sets" of categories as they exist in the mind that are also subject to the mathematical logic of set-theory. He spends the first four chapters of the book establishing the foundations and methods for set-theoretic analysis, the next four chapters looking and how this analysis fits with the existing tools of social science, and the final four chapters focusing on how this approach can be used to study and understand cases"--
Author: Irving M. Copi
Publisher: Routledge
ISBN: 1315510871
Category : Philosophy
Languages : en
Pages : 897
Get Book Here
Book Description
Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades. Its scrupulous attention to detail and precision in exposition and explanation is matched by the greatest accuracy in all associated detail. In addition, it continues to capture student interest through its personalized human setting and current examples. The 14th Edition of Introduction to Logic, written by Copi, Cohen & McMahon, is dedicated to the many thousands of students and their teachers - at hundreds of universities in the United States and around the world - who have used its fundamental methods and techniques of correct reasoning in their everyday lives.
Author: Rex Page
Publisher: MIT Press
ISBN: 0262039184
Category : Computers
Languages : en
Pages : 305
Get Book Here
Book Description
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.
Author: Aladdin M. Yaqub
Publisher: Broadview Press
ISBN: 1551119935
Category : Philosophy
Languages : en
Pages : 438
Get Book Here
Book Description
This book reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic (term, sentence, and predicate logic) and the philosophical issues that surround those systems. The exposition is lucid, clear, and engaging. Practical methods are favored over the traditional, and creative approaches over the merely mechanical. The author’s guiding principle is to introduce classical logic in an intellectually honest way, and not to shy away from difficulties and controversies where they arise. Relevant philosophical issues, such as the relation between the meaning and the referent of a proper name, logical versus metaphysical possibility, and the conceptual content of an expression, are discussed throughout. In this way, the book is not only an introduction to the three main systems of classical logic, but also an introduction to the philosophy of classical logic.
Author: Craig DeLancey
Publisher: Open SUNY Textbooks
ISBN: 9781942341437
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Peter Godfrey-Smith
Publisher: University of Chicago Press
ISBN: 022677113X
Category : Philosophy
Languages : en
Pages : 412
Get Book Here
Book Description
How does science work? Does it tell us what the world is “really” like? What makes it different from other ways of understanding the universe? In Theory and Reality, Peter Godfrey-Smith addresses these questions by taking the reader on a grand tour of more than a hundred years of debate about science. The result is a completely accessible introduction to the main themes of the philosophy of science. Examples and asides engage the beginning student, a glossary of terms explains key concepts, and suggestions for further reading are included at the end of each chapter. Like no other text in this field, Theory and Reality combines a survey of recent history of the philosophy of science with current key debates that any beginning scholar or critical reader can follow. The second edition is thoroughly updated and expanded by the author with a new chapter on truth, simplicity, and models in science.
Author:
Publisher: Taylor & Francis
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
