The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

In virtue of what are we justified in employing the rule of inference Modus Ponens? One tempting approach to answering this question is to claim that we are justified in employing Modus Ponens purely in virtue of facts concerning meaning or concept-possession. In this paper, we argue that such meaning-based accounts cannot be accepted as the fundamental account of our justification.

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.

Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability that is (...) grounded in possible courses of inquiry. I arrive at a precise definition of knowability that is not just a technical avoidance of paradox, but is metaphysically sound and does justice to the anti-realist idea. (shrink)

According to Michael Dummett, Wittgenstein rejects in the Philosophical Investigations the “realist” approach of the Tractatiu, and replaces it with the idea that meaning is “use”; Wittgenstein, Dummett holds, draws the “metaphysical consequences” of this by subscribing to a form of non-realism. In this paper I defend a version of Dummett's point that the Tractarian semantics is replaced in the Investigations by the notion that meaning is use, but I criticize his contention that Wittgenstein, as a consequence, subscribes to some (...) variety of metaphysical non-realism. (shrink)

Semantic justifications of the classical rules of logical inference typically make use of a notion of bivalent truth, understood as a property guaranteed to attach to a sentence or its negation regardless of the prospects for speakers to determine it as so doing. For want of a convincing alternative account of classical logic, some philosophers suspicious of such recognition-transcending bivalence have seen no choice but to declare classical deduction unwarranted and settle for a weaker system; intuitionistic logic in particular, buttressed (...) by assertion-conditional semantics, is often considered to enjoy a degree of meaning-theoretical respectability unattainable by classical logic.The decision to forgo the classical inference rules is not always made lightly. Thus, Dummett: " In the resolution of the conflict between [the view that generally accepted classical modes of inference ought to be theoretically accommodated, and the demand that any such accommodation be achieved without recourse to bivalence] lies, as I see it, one of the most fundamental and intractable problems in the theory of meaning; indeed, in all philosophy. "The present article ventures to suggest that the conflict need not be irresoluble. Helping ourselves only to such conceptual resources as are standardly invoked by proponents of intuitionistic logic, we shall formulate a rudimentary meaning theory for a selection of logical constants, define a relation of valid inferability, and prove that the latter includes all of classical first-order logic. The result is essentially that reported in Sandqvist as Theorem 2.20.2. TheoryWe will be considering a standard-syntax first-order language with ⊃, ⊥ and ∀ as its only primitive logical constants. We assume countable supplies of individual constants, individual functors , and predicates , as well as a denumerably infinite set of individual variables. By a basic 1 formula we will mean one that …[Full Text of this Article]. (shrink)

Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in atomic bases are conceived (...) of as being accepted hypothetically rather than categorically. (shrink)

ABSTRACTIn reply to Linnebo, I defend my analysis of Tait's argument against the use of classical logic in set theory, and make some preliminary comments on Linnebo's new argument for the same conclusion. I then turn to Shapiro's discussion of intuitionistic analysis and of Smooth Infinitesimal Analysis. I contend that we can make sense of intuitionistic analysis, but only by attaching deviant meanings to the connectives. Whether anyone can make sense of SIA is open to doubt: doing so would involve (...) making sense of mathematical quantities whose relationship to zero and to one another is inherently indeterminate. (shrink)

I explain why Fernando Ferreira's interesting formal result does not threaten the bilateralist account of the sense of the connectives.

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

All through the literatura, the question about what is a logical constant has recieved many answers, from model-theoretic aproaches,, to answers that focus in the inferential practice as meaning,,. Detractors of the second tradition presented many ineludible incovenients, in particular, the logical constant named ‘tonk’. Inferentialist tryed many solutions, in particular they presented the concept of ‘harmony’. The goal of this paper is to show that the different criteria of ‘harmony’ used in the proof-theoretic semantics to determine what is and (...) what is not a logical constant fail to be necessary or sufficient. I will show the philosophical reasons that make this concept appear and then i will describe the different ways in wich the literatura understads the concept of ‘harmony’. Then I will show that they subgenerate or overgenerate connectives with some counterexamples. Finaly, I will explain some philosophical reasons that should delimitate where to go towards a satisfactory definition of ‘harmony’. (shrink)

