ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) abstraction principles. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

Perception of a property (e.g. a colour, a shape, a size) can enable thought about the property, while at the same time misleading the subject as to what the property is like. This long-overlooked claim parallels a more familiar observation concerning perception-based thought about objects, namely that perception can enable a subject to think about an object while at the same time misleading her as to what the object is like. I defend the overlooked claim, and then use it to (...) generate a challenge for a standard way of thinking about the relationship between visual experience and rational belief formation. Put informally, that view holds that just as we can mislead others by saying something false, illusory experience misleads by misrepresenting how things stand in the world. I argue that we ought to abandon this view in favour of some radical alternative account of the relationship between visual experience and rational belief formation. (shrink)

Pautz has argued that the most prominent naive realist account of hallucination—negative epistemic disjunctivism—cannot explain how hallucinations enable us to form beliefs about perceptually presented properties. He takes this as grounds to reject both negative epistemic disjunctivism and naive realism. Our aims are two: First, to show that this objection is dialectically ineffective against naive realism, and second, to draw morals from the failure of this objection for the dispute over the nature of perceptual experience at large.

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.

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of that procedure; (...) and ‘generative’ if the existence of that in virtue of which a true proposition stating its outcome is true is brought about by the execution of that procedure. The problem with Dummett's argument then is that a particular step in it, while correct for investigative procedures, is not correct for generative ones. But it is the latter that the ontological route is concerned with. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the debate (...) in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

I outline and defend a limited realism in socio-political conceptual amelioration (RSCA). RSCA claims that, in some cases, socio-political concepts are ameliorated to represent parts of a concept-independent reality more accurately. My main aim is to dissolve a seeming dilemma for RSCA: Whereas social kinds are mind-dependent (i.e. depending on human thought and action), realism implies that the kinds represented are ontologically independent of the concepts representing them. To dissolve this dilemma, I suggest considering two different roles concepts play concerning (...) social kinds. Concepts can both generate social kinds and represent social kinds. Once a concept has generated a social kind, this social kind is part of a concept-independent reality that can be represented by different concepts. Thereby, RSCA allows amelio-rated concepts to represent social kinds (e.g., rape, marriage) more accurately while acknowledging that human actions or concepts have generated these social kinds. (shrink)

In response to Kripke's modal argument contemporary descriptivists suggest that referring terms, e.g., ‘water’, are synonymous with actually-rigidified definite descriptions, e.g., ‘the actual watery stuff’. Following Scott Soames, this strategy has the counterintuitive consequence that possible speakers on Perfect Earth cannot be ascribed water-beliefs without beliefs about the actual world. Co-indexing the actuality and possibility operators has the equally untoward result that possible speakers on Twin Earth are ascribed water-beliefs. So, Soames's dilemma is that the descriptivist can account for either (...) Twin Earth or Perfect Earth but not both. In response, this paper argues that since ‘actual’ is an indexical, the content of water-beliefs is egocentric, and so if the descriptivist avails herself of relativized propositions as the content of such beliefs, she is able to account for both Twin Earth and Perfect Earth. The lesson is that we have to tread carefully when making inferences about the contents of beliefs from the semantics of belief-reporting sentences that contain actually-rigidified expressions. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

: ‘Sortalism about demonstrative reference’ is the view that the capacity to refer to things demonstratively rests on the capacity to classify them according to their kinds. This paper argues for one form of sortalism. Section 1 distinguishes two sortalist views. Section 2 argues that one of them is false. Section 3 argues that the other is true. Section 4 uses the argument from Section 3 to develop a new response to the objection to sortalism from examples where we seem (...) to succeed in referring even though we get sortal classification wrong, or do not attempt to classify at all. (shrink)

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might be modelled on Nelson''s (...) strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things,—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This paper argues that we can acknowledge the existence of moral truths and moral progress without being committed to moral realism. Rather than defending this claim through the more familiar route of the attempted analysis of the ontological commitments of moral claims, I show how moral belief change for the better shares certain features with theoretical progress in the natural sciences. Proponents of the better theory are able to convince their peers that it is formally and empirically superior to its (...) rivals, and the better theory may be promoted to the status of the truth. Yet there is no 'decision-procedure' for ethics any more than there is for molecular biology. The betterness of true theories can be grasped through what I term 'undirectional narratives' of progress. And while there are true moral claims and perhaps numerous moral truths yet to be discovered, we should reject currently popular forms of moral realism with bivalence. Some moral claims lend themselves to the construction of fully reversible, bi-directional narratives and are likely neither true nor false. (shrink)

I address what I call the Number Issue, which is raised by our ordinary talk and beliefs about certain social groups and institutions, and I take the Hallé orchestra as my example. The Number Issue is that of whether the Hallé is one individual or several individuals. I observe that if one holds that it is one individual, one faces an accusation of metaphysical extravagance. The bulk of the paper examines the difficulty of reconciling the view that the Hallé is (...) several individuals with two prima facie plausible theses about the manner of its persistence through time. The paper is structured around some remarks made by Peter Simons about groups, and the Hallé in particular, in his 'Parts'. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

