This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on the (...) interpretation of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (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 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)

The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended (...) to bring about a rapprochement between the logical empiricism of the Vienna Circle in exile and American pragmatism. In the course of this project, in the last years of his career, Frank outlined a comprehensive, socially engaged philosophy of science that could serve as a “link between science and philosophy”. (shrink)

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)

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

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)

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.

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)

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.

Confronted with the great variety one can find today in the work of those often labelled (either by themselves or by others) as “relationalists”, “naïve realists” or “disjunctivists”, one could be excused for thinking that relationalism has no common core, but is instead a constellation of views, which at best bear a kind of family resemblance to each other. We believe that this impression would be inaccurate. Relationalism is best thought of not as a constellation of loosely interrelated views, but (...) as a single wellspring of views, which has both a common core, and a variety of versions which differ from each other along two central axes of variation. In the first half of this introduction, we articulate this structure of relationalist views by constructing a common logical space for them. In the introduction’s second part, we use this logical space to introduce the various contributions this volume collects. (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 paper, I consider the role of perspective in Hegel’s metaphysics, and in particular the role that multiple perspectives play within the ultimate structure in Hegel’s metaphysics, which Hegel calls ‘the idea [die Idee].’ My (somewhat anachronistic) way into this topic will be to inquire about Hegel’s stance on what Adrian Moore has called ‘absolute representations.’ I argue for the claim that perspective is maintained, even in the absolute idea, which generates the task of understanding the nature of that (...) perspective and its compatibility with absoluteness. I attempt to accomplish this task by asking what a logical perspective could be, and how it might be related to visual perspective. Then I inquire into the relation that perspectives have to each other, i.e., to the system of perspectives. I construe those relations in reciprocal and dynamic terms, so that absoluteness takes the form of a structured round of perspectives rather than a relation to reality “once and for all”. (shrink)

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)

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)

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)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements (...) of subsets so there is a dual concept of logical entropy which is the normalized counting measure on distinctions of partitions. Thus the logical notion of information is a measure of distinctions. Classical logical entropy naturally extends to the notion of quantum logical entropy which provides a more natural and informative alternative to the usual Von Neumann entropy in quantum information theory. The quantum logical entropy of a post-measurement density matrix has the simple interpretation as the probability that two independent measurements of the same state using the same observable will have different results. The main result of the paper is that the increase in quantum logical entropy due to a projective measurement of a pure state is the sum of the absolute squares of the off-diagonal entries ("coherences") of the pure state density matrix that are zeroed ("decohered") by the measurement, i.e., the measure of the distinctions ("decoherences") created by the measurement. (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)

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. (...) I intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was (...) fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

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)

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)

Translated by Bernard Linsky This is the first English translation of Roman Ingarden’s paper presented at the 8th World Congress of Philosophy held in Prague in 1934: “Der Logistische Versuch einer Neugestaltung der Philosophie: Eine Kritische Bemerkung”, translated here as “The Logical Attempt at a New Formulation of Philosophy: A Critical Remark”. Also translated here are brief discussions by Rudolf Carnap and Otto Neurath. These essays were published in the original German in the Proceedings of the Congress in 1936. (...) This statement of Ingarden’s criticisms of the doctrines of the Vienna Circle has been mentioned in print, but his views have not been discussed, or indeed accurately reported to date. (shrink)

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such (...) norms. I investigate the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

Traditionally, pronouns are treated as ambiguous between bound and demonstrative uses. Bound uses are non-referential and function as bound variables, and demonstrative uses are referential and take as a semantic value their referent, an object picked out jointly by linguistic meaning and a further cue—an accompanying demonstration, an appropriate and adequately transparent speaker’s intention, or both. In this paper, we challenge tradition and argue that both demonstrative and bound pronouns are dependent on, and co-vary with, antecedent expressions. Moreover, the semantic (...) value of a pronoun is never determined, even partly, by extra-linguistic cues; it is fixed, invariably and unambiguously, by features of its context of use governed entirely by linguistic rules. We exploit the mechanisms of Centering and Coherence theories to develop a precise and general meta-semantics for pronouns, according to which the semantic value of a pronoun is determined by what is at the center of attention in a coherent discourse. Since the notions of attention and coherence are, we argue, governed by linguistic rules, we can give a uniform analysis of pronoun resolution that covers bound, demonstrative, and even discourse bound readings. Just as the semantic value of the first-person pronoun ‘I’ is conventionally set by a particular feature of its context of use—namely, the speaker—so too, we will argue, the semantic values of other pronouns, including ‘he’, are conventionally set by particular features of the context of use. (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)

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.

Alexius Meinong developed a notion of defective objects in order to account for various logical and psychological paradoxes. The notion is of historical interest, since it presages recent work on the logical paradoxes by Herzberger and Kripke. But it fails to do the job it was designed for. However, a technique implicit in Meinong's investigation is more successful and can be adapted to resolve a similar paradox discovered by Romane Clark in a revised version of Meinong's Theory of (...) Objects due to Rapaport. One family of paradoxes remains, but it is argued that they are unavoidable and relatively harmless. (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 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.

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)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

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)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation (...) into conditional connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

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)

After a brief history of Brentano's thesis of intentionality, it is argued that intentionality presents a serious problem for materialism. First, it is shown that, if no general materialist analysis (or reduction) of intentionality is possible, then intentional phenomena would have in common at least one nonphysical property, namely, their intentionality. A general analysis of intentionality is then suggested. Finally, it is argued that any satisfactory general analysis of intentionality must share with this analysis a feature which entails the existence (...) of a nonphysical "level of organization". (shrink)

