Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of (...) knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges. The topics discussed include: the passage from Tarski's definition of truth to his definition of logical consequence, the need for a non-proof-theoretic definition, the idea of a semantic definition, the adequacy conditions of preservation of truth, formality, and necessity, the nature, (...) structure, and totality of models, the logicality problem that threatens the definition of logical consequence, a general solution to the logicality, formality, and necessity problems/challenges, based on the isomorphism-invariance criterion of logicality, philosophical background and justification of the isomorphism-invariance criterion, and major criticisms of the semantic definition and the isomorphism-invariance criterion. (shrink)

Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

This essay reflects on 25 years since Christian Bioethics began publication and, in somewhat autobiographical fashion, engages two core concerns. First, although “non-ecumenism” may often appear a pretext for contention and division, I suggest that a respectful non-ecumenism may provide the opportunity for dialogue and the occasion for employing certain tools from religious studies. Second, although many are skeptical about the possibilities of identifying a “common morality,” a defense of that notion provides a plausible explanation for the development of limited (...) consensus on some issues in bioethics. (shrink)

In the early part of the 20th century the logical positivists launched a powerful attack on traditional philosophy, rejecting the very idea of philosophy as a substantive discipline and replacing it with a practical, conventionalist, meta-theoretical view of philosophy. The positivist critique was based on a series of dichotomies: the analytic vs. the synthetic, the external vs. the internal, the apriori vs. the empirical, the meta-theoretical vs. the object- theoretical, the conventional vs. the factual. Quine's attack on the positivists' dichotomies (...) was, by extension (if not by intention), also an attack on their critique of philosophy. Quine's own theory, however, in time took an extreme naturalistic turn that, if anything, deepened the schism between philosophy and knowledge. -/- In this paper I show that many of Quine's early philosophical ideas - his denial of the analytic-synthetic distinction, his thesis of the interconnectedness of knowledge, his universal revisability thesis, his principle of the inseparability of language and theory, his methodological pragmatism, and his realism - are in fact compatible with a substantive philosophy. Moreover, certain inner tensions in Quine's theory naturally lead to a new model of knowledge in which philosophy plays a substantive role: not as a "first philosophy", or as a "meta-science", or as a "chapter in psychology", but as an independent discipline in its own right, alongside, continuous with, and complementary to, science. (shrink)

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)

Kant is known for having said relatively little about truth in Critique of Pure Reason. Nevertheless, there are important lessons to be learned from this work about truth, lessons that apply to the contemporary debate on the nature and structure of truth and its theory. In this paper I suggest two such lessons. The first lesson concerns the structure of a substantive theory of truth as contrasted with a deflationist theory; the second concerns the structure of a correspondence theory of (...) truth. The first lesson warns us against conceiving of a substantive theory of truth in a way that led Kant to conclude that such a theory is unviable. In so doing it indirectly suggests what a viable substantive theory of truth would be like. The second lesson teaches us that a correspondence theory of truth need not be as naive and overly simplistic as it is usually thought to be, but can, and should be, far more complex. This lesson is based on a correspondence theory of truth incipient in the Critique, one whose structure reflects the complexity of the relation between mind and world in Kant’s theory. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain aspects (...) thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

The rights of health care professionals to refuse to participate in procedures such as abortion and sterilization that they judge to be wrong on moral or religious grounds have been protected by federal legislation and regulations for several decades. Recently, rights of conscience have been invoked in the pharmaceutical context, where the applicability of such claims has generated significant controversy. This article responds to those controversies in three steps. First, it critiques the major arguments that would deny rights of conscience (...) to dissenting pharmacists. Second, it explores traditional discussions of the subjective and objective aspects of duties of conscience. Third, it employs the conceptual and practical links between subjective and objective aspects of conscience to develop a four-fold typology of case categories for interpreting the relative weight of claims of conscience against other values. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general (...) definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, (...) empirical and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