In this essay I defend a solution to a skeptical paradox. The paradox I focus on concerns epistemic justification (rather than knowledge), and skeptical scenarios that entail that most of our ordinary beliefs about the external world are false. This familiar skeptical paradox hinges on a “closure” principle. The solution is to restrict closure, despite its first appearing as a fully general principle, so that it can no longer give rise to the paradox. This has some extra advantages. First, it (...) suggests a general strategy that provides solutions to other versions of the paradox, not just those that depend on closure. Second, it clarifies the relation between the paradox and other kinds of skeptical problem. (shrink)

This paper attempts to take a new look at the famous Lewis Carroll paradox about Achilles and the Tortoise. It examines in particular the connections between Lewis Carroll's regress argument for logical inferences and a similar regress for practical inferences. The Tortoise's point of view is espoused: no norm of reasoning or of conduct can in itself “make the mind move,” only the brute force of belief can. This conclusion is a Humean one. But it does not imply that we (...) renounce altogether the normative force of such principles of reasoning as modus ponens. Connexions with the Wittgensteinian rule-following problem are indicated. (shrink)

The aim of this article is to defend the inferentialist conception ofqualiaintrospection against some apparently decisive objections. According to inferentialism, a self-attribution of a qualitative state is to be understood as the conclusion of an inference, rather than as issuing from an experience of a specific kind. It has been objected that formally correct inferences warranting introspective conclusions are simply not to be found. I concede this point, but maintain that inferentialism should not be abandoned. Some deductive inferences are correct (...) because of the contents of the concepts which occur in them, rather than in virtue of their logical form. I claim that this is what happens for introspective inferences: they are materially correct because ofa prioriconceptual liaisons linking the concept of a conscious experience with a certain class of demonstrative concepts. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

In this paper I propose three steps to overcome the force-content dichotomy and dispel the Frege point. First, we should ascribe content to force indicators. Through basic assertoric and directive force indicators such as intonation, word order and mood, a subject presents its position of theoretical or practical knowledge of a state of affairs as a fact, as something that is the case, or as a goal, as something to do. Force indicators do not operate on truth- or satisfaction evaluable (...) entities as on the traditional view, but complete and unify them. Second, higher-level acts such as interrogative, logical and fictional acts create higher-level unities that may suspend commitment to the assertions and directions they operate on. But they do not cancel their force, but transfer the meaning of force indicators into the new unities they create. For example, in the context of asking a theoretical or practical question, the assertoric or directive force indicator now presents the kind of knowledge the subject is seeking. Third, the Frege point conflates different varieties of force. We neither need Frege’s assertion sign, nor Hare’s neustic, nor Hanks’s cancellation sign, but only ordinary force indicators and interrogative, logical and fictional markers. Propositions are not forceless contents to which a subject commits by forceful acts, but forceful acts put forward by higher-level acts which may suspend commitment to them. (shrink)

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

It is disputed what norm, if any, governs assertion. We address this question by looking at assertions of future contingents: statements about the future that are neither metaphysically necessary nor metaphysically impossible. Many philosophers think that future contingents are not truth apt, which together with a Truth Norm or a Knowledge Norm of assertion implies that assertions of these future contingents are systematically infelicitous. In this article, we argue that our practice of asserting future contingents is incompatible with the view (...) that they are not truth apt. We consider a range of norms of assertion and argue that the best explanation of the data is provided by the view that assertion is governed by the Knowledge Norm. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

My topic is the relation between nonsense and intelligibility, and the contrast between nonsense and falsehood which played a pivotal role in the rise of analytic philosophy . I shall pursue three lines of inquiry. First I shall briefly consider the positive case, namely linguistic understanding . Secondly, I shall consider the negative case—different breakdowns of understanding and connected forms of failure to make sense . Third, I shall criticize three important misconceptions of nonsense and unintelligibility: the austere conception of (...) nonsense propounded by the New Wittgensteinians ; the “no nonsense position” which roundly denies that there are cases of nonsense—Chomsky’s semantic anomalies or Ryle’s category mistakes–that are grammatically well-formed, without even having the potential for being used to make a truth-apt statement ; the individualistic conception of language and of semantic mistakes championed by Davidson . All three positions, I shall argue, ignore or deny combinatorial nonsense, the fact that perfectly meaningful sentence-components can be combined in a way that may be grammatical, yet without resulting in a sentence that is itself “meaningful”, i.e. endowed with linguistic sense. At a more strategic level, the first and the third position deny or ignore that natural languages are communal historical practices that go beyond idiolects and the employments of expressions in specific contexts and that are guided by semantic rules—standards for the meaningful use of words. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...) rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)