Diversity Reading List

Abstract:

¿Seguimos reglas de inferencia al razonar? Por más intuitiva que resulte la respuesta positiva a esta pregunta, hay una serie de dificultades para vincular reglas lógicas y prácticas inferenciales. El Problema de la Adopción de Reglas de Inferencia constituye un desafío para todo aquel que proponga que podemos seguir nuevos patrones inferenciales a partir del reconocimiento de reglas. En esta sección temática se exploran diversos asuntos conectados a si podemos seguir un nuevo patrón inferencial en virtud de una regla.

Abstract:

After introducing the adoption problem (AP) as the claim that certain basic logical principles cannot be adopted, I offer a characterization of this notion as a two-phase process consisting in (1) the acceptance of a basic logical principle, and (2) the development, in virtue of Phase 1, of a practice of inferring in accordance with that principle. The case of a subject who does not infer in accordance with universal instantiation is considered in detail. I argue that the AP has deep and wide implications for the epistemology of logic, extending well beyond Kripke’s original target, viz. Putnam’s proposal for the empirical revision of logic and its background Quinean epistemology. In particular, the AP questions whether basic logical principles could have a fundamental role in our inferential practices, drawing our attention to the nature of basic inferences and the need to have a clearer conception of them before taking a stand on the matter of the epistemic justification of the logical principles.

Abstract:

Abstract: In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our inferences, cannot depend on our adoption of logico-linguistic conventions.

Abstract:

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems.

Abstract:

This chapter asks whether there is any such thing as feminist logic. It defines feminism and logic, and then goes on to present and evaluate four possible views, introducing and critiquing the work of Andrea Nye, Val Plumwood, and Susan Stebbing. It argues that Stebbing’s approach—on which feminism is one among many political applications of logic—is correct, but that feminist logic could do more, by providing a formal framework for the study of social hierarchies, much as it presently provides a formal framework for the study of numbers and similarity rankings among possible worlds.

Abstract: This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic - what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics - Logicism, Intuitionism, Formalism, Realism - and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam are among the philosophers considered along the way.

Publisher's Note: This teaching book is designed to help its readers to reason systematically, reliably, and to some extent self-consciously, in the course of their ordinary pursuits-primarily in inquiry and in decision making. The principles and techniques recommended are explained and justified - not just stated; the aim is to teach orderly thinking, not the manipulation of symbols. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll.

Publisher's Note: Jennifer Fisher's On the Philosophy of Logic explores questions about logic often overlooked by philosophers. Which of the many different logics available to us is right? How would we know? What makes a logic right in the first place? Is logic really a good guide to human reasoning? An ideal companion text for any course in symbolic logic, this lively and accessible book explains important logical concepts, introduces classical logic and its problems and alternatives, and reveals the rich and interesting philosophical issues that arise in exploring the fundamentals of logic.

Summary: Grover argues that one should be unconcerned about the liar paradox. In formal languages there are uniform ties between syntax and semantics: a term, in all its occurrences, carries a fixed meaning; and sequences of sentences that are (syntactically) proofs are always (semantically) inferences. These two features do not hold of natural languages. Grover makes use of this claim to argue that there are no arguments to contradictions from liar sentences in natural languages, as the relevant syntactic 'moves' do not come with relevant semantic 'moves'.

Abstract: Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.