Results by title

138 books match the query 'Logic' and 13 start with s

cover of Science and an African Logic

Science and an African Logic

Helen Verran

University of Chicago Press, 2001

Does 2 + 2 = 4? Ask almost anyone and they will unequivocally answer yes. A basic equation such as this seems the very definition of certainty, but is it?

In this captivating book, Helen Verran addresses precisely that question by looking at how science, mathematics, and logic come to life in Yoruba primary schools. Drawing on her experience as a teacher in Nigeria, Verran describes how she went from the radical conclusion that logic and math are culturally relative, to determining what Westerners find so disconcerting about Yoruba logic, to a new understanding of all generalizing logic. She reveals that in contrast to the one-to-many model found in Western number systems, Yoruba thinking operates by figuring things as wholes and their parts. Quantity is not absolute but always relational. Certainty is derived not from abstract logic, but from cultural practices and associations.

A powerful story of how one woman's investigation in this everday situation led to extraordinary conclusions about the nature of numbers, generalization, and certainty, this book will be a signal contribution to philosophy, anthropology of science, and education.
[more]
cover of Self to Self: Selected Essays: Second Edition

Self to Self

Selected Essays: Second Edition

J. David Velleman

Michigan Publishing Services, 2020

Self to Self brings together essays on personal identity, autonomy, and moral emotions by the philosopher J. David Velleman. Although the essays were written independently, they are unified by an overarching thesis – that there is no single entity denoted by “the self ” – as well as by themes from Kantian ethics, psychoanalytic theory, social psychology, and Velleman’s work in the philosophy of action. Two of the essays were selected by the editors of Philosophers’ Annual as being among the ten best papers in their year of publication.

Self to Self will be of interest to philosophers, psychologists, and others who theorize about the self.

[more]
cover of Self-Reference

Self-Reference

Thomas Bolander, Vincent F. Hendricks, and Stig Andur Pedersen

CSLI, 2006

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, Self-Reference reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.
[more]
cover of Situation Theory and Its Applications, Volume 1

Situation Theory and Its Applications, Volume 1

Edited by Robin Cooper, Kuniaki Mukai, and John Perry

CSLI, 1990

Situation Theory grew out of attempts by Jon Barwise in the late 1970s to provide semantics for "naked-infinitive" perceptual reports such as 'Claire saw Jon run'. Barwise's intuition was that Claire didn't just see Jon, an individual, but Jon doing something, a situation. Situations are individuals having properties and standing in relations. A theory of situations would allow us to study and compare various types of situations or situation-like entities, such as facts, events and scenes. One of the central themes of situation theory is that a theory of meaning and reference should be set within a general theory of information, one moreover that is rich enough to do justice to perception, communication and thought. By now many people have contributed to the development and application of situation theory, constrained by the need to account for certain kinds of semantic phenomena, and by the need to give a rigorous mathematical account of the principles of information that underwrite the theory. This volume presents work that evolved out of the First Conference on Situation Theory and Its Applications held by CSLI at Asilomar, California, in March 1989. The nineteen papers included here fall into three categories. Those in Part I explore logical and mathematical issues that arise within situation theory. The papers in Part II connect situation theory with other approaches to logical issues, while those in Part III apply various version of situation theory to a number of linguistic issues.
[more]
cover of Situation Theory and Its Applications, Volume 2

Situation Theory and Its Applications, Volume 2

Edited by Jon Barwise, Jean Mark Gawron, Gordon Plotkin, and Syun Tutiya

CSLI, 1991

Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical aplications, and the visual representation of the information in computer systems. Jon Barwise is a professor of philosophy, mathematics, and logic at indiana university in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. Center for the Study of Language and Information- Lecture Notes, Number 26
[more]
cover of Situation Theory and Its Applications, Volume 3

Situation Theory and Its Applications, Volume 3

Edited by Peter Aczel, David Israel, Stanley Peters, and Yasuhiro Katagiri

CSLI, 1993