In a spirit of critical appreciation, this essay challenges several core aspects of the critique of secular morality and the defense of Orthodox Christianity offered by H. Tristram Engelhardt in After God. First, I argue that his procedurally driven approach to a binding morality based solely on a principle of permission leaves morality without any substantive definition in general terms, in ways that are both conceptually problematic and also at odds with Engelhardt’s long-standing distinction between non-malevolence and beneficence. Second, I (...) question the accuracy or adequacy of Engelhardt’s critique of the Enlightenment project for his unwarranted privileging of a particular version of Enlightenment thinking at the expense of other Enlightenment perspectives less amenable to Engelhardt’s working generalizations. Third, I challenge the theoretical cogency of Engelhardt’s insistence on the ubiquity and intractability of moral controversies and his depiction of moral strangers and moral friends as, in effect, mutually exclusive terms. Finally, I question Engelhardt’s embrace of a divine command model of ethics as the appropriate resolution of Euthyphro’s dilemma and suggest that there may be intermediate approaches to the usual starkly drawn contrasts between divine command and naturalist accounts. (shrink)

The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics?

The question motivating my investigation is: Are the basic philosophical principles underlying the "core" system of contemporary logic exhausted by the standard version? In particular, is the accepted narrow construal of the notion "logical term" justified? ;As a point of comparison I refer to systems of 1st-order logic with generalized quantifiers developed by mathematicians and linguists . Based on an analysis of the Tarskian conception of the role of logic I show that the standard division of terms into logical and (...) extra-logical is partly arbitrary. I argue that the semantic principles of Tarskian logic allow any higher order mathematical predicate or relation to function as a logical term in a 1st-order system, provided it is introduced in the right way into the syntactic-semantic apparatus. ;Formally, I propose a new, "constructive", semantic characterization of logical terms. A logical term is defined by a function which, given a model, "shows" how to construct relations, sets, or n-tuples of individuals which satisfy it. I discuss the linguistic applicability of the extended logic and bring numerous examples. ;One chapter is devoted to branching quantification--a non-standard logico-linguistic construction obtained by affixing a non-linear, partially-ordered quantifier-prefix to a well-formed formula. Although standard branching quantifiers were given a complete account by Henkin and Walkoe, it is not altogether clear what the meaning of branching generalized quantifiers is. I propose a new analysis of the generalized branching prefix which extends the existent, partial, definitions due to Barwise, and I develop a generalization leading to a "family" of branching structures. ;In conclusion I discuss the philosophical impact of the generalized conception of logic on such issues as the logicist thesis, the interaction between mathematics and logic, ontological commitment via logic, metaphysics and logical semantics. (shrink)

The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing a particular proposal for such a characterization, (ii) showing that certain criticisms of this proposal are incorrect, and (iii) discussing the general issue of what a characterization of logical constants aims at achieving.

Gotthard Deutsch (1859–1921) taught at Hebrew Union College in Cincinnati from 1891 until his death, where he produced a card index of 70,000 ‘facts’ of Jewish history. This article explores the biography of this artefact of research and poses the following question: Does Deutsch’s index constitute a great unwritten work of history, as some have claimed, or are the cards ultimately useless ‘chips from his workshop’? It may seem a curious relic of positivistic history, but closer examination allows us to (...) interrogate the materiality of scholarly labor. The catalogue constitutes a total archive and highlights memory’s multiple registers, as both a prosthesis for personal recall and a symbol of a ‘human encyclopedia’. The article argues that this mostly forgotten scholar’s work had surprising repercussions: Deutsch’s student Jacob Rader Marcus (1896–1995) brought his teacher’s emphasis on facticity to the field of American Jewish history that he pioneered, catapulting a 19th-century positivism to the threshold of the 21st century. Deutsch’s index was at an inflection point of knowledge production, created as historians were shifting away from ‘facts’ but just before new technologies (also based on cards) enabled ‘big data’ on a larger scale. The article thus excavates a vision of monumentality but proposes we look past these objects as monuments to ‘heroic’ scholarship. Indeed, Deutsch’s index is massive but middling, especially when placed alongside those of Niklas Luhmann, Paul Otlet, or Gershom Scholem. It thus presents a necessary corrective to anointing such indexes as predecessors to the Internet and big data because we must keep their problematic positivism in perspective. (shrink)

Durante a Guerra Civil Espanhola, o governo regional basco começou a evacuar a população infantil para outros países europeus. A memória desse exílio infantil começou a se recuperar nos anos 60, tanto na Espanha quanto no exterior. Este artigo estabelece uma comparação entre as duas primeiras representações do exílio infantil basco na tela. Por um lado, analisa-se o romance, A outra árvore de Guernica, que reflete o discurso gerado nesse exílio em particular na Espanha de Franco. Por outro lado, é (...) analisado um capítulo de 1963 da série de televisão norte-americana Route 66, cujos protagonistas eram crianças exiladas bascas. Na comparação entre ambas as representações são identificadas as semelhanças e diferenças, bem como os diferentes conteúdos políticos em que se encaixam. (shrink)

