W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

We investigate a hitherto under-considered avenue of response for the logical pluralist to collapse worries. In particular, we note that standard forms of the collapse arguments seem to require significant order-theoretic assumptions, namely that the collection of admissible logics for the pluralist should be closed under meets and joins. We consider some reasons for rejecting this assumption, noting some prima facie plausible constraints on the class of admissible logics which would lead a pluralist admitting those logics to resist such closure (...) conditions. (shrink)

Intelligence can be understood as a form of rationality, in the sense that an intelligent system does its best when its knowledge and resources are insufficient with respect to the problems to be solved. The traditional models of rationality typically assume some form of sufficiency of knowledge and resources, so cannot solve many theoretical and practical problems in Artificial Intelligence (AI). New models based on the Assumption of Insufficient Knowledge and Resources (AIKR) cannot be obtained by minor revisions or extensions (...) of the traditional models, and have to be established fully according to the restrictions and freedoms provided by AIKR. The practice of NARS, an AI project, shows that such new models are feasible and promising in providing a new theoretical foundation for the study of rationality, intelligence, consciousness, and mind. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

The age-old question “What is truth?” is not an unambiguous one. There are at least two different meanings. In one sense, it is a semantic question about the meaning of the word “truth” and/or a metaphysical question about the nature of the property of truth, that is, how truth can be defined in terms of other notions, if it is definable at all. In another sense, it is an epistemological question about the criterion or test of truth, that is, how (...) we can recognize or accept (empirical) propositions as true. Ayer, in Language, Truth and Logic (LTL) and some other articles, tried to convince us that when we attempt to elucidate a theory of truth, we are only engaging in the epistemological project of finding the criterion of truth. This anti-semantical and anti-metaphysical view is based on Ayer’s (radical) deflationism about truth. In this chapter, I will argue that since Ayer did not accept that the criterion of truth is intimately related to the concept of truth, he can be seen as a deflationist about the nature of truth and as an advocate of a certain (Schlickian) kind of correspondence conception about the criterion of truth. His position would not be tenable if he had maintained what some of his contemporaries accepted, namely that there is a close connection between the two truth-theoretical tasks: the definitional and the criterial one. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...) helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

In his Bayesian Nets and Causality, Jon Williamson presents an ‘Objective Bayesian’ interpretation of probability, which he endeavours to distance from the logical interpretation yet associate with the subjective interpretation. In doing so, he suggests that the logical interpretation suffers from severe epistemological problems that do not affect his alternative. In this paper, I present a challenge to his analysis. First, I closely examine the relationship between the logical and ‘Objective Bayesian’ views, and show how, and why, they are highly (...) similar. Second, I argue that the logical interpretation is not manifestly inferior, at least for the reasons that Williamson offers. I suggest that the key difference between the logical and ‘Objective Bayesian’ views is in the domain of the philosophy of logic; and that the genuine disagreement appears to be over Platonism versus nominalism. (shrink)

In contemporary North American contexts, to say that a claim is oracular is seriously to undermine its philosophical credibility. My thesis is that this negative judgement of oracularity is unwarranted and that it is rooted in an excessively narrow notion of what constitutes ‘good’ philosophy. More specifically, I argue that oracular utterance is appropriate to the expression of views that regard the phenomena towards which they are directed as radically, non‐systematically integrated wholes. Importantly, such views are falsifiable—or at least as (...) falsifiable as scientific paradigms, which, in one important respect, they resemble. However, I argue further that there is good reason to think that such views cannot, without distortion, be expressed using the systematic‐analytic forms of argumentation that are frequently regarded as essential to the pursuit of philosophy. Yet the questions that they compass, concerning the way in which parts are related to the wholes that they constitute, fall squarely within the purview of traditional metaphysics. Thus, in proscribing oracular utterance we divest ourselves of the opportunity to contemplate world orders of potential philosophical interest that systematic‐analytic argument is incapable of conveying to us. (shrink)

The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then outline an account of logical consequence in the absence of general logical principles, which we call logical particularism.

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