These essays evolved from research presented at the Third International Conference on situation theory and its applications. Situation Theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, linguistics, logic, philosophy, and mathematics, it aims to provide a common set of tools for the analysis of phenomena from all of these fields. The research presented in this volume reflects a growing international and interdisciplinary activity of importance to many fields concerned with the information. Peter Aczel is professor of mathematical logic and computer logic at Manchester University. David Israel is a senoir computer scientist in the Artificial Intelligence Center at SRI International abd a consulting professor in the Philosophy Department at Stanford University. Yasuhiro Katagiri is a research scientist in the Information Science Research Laboratory of NTT Basic Research Laboratories. Stanley Peters is professor of linguistics and symbolic systems at Stanford University.
[more]
cover of Situations and Attitudes

Situations and Attitudes

Jon Barwise and John Perry

CSLI, 1983

In this provocative book, Barwise and Perry tackle the slippery subject of "meaning," a subject that has long vexed linguists, language philosophers, and logicians. Meaning does not exist solely within words and sentences but resides largely in the situation and the attitudes brought to it by those involved. The authors present an unusually lucid treatment of important innovations in the field of natural semantics, contending that the standard view of logic (as derived from Frege, Russell, and work in mathematics and logic) is inappropriate for many of the uses to which it has been put by scholars. In Situations and Attitudes they provide the basics of a realistic model-theoretic semantics of natural language, explain the main ideas of the theory, and contrast them with those of competing theories.
[more]
cover of Socratic Logic 2e paper

Socratic Logic 2e paper

Peter Kreeft

St. Augustine's Press, 2005

[more]
cover of Socratic Logic 3e pbk: A Logic Text Using Socratic Method, Platonic Questions, and Aristotelian Principles

Socratic Logic 3e pbk

A Logic Text Using Socratic Method, Platonic Questions, and Aristotelian Principles

Peter Kreeft

St. Augustine's Press, 2008

[more]
cover of Speech and Phenomena: And Other Essays on Husserl's Theory of Signs

Speech and Phenomena

And Other Essays on Husserl's Theory of Signs

Jacques Derrida

Northwestern University Press, 1973

In Speech and Phenomena, Jacques Derrida situates the philosophy of language in relation to logic and rhetoric, which have often been seen as irreconcilable criteria for the use and interpretations of signs. His critique of Husserl attacks the position that language is founded on logic rather than on rhetoric; instead, he claims, meaningful language is limited to expression because expression alone conveys sense. Derrida's larger project is to confront phenomenology with the tradition it has so often renounced--the tradition of Western metaphysics.
[more]
cover of Statement and Referent: An Inquiry into the Foundations of our Conceptual Order

Statement and Referent

An Inquiry into the Foundations of our Conceptual Order

David Shwayder

CSLI, 2008

Plato’s Parmenides and Aristotle’s Metaphysics initiated the discussion of the “First Philosophy” in the Western canon. Here, David Shwayder continues this debate by considering statements as the fundamental bearers of truth-values. Systematically moving from action to utterance, Shwayder argues that the category of “bodies” is fundamental to the human scheme of conceptualization and that if we had no capacity to refer to bodies then we would be unable to address referents from other categories.

[more]
cover of Studies in Weak Arithmetics, Volume 1

Studies in Weak Arithmetics, Volume 1

Edited by Patrick Cégielski

CSLI, 2009

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey on a class of tools called pebble games; the fact that the reals e and pi have approximations expressed by first-order formulas using bounded quantifiers; properties of infinite pictures depending on the universe of sets used; a language that simulates in a sufficiently nice manner all  algorithms of a certain restricted class; the logical complexity of the axiom of infinity in some variants of set theory without the axiom of  foundation; and the complexity to determine whether a trace is included in another one.

[more]
cover of Studies in Weak Arithmetics, Volume 3

Studies in Weak Arithmetics, Volume 3

Edited by Patrick Cegielski, Ali Enayat, and Roman Kossak

CSLI, 2013

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 substantive papers based on lectures delivered during the two last meetings of the conference series Journées sur les Arithmétiques, held in 2014 at the University of Gothenburg, Sweden, and in 2015 at the City University of New York Graduate Center.
[more]