Can humanity be divided into good and evil? And if so, is it possible for the good to vanquish the evil, eradicating it from the face of the Earth by declaring war on evildoers and bringing them to justice? Can we overcome evil by the power of memory? In _Memory as a Remedy for Evil_, Tzvetan Todorov answers these questions in the negative, arguing that despite all our efforts to the contrary, we cannot be delivered from evil. In this work (...) on evil, memory and justice, Todorov examines the uses of memory and the spate of memorial laws in France in order to show how memory has failed as a remedy against evil and how efforts to come to grips with past evil through trials and punitive justice have failed as well. Todorov locates the fatal flaw of all these approaches in our erroneous relationship with evil as alterity, the distinction that we draw between ourselves and others that allows us to imagine ourselves in the appealing role of hero and victim and confine others to the role of villain and criminal. Similarly, in his analysis of the South African Truth and Reconciliation Commission and Cambodia’s Khmer Rouge Tribunal, Todorov argues in favor of restorative justice, which “seeks not to punish but to restore relations that should never have been interrupted” between former perpetrators and former victims. _Memory as a Remedy for Evil_ is a powerful and timely work that asks that we recognize the good and evil within each of us—and reminds us that it is only by coming to terms with evil and trying to understand it that we can hope to tame it. (shrink)

In Darwinian Heresies, which was originally published in 2004, prominent historians and philosophers of science trace the history of evolutionary thought, and challenge many of the assumptions that have built up over the years. Covering a wide range of issues starting in the eighteenth century, Darwinian Heresies brings us through the time of Charles Darwin and the Origin, and then through the twentieth century to the present. It is suggested that Darwin's true roots lie in Germany, not his native England, (...) that Russian evolutionism is more significant than many are prepared to allow, and that the true influence on twentieth-century evolution biology was not Charles Darwin at all, but his often-despised contemporary, Herbert Spencer. The collection was intended to interest, to excite, to infuriate, and to stimulate further work. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Several scholars have recently criticized the dominant emphasis upon mid-level principles in bioethics best exemplified by Beauchamp and Childress's Principles of Biomedical Ethics . In Part I of this essay, I assess the fairness and cogency of three broad criticisms raised against ‘principlism’ as an approach: (1) that principlism, as an exercise in applied ethics, is insufficiently attentive to the dialectical relations between ethical theory and moral practice; (2) that principlism fails to offer a systematic account of the principles of (...) nonmaleficence, beneficence, respect for autonomy, and justice; and (3) that principlism, as a version of moral pluralism, is fatally flawed by its theoretical agnosticism. While acknowledging that Beauchamp and Childress's reliance upon Ross's version of intuitionism is problematic, I conclude that the critics of principlism have failed to make a compelling case against its theoretical or practical adequacy as an ethical approach. In Part II, I assess the moral theory developed by Bernard Gert in Morality: A New Justification of the Moral Rules , because Gert has recommended his approach as a systematic alternative to principlism. I judge Gert's theory to be seriously incomplete and, in contrast to principlism, unable to generate coherent conclusions about cases of active euthanasia and paternalism. Keywords: active euthanasia, applied ethics, Beauchamp and Childress, intuitionism, paternalism, principlism, W.D. Ross CiteULike Connotea Del.icio.us What's this? (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

This is a critique of Michael P. Lynch’s functional pluralism with respect to truth. The paper is sympathetic to Lynch’s overall approach to truth, but is critical of (i) his platitudinous characterization of the general principles of truth, (ii) his excessive pluralism with respect to the “realizers” of truth, (iii) his treatment of atomic truth, and (iv) his analysis of “mixed” logical inferences. The paper concludes with a proposal for a functional pluralism that puts greater emphasis on the unity of (...) truth. For example: while Lynch regards truth as based on correspondence principles in some domains and on coherence principles in others, the current proposal regards truth as based on correspondence principles in all domains, restricting the plurality of truth to a plurality of correspondence principles. (shrink)