In this paper, I present an argument for the revision of classical logic. The argument is based on the coherence of a metaethical position which is a species of agnosticism. According to this view, the debate between cognitivists and noncognitivists about moral discourse is unresolved. I argue that there is something at stake in this debate and so something one can coherently be agnostic about. The revisionary argument also draws on principles of epistemic closure. I make these principles explicit and (...) indicate to what extent they can plausibly be assumed. The proposal to revise classical logic is likely to meet with some resistance: classical logic is too deeply entrenched in our reasoning. Before suggesting what to put in its place, I address and defuse four objections that might be levelled against the argument for its revision. I close with some general remarks on the force of arguments for logical reform. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

In light of the paradox of knowability anti‐realists ought to revise their wholesale equation of truth and knowability, lest they be committed to the absurd conclusion that there are no truths that will never be known. The task accordingly becomes to identify the problematic statements the knowability of whose truth would force that conclusion and to restrict the equation in appropriate ways to all but the problematic statements. This restriction strategy was first implemented by Tennant. However, recently Williamson and Brogaard (...) and Salerno have argued that the restriction strategy, and in particular Tennant's implementation of it, fail to avert the paradoxical conclusion. Here I argue, first, that the arguments devised by Brogaard and Salerno are ineffective because they rely on an invalid closure principle and, second, that while Williamson's argument may suffice to undermine Tennant's specific proposal, it fails to discredit the restriction strategy as such. To this end, I give a better characterisation of the problematic cases, which is immune to Williamson's criticism, and then show how the restricted anti‐realist thesis fares in light of the meaning‐theoretical arguments anti‐realists typically advance in support of their view. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

Michael Dummett has interpreted and expounded upon intuitionism under the influence of Wittgensteinian views on language, meaning and cognition. I argue against the application of some of these views to intuitionism and point to shortcomings in Dummett's approach. The alternative I propose makes use of recent, post-Wittgensteinian views in the philosophy of mind, meaning and language. These views are associated with the claim that human cognition exhibits intentionality and with related ideas in philosophical psychology. Intuitionism holds that mathematical constructions are (...) mental processes or objects. Constructions are, in the first instance, forms of consciousness or possible experience of a particular type. As such, they must be understood in terms of the concept of intentionality. This view has a historical basis in the literature on intuitionism. In a famous 1931 lecture Heyting in fact identifies constructions with fulfilled or fulfillable mathematical intentions. I consider some of the consequences of this identification and contrast them with Dummett's views on intuitionism. (shrink)

Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically (...) pure as any formal system in which the rules define the meanings of the logical constants. (shrink)

In order to explicate Gentzen’s famous remark that the introduction-rules for logical constants give their meaning, the elimination-rules being simply consequences of the meaning so given, we develop natural deduction rules for Sheffer’s stroke, alternative denial. The first system turns out to lack Double Negation. Strengthening the introduction-rules by allowing the introduction of Sheffer’s stroke into a disjunctive context produces a complete system of classical logic, one which preserves the harmony between the rules which Gentzen wanted: all indirect proof reduces (...) to direct proof. (shrink)

Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical constants. Harmonic inferentialism, as the term is introduced here, usually but not necessarily a subbranch of logical inferentialism, follows Gentzen in proposing that it is the introduction-rules whch give expressions their meaning and the elimination-rules should accord harmoniously with the meaning so given. It is proposed here that the (...) logical expressions are those which can be given schematic rules that lie in a specific sort of harmony, general-elimination harmony, resulting from applying a certain operation, the ge-procedure, to produce ge-rules in accord with the meaning defined by the I-rules. Griffiths claims that identity cannot be given such rules, concluding that logical inferentialists are committed to ruling identity a non-logical expression. It is shown that the schematic rules for identity given in Read, slightly amended, are indeed ge-harmonious, so confirming that identity is a logical notion. (shrink)

