Jacob McNulty’s impressive book offers a Hegelian solution to the so-called ‘logocentric predicament’, namely that logic must be presupposed to justify itself. As McNulty puts it, the fundamental l...

De acuerdo con los principales enfoques al respecto la lógica de los estoicos es principalmente un sistema deductivo, lo que, en términos actuales, ha sido visto como un sistema de lógica proposicional. La obra de Crísipo acerca de los cinco argumentos indemostrables constituye la principal base de dicho sistema. En este artículo se examina la naturaleza de dichos cinco indemostrables así como el llamando teorema de Antipatro y los esquemas básicos de inferencia, o zemas. Por otra parte y en particular, (...) sostengo que dichos argumentos indemostrables tienen otro importante rol para la filosofía y la historia de la lógica, cual es el de constituirse en una justificación de la deducción, un problema central en el presente. Se analiza, primero, la justificación por los indemostrables y por el principio de condicionalización y, segundo, la justificación cognitiva de la lógica implícita en un sistema estoico. (shrink)

Logic, in one of the many sense of that term, is a theory about what follows from what and why. Arguably, the correct theory has to be determined by abduction. Over recent years, so called logical anti-exceptionalists have investigated this matter. Current discussions have been restricted to deductive logic. However, there are also, of course, various forms of non-deductive reasoning. Indeed, abduction itself is one of these. What is to be said about the way of choosing the best theory of (...) non-deductive inferences? It would seem clear that an anti-exceptionalist should hold that essentially the same method of choice should apply to non-deductive logic. A number of issues need to be faced in the process, not the least of which is the circularity involved in an abductive justification for a theory of abduction. This paper discusses matters. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...) and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

Following a brief preface, the second section of this paper discusses Mill's early reflections on the problem of how deductive inference can be illuminating. In the third section it is suggested that in his Logic Mill misconstrued the feature that the premises of a logically valid argument contain the conclusion as the ground of a charge that deductive proof is question-begging. The fourth section discusses the nature of the traditional petitio objection to syllogism, and the fifth shows that Mill had (...) a theory capable of answering it. The final section cites the confusion described in section 3 to explain why Mill nevertheless continued to think that syllogistic proofs beg the question. (shrink)

Defense of a non-psychological dynamics of demonstrative thoughts.

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as two-dimensional matrices and (...) the distinction between the context of formation and the context of evaluation of utterances. (shrink)

Paul Thagard’s theory of deductive coherence, as set out in his Coherence in Thought and Action, faces a regress objection. Thagard’s method of solving deductive coherence problems presupposes some notion of logical consequence. The problem of specifying which logic to use to this end is itself a deductive coherence problem, so we would expect Thagard’s theory to be able to solve it. However, on pain of regress, the theory of deductive coherence cannot reach such a solution.

Papineau has suggested that the Principle of Non-Contradiction is a logical law that ?verificationists? are not entitled to claim as a prioritrue. The Principle, like that of Excluded Middle, is not sufficiently grounded in the ?miserly? epistemology of verificationism to be proven in ?verificationist logic?. We examine who might be challenged by this claim: who are the ?verificationists?? We defend our candidates against Papineau's criticisms and other attacks, but this leaves the verificationist open to a different criticism.

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

The dissertation examines the nature and epistemic implications of epistemic source circularity. An argument exhibits this type of circularity when at least one of the premises is produced by a belief source the conclusion says is legitimate, e.g. a track record argument for the legitimacy of sense perception that uses premises produced by sense perception. In chapter one I examine this and several other types of circularity, identifying relevant similarities and differences between them. In chapter two I discuss the differences (...) between internalist and externalist analyses of justification. I examine in detail foundationalist and non-foundationalist versions of internalism, and go on to consider how one might characterize externalism: either negatively, by denying particular internalist theses, or positively, in terms of a theory offering different conditions for justification. I discuss the views of reliabilist foundationalists at length. In chapter three I present the internalist objection to externalism that the latter mistakenly permit one to be justified in believing the conclusion of an epistemic source circular inference. I explain the externalists' response that it is not in virtue of their externalism that they permit epistemic source circularity but rather their foundationalism; thus, internalist foundationalists must permit epistemic source circularity as well. I evaluate the positions of several internalists, most of them explicitly foundationalists, and argue that they too cannot avoid permitting epistemic source circularity. In the final chapter I consider whether such circularity is vicious, even though both internalist and externalist foundationalists permit it. I argue that one can sustain an objection to epistemic source circularity by imposing a non-question-begging requirement on justification and explain how respecting this requirement leads one to a non-foundationalist view. I conclude by considering the objection that question-begging leads to a certain arbitrariness in belief formation that should give the foundationalist pause when it comes to determining, at the beginning of inquiry, which beliefs are justified and which are not. The dissertation is primarily concerned with making clear the possible skeptical and non-skeptical positions one can take towards epistemic source circularity. I do not argue for the truth of a particular metaepistemology. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)