We review a rough scheme of quantum mechanics using the Clifford algebra. Following the steps previously published in a paper by another author [31], we demonstrate that quantum interference arises in a Clifford algebraic formulation of quantum mechanics. In 1932 J. von Neumann showed that projection operators and, in particular, quantum density matrices can be interpreted as logical statements. In accord with a previously obtained result by V. F Orlov , in this paper we invert von Neumann’s result. Instead (...) of constructing logic from quantum mechanics , we construct quantum mechanics from an extended classical logic. It follows that the origins of the two most fundamental quantum phenomena , the indeterminism and the interference of probabilities, lie not in the traditional physics by itself but in the logical structure as realized here by the Clifford algebra. (shrink)

The aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The inference is (...) valid if, and only if, correctness is preserved from the premiss assertions to the conclusion assertion. Most of this is a spelling out of views on assertion and inference presented by Per Martin-Löf in lectures since 2015. (shrink)

Analytic theologians have proposed numerous “solutions” to the Logical Problem of the Trinity (LPT), mostly versions of Social Trinitarianism (ST) and Relative Identity Trinitarianism (RI). Both types of solution are controversial, but many hold out hope that further “Trinitarian theorizing” may yield some as yet unimagined, and somehow importantly different, solution to the LPT. I first give a precise definition of the LPT and of what would count as a solution to it. I then show how, though there are (...) infinitely many possible solutions, all solutions can be grouped together into a finite, exhaustive taxonomy, based precisely on those features which make them either controversial, heretical, or inconsistent. The taxonomy reveals why ST and RI have been the major proposed solutions, and also proves that there can be no importantly different, new solutions to the LPT. (shrink)

How "red", "green" were defined? Through analyzing how two children with congenitally inverted color sensations corresponding to red flags and green grass accept their grand mothers’ teaching about colors, the paper get opposite conclusions against logical empiricism. The “red” and “green” and other names of properties of objects were defined by objective physical properties (or together with behavior, such as in defining “beauty”), instead our sensations. So language directly points to things in themselves passing through sensations and presentative world. (...) It is not that things in themselves are unknowable, but that sensations and presentative world cannot be exactly described by daily language. (shrink)

This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl not (...) only recognized intersubjective communication as the condition of possibility of linguistic meaning acts, but also transformed his account of the structure of both signitive and intuitive acts. In the conclusion, I cash out this analysis, by showing how, on the basis of these new insights, Husserl reconstructs his theory of fulfillment. (shrink)

This paper accomplishes two tasks. First, I examine in detail Edmund Husserl’s earliest philosophy of surrogates, as it is found in his 1890 “On the Logic of Signs ”. I analyze his psychological and logical investigations of surrogates, where the former is concerned with explaining how these signs function and the latter with how they do so reliably. His differentiation of surrogates on the basis of their genetic origins and degrees of necessity is discussed. Second, the historical importance of (...) this text is disclosed by showing how Semiotic serves as both the inspiration for, and the foil to, Husserl’s 1901 First Logical Investigation. Husserl not only adopts the idea that linguistic signs can function via association, but also maintains that such signs can motivate me to execute one of two experiences. The key difference between the texts is that Husserl abandons his theory of surrogates in 1901, instead holding that I can experience absent objects by means of empty intentions. The reasons why Husserl found it necessary to transform this tenet of his philosophy are discussed at length. (shrink)

We present an interdisciplinary approach to study systematic relations between logical form and attacks between claims in an argumentative framework. We propose to generalize qualitative attack principles by quantitative ones. Specifically, we use coherent conditional probabilities to evaluate the rationality of principles which govern the strength of argumentative attacks. Finally, we present an experiment which explores the psychological plausibility of selected attack principles.

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

In this article I develop a new problem for the doctrine of the Trinity that I call the Problem of Triunity. Rather than proceeding from the fact that God is one and the persons are many, as the traditional problem of the Trinity does, the problem of triunity proceeds from the fact that, in one sense or another, God is many, and yet each divine person on his own is just one.

By the relational realist interpretation of wave function collapse, the quantum mechanical actualization of potentia is defined as a decoherence-driven process by which each actualization (in “orthodox” terms, each measurement outcome) is conditioned both by physical and logical relations with the actualities conventionally demarked as “environmental” or external to that particular outcome. But by the relational realist interpretation, the actualization-in-process is understood as internally related to these “enironmental” data per the formalism of quantum decoherence. The concept of “actualization via (...) wave function collapse” is accounted for solely by virtue of these presupposed logical relations—the same logical relations otherwise presupposed by the scientific method itself—and thus requires no “external” physical-dynamical trigger: e.g., the Gaussian hits of GRW, acts of conscious observation, etc. By the relational realist interpretation, it is the physical and logical relations among quantum actualities (quantum “final real things”) that drives the process of decoherence and, via the latter, the logically conditioned actualization of potentia. In this regard, the relational realist interpretation of quantum mechanics is a praxiological interpretation; that is, these physical and logical relations are ontologically active relations, contributing not just to the epistemic coordination of quantum actualizations, but to the process of actualization itself. (shrink)

The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettier Problem. However, the latter can be solved only if the problem of a successful coordination of the resources (at least truth and justification) necessary and sufficient to deliver propositional, fallibilist knowledge that p can be solved. In this paper, the coordination problem is proved to be insolvable by showing that it is equivalent to the ''''coordinated attack'''' problem, (...) which is demonstrably insolvable in epistemic logic. It follows that the tripartite account is not merely inadequate as it stands, as proved by Gettier-type counterexamples, but demonstrably irreparable in principle, so that efforts to improve it can never succeed. (shrink)