Vagueness is epistemic, according to some. Vagueness is ontological, according to others. This article deploys what I take to be a compromise position. Predicates are coined in specific contexts for specific purposes, but these limited practices do not automatically fix the extensions of predicates over the domain of all objects. The linguistic community using the predicate has rarely considered, much less decided, all questions that might arise about the predicate’s extension. To this extent, the ontological view is correct. But a (...) predicate that applies in some contexts can be reasonably extended to other contexts where it is initially vague. This process of development approximates the cognitive remedy for vagueness that the epistemic view prescribes. The process is piecemeal and inductive, akin to what von Wright described as the molding of concepts. Vagueness cannot be understood apart from the backdrop of classification, for vagueness is classification gone awry. Hence these pages explore the classification of particulars, both its clear successes and vague failures. How we classify unique particulars is the theme of Sections 2 and 3, which are primarily descriptive. Section 2 identifies a way of classifying particulars that pervades discourse of all sorts, and Section 3 illustrates its use in a field notorious for vagueness: ethics. Why a certain particular should (or should not) be classified in a certain way is a normative question, however, and it occupies Sections 4 and 5. Section 4 proposes a norm for strong arguments by analogy, and Section 5 illustrates how the norm might resolve vagueness in one kind of ethical dispute. This norm, which has a strong probabilistic component, is one way of affirming that probability is a guide to life. (shrink)

Toulmin’s scheme for the layout of arguments (1958, The Uses of Argument, Cambridge University Press, Cambridge) represents an influential tool for the analysis of arguments. The scheme enriches the traditional premises-conclusion model of arguments by distinguishing additional elements, like warrant, backing and rebuttal. The present paper contains a formal elaboration of Toulmin’s scheme, and extends it with a treatment of the formal evaluation of Toulmin-style arguments, which Toulmin did not discuss at all. Arguments are evaluated in terms of a so-called (...) dialectical interpretation of their assumptions. In such an interpretation, an argument’s assumptions can be evaluated as defeated, e.g., when there is a defeating reason against the assumption. The present work builds on recent research on defeasible argumentation (cf. e.g. the work of Pollock, Reiter, Loui, Vreeswijk, Prakken, Hage and Dung). More specifically, the author’s work on the dialectical logic DEFLOG and the argumentation tool ARGUMED serve as starting points. (shrink)

As far as ‘modern’ logical theories of vagueness are concerned, a main distinction can be drawn between ‘semantical’ ones and ‘pragmatical’ ones. The latter are defended here, because they tend to retake into account important contextual dimensions of the problem abandoned by the former. Their inchoate condition seems not alarming, since they are of surprisingly recent date. This, however, could very well be an accidental explanation. That is, the true reason for it might sooner or later turn out to be (...) bearing exactly on the fundamental human limitations, when it comes to theorizing, that these approaches are urging us to appreciate. (shrink)

Philosophy of religion, in both its analytic and Continental streams, has been undergoing a renewal for some time now, and I seek to explore this transformation in the fortunes of the discipline by looking at how truth – and religious truth in particular – is conceptualised in both strands of philosophy. I begin with an overview of the way in which truth has been commonly understood across nearly all groups within the analytic tradition, and I will underscore the difficulties and (...) shortcomings of the analytic approach by comparing it with a Continental, and specifically Heideggerian, approach. I then proceed to a conception of truth that is even further removed from the analytic tradition, one that is prominent in the theology of Christianity and which identifies truth with Christ. The point of this detour through divergent understandings of truth is to show how philosophy of religion, whether analytic or Continental, remains entrenched in forms of thinking that will need to be overcome if it is to have a credible future. (shrink)

En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de (...) sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista. (shrink)

This paper investigates the ontological presuppositions of quantifier logic. It is seen that the actual infinite, although present in the usual completeness proofs, is not needed for a proper semantic foundation. Additionally, quantifier logic can be given an adequate formulation in which neither the notion of individual nor that of a predicate appears.

With the tertiary education mantra of creativity, critical thinking and innovation in mind, we consider the critical-creativity of error. Taking the university to model social orthography, or ‘correct writing’, according to the norms of disciplines, we consider the role of error in the classroom. Looked at another way, error questions the norms governing norms and the instability of disciplinary grounds. Beyond correction, error involves a mis-taking, or taking another way. Tracing the origin of error we are able to reconstruct the (...) social world in terms of which it is conceivable for a mistake of any kind to have been made. The university, we find, withholds worlds which are not new but are sources of creativity, and constitutes a pluriversity or poly-versity. (shrink)

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

