The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates its (...) own systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian (...) strategy. But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

This essay critically assesses Roman Ingarden’s 1915 review of the second edition of Edmund Husserl’s Logical Investigations. I elucidate and critique Ingarden’s analysis of the differences between the 1901 first edition and the 1913 second edition. I specifically examine three tenets of Ingarden’s interpretation. First, I demonstrate that Ingarden correctly denounces Husserl’s claim that he only engages in an eidetic study of consciousness in 1913, as Husserl was already performing eidetic analyses in 1901. Second, I show that Ingarden is (...) misguided, when he asserts that Husserl had fully transformed his philosophy into a transcendental idealism in the second edition. While Husserl does appear to adopt a transcendental phenomenology by asserting–in his programmatic claims–that the intentional content and object are now included in his domain of research, he does not alter his actual descriptions of the intentional relationship in any pertinent manner. Third, I show Ingarden correctly predicts many of the insights Husserl would arrive at about logic in his late philosophy. This analysis augments current readings of the evolution of Ingarden’s philosophy, by more closely examining the development of his largely neglected early thought. I execute this critical assessment by drawing both from Husserl’s later writings and from recent literature on the Investigations. By doing so, I hope to additionally demonstrate how research on the Investigations has matured in the one hundred years since the release of that text, while also presenting my own views concerning these difficult interpretative issues. (shrink)

