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)

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.

This paper discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)

The author discusses a question related to a certain aspect of justification of legal decisions, often so-called internal justification-a legal decision is internally justified if and only if it can be deduced from the norm(s) applicable to the case, and from the statement(s) describing the facts of the case. According to this notion, infinite irrelevant logical consequences are justified. To avoid this counterintuitive conclusion, the author analyzes three notions of relevance: Sperber-Wilson's notion, Anderson-Belnap's notion, and Schurz's notion. The author presents (...) a reconstruction of the notion of relevance very close to Schurz's notion, extended to make it suitable to the particular characteristics of deontic logic. Finally, this notion of relevance is used to discuss some aspects of the concept of normative system, conceived as a deductive system, that is, a system containing all its logical consequences. (shrink)

The concern of this paper is not with the truth of any particular realist or anti-realist view, but rather with determining what it is to be a realist or anti-realist in the first place. While much skepticism has been voiced in recent years about the viability of such a project, my goal is to articulate interesting and informative conditions whereby any view in any domain of experience can count as either a realist or an anti-realist position.

This two-part paper reviews a scholarly debate on an alleged tension in Frege ’s philosophy of logic. In Section 1 of Part I, I discuss Frege ’s view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the (...) tension the view according to which logic is normative for thought seems to be incompatible with the idea that abiding by the laws of logic forms a precondition for thought. In Section 1 of Part II, I survey a number of interpretations of Frege ’s conception of logic that deal with this question. I show that they are for the most part either normative readings or constitutive readings. Finally, in Section 2, I adjudicate the debate and aim at reconciling the normative and the constitutive strands in Frege ’s conception of logic. (shrink)

There is a certain argument against the principle of the indiscernibility of identicals, or the thesis that whatever is true of a thing is true of anything identical with that thing. In this argument, PInI is used together with the self-evident principle of the necessity of self-identity to reach the conclusion, which is held to be paradoxical and, thus, fatal to PInI. My purpose is to show that the argument in question does not have this consequence. Further, I argue that (...) PInI is a universally valid principle which can be used to prove the necessity of identity. (shrink)

Rejectivism is one of the most influential embodiments of pragmatism within contemporary philosophy of logic, advancing an explanation of the meaning of a logical notion, negation, in terms of the speech act of denial. This paper offers a challenge to rejectivism by proposing that in virtue of explaining negation in terms of denial, the rejectivist ought to be able to explain the concept of contradiction partially in terms of denial. It is argued that any failure to achieve this constitutes an (...) explanatory failure on the part of rejectivism, and reasons are then provided to doubt that the challenge can be successfully met. (shrink)

The Knower Paradox has had a brief but eventful history, and principles of epistemic closure (which say that a subject automatically knows any proposition she knows to be materially implied, or logically entailed, by a proposition she already knows) have been the subject of tremendous debate in epistemic logic and epistemology more generally, especially because the fate of standard arguments for and against skepticism seems to turn on the fate of closure. As far as I can tell, however, no one (...) working in either area has emphasized the result I emphasize in this paper: the Knower Paradox just falsifies even the most widely accepted general principles of epistemic closure. After establishing that result, I discuss five of its more important consequences. (shrink)

Three misrepresentations of informal and formal logic by two feminist writers are discussed. Andrea Nye's criticism that the semantics for formal logic abstracts from context is a misrepresentation of formal logic because Nye ignores the development of intensional logics. Second, Nye's criticism that informaIlogicians ignore the origins of arguments is a misrepresentation of fallacy theory. Prominent writers in the field specifiy numerous cases where the origins of an argument are relevant to its evaluation. Third, Valerie Plumwood's criticism that negation in (...) classical logic rests on an exclusivistic dualism that encourages the exclusion of women is shown to be false. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