Logical pluralism is commonly described as the view that there is more than one correct logic. It has been claimed that, in order for that view to be interesting, there has to be at least a potential for rivalry between the correct logics. This paper offers a detailed assessment of this suggestion. I argue that an interesting version of logical pluralism is hard, if not impossible, to achieve. I first outline an intuitive understanding of the notions of rivalry and correctness. (...) I then discuss a natural account of rivalry in terms of disagreement about validity claims and the argument from meaning variance that has been raised against it. I explore a more refined picture of the meaning of validity claims that makes use of the character-content distinction of classical two dimensional semantics. There are three ways in which pluralists can use that framework to argue for the view that different logics may be rivals but could nevertheless be equally correct. I argue that none of them is convincing. (shrink)

The consensus among legal philosophers is probably that rule-based legal expert systems leave much to be desired as aids in legal decision-making. Why? What can we do about it? A bureaucrat administering some set of complex rules will ascertain the facts and apply the rules to them in order to discover their consequences for the case in hand. This process of deductive reasoning is characteristically bureaucratic.

Deductivism is not merely a logical technique, but also a theory of normativity: it provides an objective and universal standard of evaluation. Contemporary dialectical logic rejects deductive normativity, replacing its universal standard by an intersubjective standard. It is argued in this paper that dialectical normativity does not improve upon deductive normativity. A dialogico-rhetorical alternative is proposed.

There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berry's Paradox, Heterologicality, Russell's Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and (...) should be replaced with Hilbert and Bernays' conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called 'logic' in recent years must be undertaken, to make it more fit for use. (shrink)

The formal structure of Frege’s ‘concept script’ has been widely adopted in logic text books since his time, even though its rather elaborate symbols have been abandoned for more convenient ones. But there are major difficulties with its formalisation of pronouns, predicates, and propositions, which infect the whole of the tradition which has followed Frege. It is shown first in this paper that these difficulties are what has led to many of the most notable paradoxes associated with this tradition; the (...) paper then goes on to indicate the lines on which formal logic—and also the lambda calculus and set theory—needs to be restructured, to remove the difficulties. Throughout the study of what have come to be known as first-, second-, and higher-order languages, what has been primarily overlooked is that these languages are abstractions. Many well known paradoxes, we shall see, arose because of the elementary level of simplification which has been involved in the abstract languages studied. Straightforward resolutions of the paradoxes immediately appear merely through attention to languages of greater sophistication, notably natural language, of course. The basic problem has been exclusive attention to a theory in place of what it is a theory of, leading to a focus on mathematical manipulation, which ‘brackets off’ any natural language reading. (shrink)

This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject matter, but instead concerns all entities alike. One way is Williamson’s explanation of how inquiry into logical consequence and logical truth only superficially concerns the linguistic or conceptual entities that bear these properties. Williamson draws on ideas familiar from deflationism about truth, and his account has been called “deflationary.” I argue that the analogy is (...) misleading. While there’s a broad sense in which Williamson offers a deflationary account of logical inquiry, his view differs from deflationism about truth in being best understood as a form of instrumentalism. By contrast, I elaborate a deflationism about logical properties modeled on deflationism about truth. I defend this expressive device deflationism as an explanation of our use of logical predicates. (shrink)

This paper focuses on the inferential configuration of arguments, generally referred to as argument scheme. After outlining our approach, denominated Argumentum Model of Topics (AMT, see Rigotti and Greco Morasso 2006, 2009; Rigotti 2006, 2008, 2009), we compare it to other modern and contemporary approaches, to eventually illustrate some advantages offered by it. In spite of the evident connection with the tradition of topics, emerging also from AMT’s denomination, its involvement in the contemporary dialogue on argument schemes should not be (...) overlooked. The model builds in particular on the theoretical and methodological perspective of pragma-dialectics in its extended version, reconciling dialectic and rhetoric; nevertheless, it also takes into account numerous other contributions to the study of argument schemes. Aiming at a representation of argument schemes able to monitor the inferential cohesion and completeness of arguments, AMT focuses on two components of argument scheme that could be distinguished, readapting pragma-dialectical terms, as procedural and material respectively. The procedural component is based on the semantic-ontological structure, which generates the inferential connection from which the logical form of the argument is derived. The material component integrates into the argument scheme the implicit and explicit premises bound to the contextual common ground (Rigotti 2006). In this paper, the comparison of the AMT to other approaches focuses on the inferential configuration of arguments and not on the typologies of argument schemes and on the principles they are based on, which the authors intend to tackle in a further paper. (shrink)

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