I present a puzzle for the standard, propositional semantic account of belief reports by considering novel inferences which it incorrectly predicts to be invalid under assumptions that are plausible by its advocates’ own lights. In response, I propose a conservative departure from the standard view on which certain ‘that’-clauses designate novel devices of semantic type that I call open propositions. After outlining some desiderata for a theory of open propositions, I provide some reasons for advocates of the standard view to (...) treat them as properties of a certain kind. Then I give a bridge principle between the core notions of belief and belief-about before showing how the resulting view can be implemented in accordance with formal theories of syntax and semantics. I bring out some of the consequences this investigation has beyond our semantic theorizing and conclude, more generally, that any response to the puzzle requires paying some surprising cost or another. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze and (...) the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

One of Etchemendy's arguments against the Tarskian and model‐theoretic notion of logical truth is based on a reduction principle according to which a universally quantified sentence is true if, and only if, all of its instances are logically true. The reduction of logical truth to mere truth reveals that the concept of validity at play in Tarski and in model‐theory relies upon extra‐logical assumptions. A similar reduction had already been put forward by Prawitz, although not with focus on extra‐logical assumptions. (...) Prawitz's reduction concerns rather the possibility of understanding the Tarskian and model‐theoretic approach as implying any epistemic modality. We take into account a possible strategy that an advocate of Tarski and model‐theory may use against Etchemendy's objection, and argue that this strategy fails with respect to Prawitz's criticism. This permits us to shed light upon a difference between Prawitz's and Etchemendy's standpoints: while Etchemendy's reduction shows that the Tarskian and model‐theoretic notion of logical truth cannot be understood as an adequate formal counterpart of truth‐preservation solely by virtue of logical form, Prawitz's reduction insists on the fact that truth‐preservation solely by virtue of logical form is insufficient for epistemic modality to obtain. (shrink)

This dialogue between Achilles and the Tortoise – in the spirit of those of Carroll and Hofstadter – argues against the idea, identified with the “traditional” interpretation of Aristotle’s “sea battle argument”, that future contingents are an exception to the Principle of Bivalence. It presents examples of correct everyday predictions, without which one would not be able to decide and to act; however, doing this is incompatible with the belief that the content of these predictions lacks a truth-value. The cost (...) of using a non-classical logic to cope with that may be too high for Stagirite’s defenders, and they would still need to explain why our ordinary predictions seem to have a binary truth-value. In the end, the paper suggests that the problem of future contingents – and of free will – is not a logical problem at all, but rather a limit on what an agent can believe before taking a decision. (shrink)

This paper gives attention to a special point in Brandom.