This paper explores the main philosophical approaches of David Hilbert’s theory of proof. Specifically, it is focuses on his ideas regarding logic, the concept of proof, the axiomatic, the concept of truth, metamathematics, the a priori knowledge and the general nature of scientific knowledge. The aim is to show and characterize his epistemological approach on the foundation of knowledge, where logic appears as a guarantee of that foundation. Hilbert supposes that the propositional apriorism, proposed by him to support mathematics, sustains (...) — on its turn — a general method for the treatment of the problem in other areas such as natural sciences. This method is axiomatic. Broadly speaking, we intend to recover and update the Hilbert’s philosophical thinking about the role of logic for scientific knowledge. (shrink)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription rule by (...) applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

We are familiar with various set-theoretical paradoxes such as Cantor's paradox, Burali-Forti's paradox, Russell's paradox, Russell-Myhill paradox and Kaplan's paradox. In fact, there is another new possible set-theoretical paradox hiding itself in Wittgenstein’s Tractatus. From the Tractatus’s Picture theory of language we can strictly infer the two contradictory propositions simultaneously: the world and the language are equinumerous; the world and the language are not equinumerous. I call this antinomy the world-language paradox. Based on a rigorous analysis of the Tractatus, with (...) the help of the technical resources of Cantor’s naive set theory and Zermelo-Fraenkel set theory with the axiom of choice, I outline the world-language paradox and assess the unique possible solution plan, i.e., the mathematical plan utilizing ‘infinity’. I conclude that Wittgenstein cannot solve the hidden set-theoretical paradox of the Tractatus successfully unless he gives up his finitism. (shrink)

This paper is about the mode of being of names. The paper begins by explaining why the joke is on commentators who see Lewis Carroll's White Knight as applying the use/mention distinction. Then it argues that the real problem with the distinction is that the idea that names are used to mention what they name depends on mistakenly conceiving of language as existing autonomously; and that philosophers have this conception because they fail to appreciate what they are doing when they (...) philosophise about language. This failure also explains why philosophers mistakenly think of any manifestation of a name as a (physical) token. (shrink)

Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also (...) consider variants, engendered by a stronger notion of ‘fixed point’, and by variant supervaluation schemes. A ‘logic’ is often thought of, not as a consequence relation, but as a set of sentences – the sentences true on each interpretation. We axiomatize the supervaluation fixed-point logics so conceived. (shrink)

This discusses a mistake (concerning what a definition is) in “Grelling’s revenge”, Analysis 64, 251-6 (2004), by Dale Jacquette, who claims that the simple theory of types is inconsistent.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more general moral (...) for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

El artículo propone una concepción no individualista de la justifi cación epistémica de las decisiones judiciales. Sugiere que la epistemología jurídica debe reconsiderar su teoría de la justifi cación epistémica con el fi n de dar cuenta de la posibilidad de que juzgadores racionales carezcan de autonomía intelectual. Sostiene que la dependencia epistémica es una de las propiedades que distinguen el razonamiento jurídico sobre los hechos, y que los juzgadores tienen buenas razones para aceptar una proposición sobre la base de (...) la experiencia cognitiva de otras personas. Después de hacer algunas precisiones terminológicas acerca de los conceptos de “testimonio” y “evidencia”, el trabajo explica la estructura de la dependencia epistémica, aborda los debates normativos actuales acerca de la justifi cación epistémica en casos de testimonio, y propone una posición externalista distinta, el antiindividualismo. Al fi nal, se explora una variación sobre el tema, que consiste en la integración de la noción de dependencia epistémica en una teoría de la autoridad en el derecho. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

This paper aims at providing an account of juridical acts that forms a suitable starting point for the creation of computational systems that deal with juridical acts. The paper is divided into two parts. This second part of the paper deals in some detail with the operation of juridical acts. Topics dealt with include: power and competence, capacity, form requirements, partial validity, avoidance and representation.

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

Some conspicuous characteristics of argumentation as we all know this phenomenon from our shared everyday experiences are in my view vital to its theoretical treatment because they should have methodological consequences for the way in which argumentation research is conducted. To start with, argumentation is in the first place a communicative act complex, which is realized by making functional verbal communicative moves.