In this work Husserl makes the distinction between expressions and indications that Derrida will later plant the bomb of Husserl's own Phenomenology of Internal Time Consciousness underneath it in order to undermine the dream for presence and inaugurate Deconstruction. Logic, as Husserl sees it, is concerned in the first place with meanings (propositions, concepts) and with associated meaning-instantiating acts. Most importantly, it is concerned with that sort of deductively closed collection of meanings which constitutes a scientific theory. For Husserl, as (...) for Bolzano, logic is a theory of science. Only where we have an appropriate unity and organization also on the side of the objects (states of affairs, properties) to which the relevant acts refer, however, will we have a scientific theory, so that the unity which is characteristic of the latter must involve both (1) an interconnection of truths (or of propositional meanings in general), and (2) an interconnection of the things to which these truths (and the associated cognitive acts) are directed. Where formal logic relates in the first place to meaning categories such as proposition, concept, subject and predicate, its sister discipline of formal ontology relates to object categories such as object and property, relation and relatum, manifold, part, whole, state of affairs, existence and so on. Logic in a broader sense therefore seeks to delimit the concepts which belong to the idea of a unity of theory in relation to both meanings and objects, and the truths of logic are all the necessary truths relating to those categories of constituents, on the side of both meanings and objects, from out of which science as such is necessarily constituted (including what we might think of as bridge-categories such as identity and truth which span the division between meanings and objects). The best way to deal with Husserl's theory of formal ontology, therefore, is to explicate both the connections between the formal and material, and those between the ontological and the logical. In introducing his distinction between formal and material ontology, Husserl asserts that the former is descriptive and involves analytic a priori judgements, and that the latter involves synthetic a priori judgements. In its most general sense formal ontology concerns itself with characterizing the simple 'something'. The sphere of material ontology in this sense are the laws of non-independence (2) which delimit the ontological regions. For the genetic interpretation, material ontology precedes formal ontology; for the descriptive interpretation it is the other way round (1913, art. 10). Here emerges 'the fundamental distinction between formal and material ontology': namely, the distinction between analytic a priori and synthetic a priori (Introduction to Formale und transzendentale Logik, 1929). (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, (...) violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are (...) thus unfounded. I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

This paper examines the evolution of Husserl’s philosophy of nonintuitive intentions. The analysis has two stages. First, I expose a mistake in Husserl’s account of non-intuitive acts from his 1901 Logical Investigations. I demonstrate that Husserl employs the term “signitive” too broadly, as he concludes that all non-intuitive acts are signitive. He states that not only meaning acts, but also the contiguity intentions of perception are signitive acts. Second, I show how Husserl, in his 1913/14 Revisions to the Sixth (...) Logical Investigation, amends his 1901 theory of non-intuitive acts, which he now calls “empty” intentions. He there accurately distinguishes empty meaning acts from the empty intentions of perception. In the conclusion, I reveal how Husserl’s alterations to his theory of non-intuitive intentions can inform our understanding of a larger shift in his philosophy. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On (...) the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the (...) latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such (...) are the conclusions arrived at in this paper. (shrink)

A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.

In the core chapters 4–6, Iacona (2018) argues against the “Uniqueness Thesis” (UT), stating that “there is a unique notion of logical form that fulfils both the logical role and the semantic role” (39), where the former “concerns the formal explanation of logical properties and logical relations, such as validity or contradiction” (37), and the latter “concerns the formulation of a compositional theory of meaning” (ibid.). He argues for this on the basis of relations of coreference (...) among referential expressions, names and indexicals. From what I take to be a fundamental agreement on most relevant issues, here I will nonetheless press him to clarify the notions of intrinsicness and the logical and semantic role of logical form on which he relies. (shrink)

Learning mathematics through distance education can be challenging, with the “logical” and “rewarding” nature proving difficult to measure. This article aimed to articulate an argument explaining the “logical” and “rewarding” nature of online mathematics learning, elucidating their causal factors. Existing data from the literature that involving students at Visayas State University, Philippines, were utilized in this study. The study used statistical measures to capture descriptions from the data, and quantile regression analysis was employed to forecast the predictors of (...) the logicality and rewarding nature of learning mathematics at a distance. Results indicate that learning mathematics in the new normal is perceived as “logical” and moderately “rewarding”. The regression and correlation analyses revealed a significant positive association between the perceived “logical” nature and the rewarding experience of learning mathematics. The constructed statistical models depicted that the determinants of logicality in learning mathematics include family income, money spent on the internet, learning environment, household size, social status, and health. Moreover, causal factors such as family income, money spent on the internet, learning environment, leisure activities, social status, and health significantly determine the rewarding nature of learning mathematics online. Conclusively, institution must support college students with their online learning needs. Furthermore, mathematics instructors should create lively and exciting online discussions that boost their logical thinking. Providing problem-solving task that are intrinsically rewarding can contribute to a more fulfilling learning experience. (shrink)

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

This paper accomplishes three goals. First, the essay demonstrates that Edmund Husserl’s theory of meaning consciousness from his 1901 Logical Investigations is internally inconsistent and falls apart upon closer inspection. I show that Husserl, in 1901, describes non-intuitive meaning consciousness as a direct parallel or as a ‘mirror’ of intuitive consciousness. He claims that non-intuitive meaning acts, like intuitions, have substance and represent their objects. I reveal that, by defining meaning acts in this way, Husserl cannot account for our (...) experiences of countersensical, absurd, or impossible meanings. Second, I examine how Husserl came to recognize this 1901 mistake in his 1913/14 Revisions to the Sixth Logical Investigation. I discuss how he accordingly reformulates his understanding of non-intuitive meaning acts from the ground up in those Revisions, where this also allows for him to properly account for the experience of impossible meanings. Instead of describing them as mirrors of intuitions, Husserl takes non-intuitive meaning acts to be modifications of intuitions, where they have no substance and do not represent their objects. Finally, in the conclusion to this essay, I demonstrate how this fundamental change to his understanding of meaning consciousness forced Husserl to revise other central tenets of his philosophy, such that the trajectory of his thought can only be properly understood in light of these revisions to his theory of non-intuitive meaning consciousness. (shrink)

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...) revealed to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with inconsistencies, (3) has finite operations of change, (4) (...) can do without extra-logical elements, and (5) only licenses consistent beliefs. (shrink)

I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.

This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he (...) revised his 1901 distinction between indicators and expressions, instead claiming in 1913/14 that the divisions should be drawn between indicators, signals, and categorial signs. Second, I elucidate why Husserl overturned his conclusion from the Investigations, that signs execute their signitive operations in three steps, because he recognizes that categorial signs and their meant object are experienced all at once. By exploring the transformation of these two tenets of Husserl’s semiotics, we will see that he conceived of the First Investigation only as a starting or jumping off point for future analyses of signitive experience, rather than as his final account. This analysis will further reveal novel insights about Husserl’s understanding of intersubjectivity, passivity, and temporality. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism (...) deserves revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

The beauty of Anselm’s ontological argument is, I believe, that no matter how one approaches it, one cannot refute it without making a significant metaphysical assumption, one that is likely to be contentious in its own right. Peter Millican disagrees. He introduces an objection according to which one can refute the argument merely by analysing its shallow logical details, without making any significant metaphysical assumption. He maintains, moreover, that his objection does not depend on a specific reading of the (...) relevant Anselmian text; in fact, Millican claims that his objection is applicable to every version of the ontological argument. In this paper, I argue that millican’s objection does not succeed, because, contrary to what he says, in order to justify his objection he does have to make a deep metaphysical assumption and rely on a specific reading of Anselm’s text. (shrink)

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