En el presente trabajo intento demostrar que, dadas ciertas condiciones, puede haber una relación de necesidad epistémica entre prueba y verdad. Esa es la tesis principal, desarrollada en la segunda parte de la investigación y publicada también en este volumen. Pero tiene apoyo en algunas tesis secundarias, que son expuestas y fundamentadas aquí, en esta primera parte. Las más relevantes son: no es correcto interpretar la fórmula de Tarski como una definición sofisticada de la noción correspondentista de verdad; la verdad, (...) en discursos teóricos, es un parámetro objetivo y alcanzable, en función del cual, siquiera provisoriamente y con base en razones, pueden ser dirimidas disputas de justificación; existe una conexión conceptual entre verdad y justicia retributiva; aunque usualmente esto no se explicite, la relación que interesa es entre prueba legítima y verdad; verdad no equivale a justificación; prueba equivale a justificación; justificaciones epistémicas pueden colapsar frente a la verdad. (shrink)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...) fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

The nontechnical ability to identify or match argumentative structure seems to be an important reasoning skill. Instruments that have questions designed to measure this skill include major standardized tests for graduate school admission, for example, the United States-Canadian Law School Admission Test (LSAT), the Graduate Record Examinations (GRE), and the Graduate Management Admission Test (GMAT). Writers and reviewers of such tests need an appropriate foundation for developing such questions--they need a proper representation of phenomenological argumentative structure--for legitimacy, and because these (...) tests affect people's lives. This paper attempts to construct an adequate and appropriate representation of such structure, that is, the logical structure that an argument is perceived to have by mature reasoners, albeit ones who are untrained in logic. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

The paper seeks to specify how, according to Plato’s Sophist, true statements achieve their being about objects and their saying that ‘what is about such objects is’. Drawing on the 6th definition of the sophist, I argue for a normative-teleological conception of truth in which the best condition of our soul –in its making statements or having mental states– consists in its seeking to attain the telos of truth. Further, on the basis of Plato’s discussion of original and image, his (...) distinction between correct and incorrect image, and the 7th definition, I argue that achieving the telos of truth involves preserving the original’s proportions and appropriate features. The view that Plato’s conception of truth takes statements or mental states to be certain types of image is not ground-breaking. The important contribution of my argument is that it offers a plausible way to understand two recalcitrant claims made by Plato: first, that falsity obtains not only in the region of incorrect images (appearances) but also within correct images (likenesses); second, that some incorrect images are based on knowledge and so could be true. (shrink)

Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of modern views (...) that are seen as psychologistic because of one or another feature. Although these can avoid some of the classic objections to psychologism, some still hold. (shrink)

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

The criticisms levelled at the notion of truth by an anti-realist and an entity-realist are critically examined. The upshot of the discussion will be that whilst neither of the two anti-truth philosophers have succeeded in establishing their cases against truth, for entity-realists to reject the notion of truth is to throw out the baby with the bath water: entity-realism without the notion of correspondence truth will degenerate into anti-realism.

The Stoic philosopher Chrysippus wrote extensively on the liar paradox, but unfortunately the extant testimony on his response to the paradox is meager and mainly hostile. Modern scholars, beginning with Alexander Rüstow in the first decade of the twentieth century, have attempted to reconstruct Chrysippus? solution. Rüstow argued that Chrysippus advanced a cassationist solution, that is, one in which sentences such as ?I am speaking falsely? do not express propositions. Two more recent scholars, Walter Cavini and Mario Mignucci, have rejected (...) Rüstow's thesis that Chrysippus used a cassationist approach. Each has proposed his own thesis about Chrysippus? solution. I argue that Rüstow's view is fundamentally correct, and that the cassationist thesis gains greater plausibility when viewed in light of a passage in Sextus Empiricus? Adversus mathematicos that the previous commentators have ignored, and when understood within the broader context of Stoic logical theory and philosophy of language. I close with a brief remark on the significance of Chrysippus? work for the modern debate on the semantic paradoxes. (shrink)

Axiomatic systems can be understood as subsets of syntactic systems. By a process of increasing abstraction, the notion of a syntactic system can become useful for understanding Meillassoux’s concept of hyper-Chaos.