There are numerous contexts in which philosophers and others use model-theoretic methods in assessing the validity of ordinary arguments; consider, for example, the use of models built upon 'possible worlds' in examinations of modal arguments. But the relevant uses of model-theoretic techniques may seem to assume controversial semantic or metaphysical accounts of ordinary concepts. So, numerous philosophers have suggested that standard uses of model-theoretic methods in assessing the validity of modal arguments commit one to accepting that modal claims are to (...) be analysed in terms of possible worlds. The paper provides a very general account of how uses of model-theoretic methods in demonstrating facts about validity and invalidity may in fact often be uncoupled from controversial semantic or metaphysical theses, applying the resulting techniques to some modal cases in particular. (shrink)

The Idea behind Tarski's Definition of Truth. In Tarski's presentations of his truth-definition, the steps of the construction are not sufficiently explained. It is not clear, on what general strategy the construction is based, what the fundamental ideas are, how some crucial steps work, and especially how the transition from the definition of satisfaction to the definition of truth should be understood. The paper shows that the account given in the model-theoretic literature, which is supported by Tarski's lemmata A and (...) B, is unsatisfactory, because Tarski's notion of truth can't be interpreted as ‘truth independent of the assignment of values to the variables’. Moreover, a satisfactory account of all the crucial steps is given. (shrink)

We forward an epistemological perspective regarding non-classical logics which restores the universality of logic in accordance with the thesis of global pluralism. In this perspective every non-classical truth-theory is actually a theory of some metalinguistic concept which does not coincide with the concept of truth (described by Tarski's truth theory). We intend to apply this point of view to Quantum Logic (QL) in order to prove that its structure properties derive from properties of the metalinguistic concept of testability in Quantum (...) Physics. To this end we construct a classical language L cand endow it with a classical effective interpretation which is partially inspired by the Ludwig approach to the foundations of Quantum Mechanics. Then we select two subsets of formulas in L cwhich can be considered testable because of their interpretation and we show that these subsets have the structure properties of Quantum Logics because of Quantum Mechanical axioms, as desired. Finally we comment on some relevant consequences of our approach (in particular, the fact that no non-classical logic is strictly needed in Quantum Physics). (shrink)

How do Dutch people let each other know that they disagree? What do they say when they want to resolve their difference of opinion by way of an argumentative discussion? In what way do they convey that they are convinced by each other’s argumentation? How do they criticize each other’s argumentative moves? Which words and expressions do they use in these endeavors? By answering these questions this short essay provides a brief inventory of the language of argumentation in Dutch.

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (shrink)

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

There are two paradoxes of satisfaction, and they are of different kinds. The classic satisfaction paradox is a version of Grelling’s: does ‘does not satisfy itself’ satisfy itself? The Unsatisfied paradox finds a predicate, P, such that Px if and only if x does not satisfy that predicate: paradox results for any x. The two are intuitively different as their predicates have different paradoxical extensions. Analysis reduces each paradoxical argument to differing rule sets, wherein their respective pathologies lie. Having different (...) pathologies, they are paradoxes of different kinds. Furthermore, each of these satisfaction paradoxes has an analogue with the same pathology in set theory. Therefore, these analogues are respectively of the same two kinds. This level of abstraction is significant in that it tracks two related but different pathologies. Thus, not all paradoxes of semantics and set theory share the same pathology: there are at least two kinds of paradox cutting across the semantic and set-theoretic distinction. (shrink)

Starting from a concept of reasonableness as well-consideredness, it is discussed in what way science could serve as a model for reasonable argumentation. It turns out that in order to be reasonable two requirements have to be fulfilled. The argumentation should comply with rules which are both problem-valid and intersubjectively valid. Geometrical and anthropological perspectives don't meet these criteria, but a critical perspective does. It is explained that a pragma-dialectical approach to argumentation which agrees with this critical perspective is indeed (...) problem-valid and that strong pragmatic and utilitarian arguments can be given for its intersubjective validity. Thus, conventional validity is promoted for a code of conduct for discussants who want to resolve their disputes reasonably by way of a critical discussion. (shrink)

Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.