In this paper we discuss three examples of the appropriation of Kuhn’s ideas in philosophy of science. First we deal with classical logical empiricism. Perhaps somewhat surprisingly, the arch-logical empiricist Carnap considered Kuhn’s socio-historical account as a useful complementation, and not as a threat of the philosophy of science of logical empiricism. As a second example we consider the attempt of the so-called struc- turalist philosophy of science to provide a “rational reconstruction” of Kuhn’s approach. Finally, we (...) will deal with Friedman’s proposal to apply Kuhn’s ideas to the formulation of a modernized, historically enlightened Kantian approach that is based on the concept of a non-apodictic constitutive and historically moving a priori. (shrink)

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical (...) account for phenomena that are beyond the domain of existing models, such as extinction and the detection of novelty, from which “external inhibition” can be explained. Examples of the methods applied to make predictions are given using previously published results. The present theory proposes a new way to envision the minimal functions of the nervous system, and provides possible new insights into the way that brains ultimately create and use knowledge about the world. (shrink)

This article explores the question of how the members of the Lvov-Warsaw School promoted values that can be regarded as components of so-called logical culture. The author argues that these values are strictly connected with science. With references to Łukasiewicz, Czeżowski, and Kotarbiński,the article explores how values shape the logical culture and determines society as directed towards values. The article connects the meta-philosophical perspective with the philosophical one.

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach (...) to these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Contemporary discussions of expressivism in metaethics tend to run together two quite different antidescriptivist views, and only one of them is subject to the objection about compositional semantics pressed most recently by Schroeder (following Dreier, Unwinn, Hale, Geach and others). Here I distinguish the two versions of expressivism and then go on to suggest that those sympathetic to the second sort of expressivism might improve their account of normative vocabulary and the way it figures in reasoning by making what may (...) seem like a somewhat surprising comparison between normative vocabulary and logical vocabulary. I argue that this comparison brings into view the initial steps towards a third antidescriptivist view in metaethics, which we may see as a pragmatist improvement on the second version of expressivism. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be (...) dialogue between analytic philosophers and those of other traditions. (shrink)

This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.

In appearance, Husserl’s writings seem not to have had any influence on linguistic research, nor does what the German philosopher wrote about language seem to be worth a place in the history of linguistics. The purpose of the paper is exactly to contrast this view, by reassessing both the position and the role of Husserl’s early masterpiece — the Logical Investigations — within the history of linguistics. To this end, I will focus mainly on the third (On the theory (...) of wholes and parts) and fourth (The distinction between independent and non-independent meanings) Investigations, paying special attention to Husserl’s mereology and to the idea of a general pure grammar. The paper tries to situate the third and fourth Logical Investigation within the general context of late nineteenth-century and early twentieth-century linguistics and furthermore attempts to show the historical and theoretical importance of the Logical Investigations for the birth and the development of one of the most important linguistic “schools” of the twentieth century, namely structural linguistics. (shrink)

Dutch Book Arguments (DBAs) have been invoked to support various requirements of rationality. Some are plausible: probabilism and conditionalization. Others are less so: credal transparency and reflection. Anna Mahtani has argued for a new understanding of DBAs which, she claims, allow us to keep the DBAs for probabilism (and perhaps conditionalization) and reject the DBAs for credal transparency and reflection. I argue that Mahtani’s new account fails as (a) it does not support highly plausible requirements of rational coherence and (b) (...) it does not, even setting aside the first objection, succeed in undermining the DBAs for credal transparency or reflection. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then (...) class='Hi'>logical analysis of colors. (shrink)

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts (...) whereby the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (shrink)

I outline the theoretical framework of, and three research programs within American speculative philosophy of science during the period 1900-1931. One program applies verificationism to research in psychology, one investigates the methodology of research programs, and one analyses scientific explanation and other scientific concepts. The primary sources for my outline are works by Morris Raphael Cohen, Grace Andrus de Laguna, Theodore de Laguna, Edgar Arthur Singer Jr., Harold Robert Smart, and Marie Collins Swabey. I also use my outline to provide (...) a partial comparison of American speculative philosophy of science and 1930s logical positivism. My comparison suggests that logical positivism was a proposal for substantially narrowing down and winding back American philosophy of science and was based on positions that were already problematized in the American context. -/- . (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his (...) understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)