Many arguments that show p to be enthymematic (in an argument for q) rely on claims like “if one did not believe that p, one would not have a reason for believing that q.” Such arguments are susceptible to the neg-raising fallacy. We tend to interpret claims like “X does not believe that p” as statements of disbelief (X's belief that not-p) rather than as statements of withholding the belief that p. This article argues that there is a tendency to (...) equivocate in arguments for the enthymematicity of arguments (e.g., Lewis Carroll's paradox, Hume's problem) as well as in arguments for the enthymematicity of action explanations (e.g., arguments for psychologism and for explanatory individualism). The article concludes with a warning, because the equivocation is often helpful in teaching and because neg-raising verbs include philosophically vital verbs: desire, want, intend, think, suppose, imagine, expect, feel, seem, appear. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected with (...) the way that expression interacts with other. (shrink)

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

In this essay I set out to place Derrida's work – especially his earlier books and essays – in the context of related or contrasting developments in analytic philosophy of science over the past half-century. Along the way I challenge the various misconceptions that have grown up around that work, not only amongst its routine detractors in the analytic camp but also amongst some of its less philosophically informed disciples. In particular I focus on the interlinked issues of realism versus (...) anti-realism and the scope and limits of classical logic, both of which receive a detailed, rigorous and sustained treatment in his deconstructive readings of Husserl, Austin and others. Contrary to Derrida's reputation as a exponent of anti-realism in its far-gone ‘textualist’ form and as one who merely plays perverse though ingenious games with logic I show that those readings presuppose both a basically realist conception of their subject-matter and a strong commitment to the protocols of bivalent logic. These he applies with the utmost care and precision right up to the point – unreachable except by way of that procedure – where they encounter certain problems or anomalies that cannot be resolved except by switching to a different logic. Philosophy of science in the analytic mainstream might benefit greatly from a closer acquaintance with Derrida's thinking on these topics, as it might from a knowledge of his likewise rigorous thinking-through of the antinomy between structure and genesis as it bears upon issues in the history of scientific thought. (shrink)

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any “truly satisfying, consistent solution”. I argue that this conclusion is too strong. Heck's Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke's and Field's. Moreover, the new Liar gives us no reasons to think that (versions of) these (...) principles cannot be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...) this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)

Históricamente, en los principales análisis filosóficos sobre el concepto de ‘verdad’ estuvo implícita lo que hoy se conoce como la teoría correspondentista de la verdad, la cual puede ser trazada desde Aristóteles hasta Immanuel Kant. A principios del siglo XIX, los detractores de la teoría correspondentista de la verdad comenzaron a argumentar, entre otras cosas, que esta postura es oscura, demasiado estrecha y autocomplaciente o argumentativamente circular. No obstante, en el ámbito científico algunos defensores de ciertas posturas realistas de la (...) ciencia han considerado que la verdad es la meta cognoscitva más importante de la actividad científica. Este estudio se realizó para establecer la plausibilidad de este argumento realista. Mediante el análisis de la validez de algunos argumentos de tipo ontológico, semántico y epistémico propuestos por algunos defensores de distintas versiones del llamado ‘Realismo Científico’, con los que se intenta relacionar el éxito empírico y predictivo de las mejores teorías científicas con la verdad, se muestra que, desde un punto de vista lógico, parece difícil confirmar que tales teorías nos proporcionen conocimiento confiable del mundo natural. Se sugiere que los científicos no son agentes confirmadores; sino agentes probabilísticos, esto es, agentes que buscan calcular la probabilidad con la que un hacedor de verdad convierte en verdadero a un portador de verdad con el que la ciencia comunica sus resultados. (shrink)

I am very happy indeed to contribute to this series of lectures, especially because I owe most of my training in philosophy to Elizabeth Anscombe, whose work has given the series its name. I am deeply indebted to the marvellous generosity of her teaching, to the example she set me of an unrelentingly thorough and serious thinker, to the unobtrusive way she introduced me to Wittgenstein's later philosophy. Through Elizabeth Anscombe I also made the acquaintance of my friend Philippa Foot, (...) whose work in moral philosophy has, over decades and more than anyone else's, influenced my own. I hope it will be possible to recognize in what I am going to say here not indeed the excellence but at least traces of the beneficial influence of both these philosophers. (shrink)

Contemporary interpretations of Zhuangzi’s 莊子 philosophy as adumbrating a relativist position are legion. However, what is the scope and nature of the relativism that can be gleaned from a comprehensive analysis of relevant passages in the Zhuangzi? In this essay, I shall explain Zhuangzi’s alleged relativist position as motivated from a primary concern about disagreement. He in effect claims that since any disputant can foresee her assertion to be refuted by an opponent, the recourse to a higher tribunal in adjudicating (...) the debate is futile. The consequence of an apparent lack of justification for assertion is, in my opinion, what needs elucidation. For example, is “truth relativism” an apt label for the nature of assertion in a debate without the verdict of a judge? Or, is it more appropriate to shun the concept of truth altogether in our explanation? I deem the contemporary explanation of Zhuangzi’s relativism either trivializes disputation or fails to account for the difference between a claim’s being right and being acceptable. Hence, I shall argue that without the intrusion of a judge as an arbiter of truth, the kind of disputation Zhuangzi practices promulgates faultless disagreement, which does not appeal to the correctness of any perspective in a comparative or absolute sense. In this understanding, Zhuangzi’s advice of harmonizing with both right and wrong is indeed a viable alternative to relativism and dogmatism, both of which do not properly take heed of the point of disagreeing in a disputation. (shrink)