We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two (...) weighted Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

According to Stephen Finlay, ‘A ought to X’ means that X-ing is more conducive to contextually salient ends than relevant alternatives. This in turn is analysed in terms of probability. I show why this theory of ‘ought’ is hard to square with a theory of a reason’s weight which could explain why ‘A ought to X’ logically entails that the balance of reasons favours that A X-es. I develop two theories of weight to illustrate my point. I first look at (...) the prospects of a theory of weight based on expected utility theory. I then suggest a simpler theory. Although neither allows that ‘A ought to X’ logically entails that the balance of reasons favours that A X-es, this price may be accepted. For there remains a strong pragmatic relation between these claims. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study (...) some variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a (...) concept. We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views. (shrink)

It is commonly argued that values “fill the logical gap” of underdetermination of theory by evidence, namely, values affect our choice between two or more theories that fit the same evidence. The underdetermination model, however, does not exhaust the roles values play in evidential reasoning. I introduce WAVE – a novel account of the logical relations between values and evidence. WAVE states that values influence evidential reasoning by adjusting evidential weights. I argue that the weight-adjusting role of values is distinct (...) from their underdetermination gap-filling role. Values adjust weights in three ways. First, values affect our trust in the testimony of others. Second, values influence the evidential thresholds required for justified epistemic judgments. Third, values influence the relative weight of a certain type of evidence within a body of multimodal discordant evidence. WAVE explains, from an epistemic perspective, rather than psychological, how smokers, for example, can find the same evidence about the dangers of smoking less persuasive than non-smokers. WAVE allows for a wider effect of values on our accepted scientific theories and beliefs than the effect for which the underdetermination model allows alone; therefore, science studies scholars must consider WAVE in their research and analysis of evidential case studies. (shrink)

The logical interpretation of probability, or "objective Bayesianism'' – the theory that (some) probabilities are strictly logical degrees of partial implication – is defended. The main argument against it is that it requires the assignment of prior probabilities, and that any attempt to determine them by symmetry via a "principle of insufficient reason" inevitably leads to paradox. Three replies are advanced: that priors are imprecise or of little weight, so that disagreement about them does not matter, within limits; that it (...) is possible to distinguish reasonable from unreasonable priors on logical grounds; and that in real cases disagreement about priors can usually be explained by differences in the background information. It is argued also that proponents of alternative conceptions of probability, such as frequentists, Bayesians and Popperians, are unable to avoid committing themselves to the basic principles of logical probability. (shrink)

Many philosophers argue that Keynes’s concept of the “weight of arguments” is an important aspect of argument appraisal. The weight of an argument is the quantity of relevant evidence cited in the premises. However, this dimension of argumentation does not have a received method for formalisation. Kyburg has suggested a measure of weight that uses the degree of imprecision in his system of “Evidential Probability” to quantify weight. I develop and defend this approach to measuring weight. I illustrate the usefulness (...) of this measure by employing it to develop an answer to Popper’s Paradox of Ideal Evidence. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (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)

Logical anti-exceptionalism is the view that logic is not special among the sciences. In particular, anti-exceptionalists claim that logical theory choice is effected on the same bases as any other theory choice procedure, i.e., by abduction, by weighting pros and cons of rival views, and by judging which theory scores best on a given set of parameters. In this paper, we first present the anti-exceptionalists favourite method for logical theory choice. After spotting on important features of the method, we discuss (...) how they lead to trouble when the subject matter of choice is logic itself. The major difficulty we find concerns the role of the logic employed to evaluate theory choice, or, more specifically, the role of the metalanguage employed to run the abductive method. When rival logical theories are being evaluated and compared, we argue, it is difficult not to beg some important questions; the metalanguage introduce biases difficult to avoid. These difficulties seem to be inherent to the method described. We suggest that they put some constraints on the scope of application of the method of abductive theory choice in logic and on the kind of disputes the anti-exceptionalist may plausibly expect to solve with it. We end the paper with some suggestions for how the anti-exceptionalist may address these issues on this front. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

This paper outlines an Husserlian, phenomenological account of the first stages of the acquisition of empirical knowledge in light of some aspects of Wilfrid Sellars’ critique of the myth of the given. The account offered accords with Sellars’ in the view that epistemic status is attributed to empirical episodes holistically and within a broader normative context, but disagrees that such holism and normativity are accomplished only within the linguistic and conceptual confines of the space of reasons, and rejects the limitation (...) of the relevant normativity to the cognitive domain. Attention to the phenomenological notion of motivations in our mapping of the structure and acquisition of empirical knowledge reveals a form of weak categoriality given in experience, one outside exclusive mediation by language and concepts but also not merely causal. Section 1 outlines some basic aspects of Sellars’ account of empirical knowledge in Empiricism and the Philosophy of Mind, including a regress objection that arises due to his claim that empirical knowledge presupposes knowledge of general facts about perception. Section 2 examines Sellars’ later revisiting of the objection, via his critique of Roderick Firth, in “The Lever of Archimedes,” focusing on his analysis of the “Myth of the Categorial Given” and his use of the notion of ur-concepts. Section 3 looks at Sellars’ psychological nominalism and his rejection of the explanatory primacy of experience in light of the strict dichotomy between the space of causes and the space of reasons, and shows how Firth’s account aligns with phenomenology in its advocating for an irreducible and non-inferential role for experience. It also raises an important objection to Sellars’ account concerning the categorial givenness of causality. Section 4 turns to Husserl, arguing that his conception of motivation in the Logical Investigations and Ideas II reveals a third explanatory or logical space “between” that of causes and that of reasons. Section 5 further develops this account with regard to the explanatory role of lived experience. Section 6 revisits the regress objection to Sellars from the phenomenological standpoint developed earlier in the paper, and argues that an Husserlian account of empirical knowledge offers a viable alternative to Sellars’ that overcomes the regress objection and gives proper explanatory weight to the evidence of lived experience vis-à-vis scientific presuppositions about causality. (shrink)

The theory of relativity (1) is considered form a perspective of folklore. Abstracted entities in the theory of relativity are stripped of units in order to provide explanation, to expose an ordinary meaning that employs a fulcrum for visual description. It is suggested that components of the theory’s construction are not only unusually compatible with religious and spiritual but are also unaccounted for scientifically; they may not render the expected power struggle of church doctrine with scientific notions but an opposite (...) situation in which logical contradiction at the root level of physical meaning and symbolism is absent and might exist only with respect to active perceptual structuring, either functioning on the unknown or belief. This situation, is projected to exist in a volatile mythological form as a ‘fulcrum’ like bridge between points of dispersion in which the (invisible) entity of mass assumes an added social (or physical) weight imposed by the assumption of the existence of massless space; especially, should its’ logically non excludable converse situation, of exclusively “mass and force containing space” for all phenomenon, find future explanation and validity. (shrink)

In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, in (...) order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

Standing is a peculiar norm, allowing for deflecting that is rejecting offhand and without deliberation interventions such as directives. Directives are speech acts that aim to give directive-reasons, which are reason to do as the directive directs because of the directive. Standing norms, therefore, provide for deflecting directives regardless of validity or the normative weight of the rejected directive. The logic of the normativity of standing is, therefore, not the logic of invalidating directives or of competing with directive-reasons but of (...) ‘exclusionary permission’. That is, standing norms provide for permission to exclude from practical deliberation directive-reasons if given without the requisite standing, regardless of their normative weight. As such, standing is a type of second-order norm. Numerous everyday practices involve the deflection of directives, such as pervasive practices of deflecting hypocritical and officious directives. Of various possible models, the one that best captures the normative structure of these practices of deflection is the standing model. Accordingly, the normativity of standing is pervasive in our everyday practices. Establishing that standing, although a neglected philosophical idea, is a significant and independent normative concept. (shrink)

This paper explores the level of obligation called for by Milton Friedman’s classic essay “The Social Responsibility of Business is to Increase Profits.” Several scholars have argued that Friedman asserts that businesses have no or minimal social duties beyond compliance with the law. This paper argues that this reading of Friedman does not give adequate weight to some claims that he makes and to their logical extensions. Throughout his article, Friedman emphasizes the values of freedom, respect for law, and duty. (...) The principle that a business professional should not infringe upon the liberty of other members of society can be used by business ethicists to ground a vigorous line of ethical analysis. Any practice, which has a negative externality that requires another party to take a significant loss without consent or compensation, can be seen as unethical. With Friedman’s framework, we can see how ethics can be seen as arising from the nature of business practice itself. Business involves an ethics in which we consider, work with, and respect strangers who are outside of traditional in-groups. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

This is a defense of Pyrrhonian skepticism against the charge that the suspension of judgment based on equipollence is vitiated by the assent given to the equipollence in question. The apparent conflict has a conceptual side as well as a practical side, examined here as separate challenges with a section devoted to each. The conceptual challenge is that the skeptical transition from an equipollence of arguments to a suspension of judgment is undermined either by a logical contradiction or by an (...) epistemic inconsistency, perhaps by both, because the determination and affirmation of equipollence is itself a judgment of sorts, one that is not suspended. The practical challenge is that, independently of any conceptual confusion or contradiction, suspending judgment in reaction to equipollence evinces doxastic commitment to equipollence, if only because human beings are not capable of making assessments requiring rational determination without believing the corresponding premises and conclusions to be true. The two analytic sections addressing these challenges are preceded by two prefatory sections, one laying out the epistemic process, the other reviewing the evidentiary context. The response from the conceptual perspective is that the suspension of judgment based on equipollence is not a reasoned conclusion adopted as the truth of the matter but a natural reaction to an impression left by the apparently equal weight of opposing arguments. The response from the practical perspective is that the acknowledgment of equipollence is not just an affirmation of the equal weight of arguments but also an admission of inability to decide, suggesting that any assent, express or implied, is thrust upon the Pyrrhonist in a state of epistemic paralysis affecting the will and the intellect on the matter being investigated. This just leaves a deep disagreement, if any, regarding whether equipollence is an inference based on discursive activity or an impression coming from passive receptivity. But this, even if resolved in favor of the critic (which it need not and ought not be), is not the same as confusion or inconsistency on the part of the Pyrrhonist, the demonstration of which is the primary aim of this paper. (shrink)

Grounding has become all the rage in recent philosophical work and metaphilosophical discussions. While I agree that the concept of ground marks something useful, I am skeptical about the metaphysical weight many imbue it with, and the picture of ‘worldly layering’ that grounding talk inspires. My skepticism centers around the fact that grounding involves necessitation, combined with reasons for thinking matters of necessity are matters of logical or conceptual (semantic, psychological) relations. I sketch an argument for deflationism about ground based (...) on this sort of deflationism about necessity and essence. I also note that in at least some cases, the considerations supporting modal deflationism directly support deflationism about whatever grounding relations may obtain in these cases. (shrink)

This article argues that there are at least three different versions of methodological nationalism: state-centrism (unjustified supremacy granted to the nation-state), territorialism (understanding space as divided in territories), and groupism (equating society with the nation-state’s society). If these three versions are logically distinct, as it will be shown, the typology can serve as a tool to weight the influence of methodological nationalism in the social sciences. The paper has three sections arguing that 1) the three versions are all present in (...) the literature on methodological nationalism without always being distinguished; 2) the epistemological problems raised by methodological nationalism are sometimes misunderstood as ontological or normative questions about globalization and national borders; 3) the three versions of methodological nationalism can be shown to be logically independent by a few examples. (shrink)

Vitalism was long viewed as the most grotesque view in biological theory: appeals to a mysterious life-force, Romantic insistence on the autonomy of life, or worse, a metaphysics of an entirely living universe. In the early twentieth century, attempts were made to present a revised, lighter version that was not weighted down by revisionary metaphysics: “organicism”. And mainstream philosophers of science criticized Driesch and Bergson’s “neovitalism” as a too-strong ontological commitment to the existence of certain entities or “forces”, over (...) and above the system of causal relations studied by mechanistic science, rejecting the weaker form, organicism, as well. But there has been some significant scholarly “push-back” against this orthodox attitude, notably pointing to the 18th-century Montpellier vitalists to show that there are different historical forms of vitalism, including how they relate to mainstream scientific practice. Additionally, some trends in recent biology that run counter to genetic reductionism and the informational model of the gene present themselves as organicist. Here, we examine some cases of vitalism in the twentieth century and today, not just as a historical form but as a significant metaphysical and scientific model. We argue for vitalism’s conceptual originality without either reducing it to mainstream models of science or presenting it as an alternate model of science, by focusing on historical forms of vitalism, logical empiricist critiques thereof and the impact of synthetic biology on current theorizing of vitalism. (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking throughout. (...) However his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

Using Riemann’s Rearrangement Theorem, Øystein Linnebo (2020) argues that, if it were possible to apply an infinite positive weight and an infinite negative weight to a working scale, the resulting net weight could end up being any real number, depending on the procedure by which these weights are applied. Appealing to the First Postulate of Archimedes’ treatise on balance, I argue instead that the scale would always read 0 kg. Along the way, we stop to consider an infinitely jittery flea, (...) an infinitely protracted border conflict, and an infinitely electric glass rod. (shrink)

Mark David Webster ABSTRACT: Using qualitative methods, the author sought to better understand how philosophical assumptions about technology affect the thinking, and influence the decision making, of educational technology leaders in their professional practice. One of the research questions focused on examining whether assumptions of technological determinism were present in thinking and influenced the decisions that leaders make. The core category that emerged from data analysis, Keep up with technology (or be left behind), was interpreted to be a manifestation of (...) the technological imperative, an assumption associated with the philosophical perspective of technological determinism. The article presents a literature review and critique of philosophical issues surrounding technological determinism. Data analysis led to the conclusion that technology leaders working in K-12 education place weighted priority on the technological imperative, and there is philosophical tension between Keep up with technology (or be left behind), and a concurrently held perspective based on the logic of the instrumental view of technology. The findings suggest that different accounts of technological determinism, including Bimber’s three accounts of normative, nomological, and unintended consequences, are significant in the thinking of participants. School technology leaders placed priority on embracing technological change, sometimes adopting technology for its own sake. (shrink)

Beyond the predominant paradigm of an essentially rational human cognition, based on the classical binary logic, we want to propose some reflections that are organized around the intuition that the representations we have of the world are weighted with appreciations, for example affective ones. resulting from our integration into a social environment. We see these connotations as essentially ternary in nature, depending on the concepts underlying neutrosophy: either positive, negative or neutral. This form of representation would then influence the (...) very nature of the cognitive process, which in complex real-world situations, has to deal with problems of a combinatorial nature leading to a number of cases too large for our abilities. Forced to proceed by shortcuts on the basis of heuristics, cognition would use these assessments of the representations it manipulates to decide whether partial solutions are attractive for solving the problem or on the contrary are judged negative and are then quickly rejected. There is still the case of a neutral weighting that allows processing to continue. Thus a neutrosophical conception of our representations of the world explains how our cognition functions in its treatment of combinatorial problems in the form of producing processing accelerating heuristics, both in terms of partial solutions selection and processing optimization. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend defiance by arguing that (...) ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

The issue of emotion is discussed in three stages in this article. Thus, emotion is built on a realistic and explanatory basis. In the first stage, the relationship between the physiological structure of the human brain and emotion is emphasized. The connection between the lower/primitive brain (the region/emotion center where emotions arise) and the upper/developed brain (mind-logic center, prefrontal lobe) is mentioned. Secondly, the emotional and mental development of human according to Jean Piaget's Mental Development Theory is explained. In the (...) emotional / intuitive period of 4-7 years (Emotional Intuition), while the person is completely under the influence of emotions, at the age of 7-11, he becomes aware of a concrete world accompanying emotions and passes to the Concrete Operations Period. It experiences the universe by "experiment" in the concrete operational period. And at the age of 11-17, the human reaches the Abstract Operations Period with the addition of reason and logic to his mental structure, which he built by putting a concrete universe on the core of emotions. Emotion is one of the most important functions of the human brain, and the reasoning system has evolved as an extension of the emotional system. Emotion plays different roles in the reasoning process. Emotion can increase the weight of a proposition, affecting the result in favor of that proposition. Emotion also helps in the process of remembering the many facts that need to be taken into account in order to make a decision. It has been explained through examples that emotion has a very important function in reasoning and that the mind is also important in controlling emotions. Again, emotion can help the mind / logic process scientific knowledge correctly and make good decisions. (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking throughout. (...) However, his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally, they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

I claim that ‘cause and effect’ only appears to involve distinct existences insofar as we can’t adequately understand the relationship, or insofar as we are determined to look at the matters of fact involved from a logically deductive point of view. Since ‘cause and effect’ often represents the first stab at understanding what happens in a situation, this means it will often appear to involve distinct existences, and since logical deduction is the acme of what it is to perform adequate (...) reasoning, for philosophers, this re-enforces this appearance, to philosophers. In contrast I claim we can try to avoid drawing conclusions beyond objects or factors in a situation, by comparing them as we attempt to trace them about. In so far as we succeed, since we have not had to go beyond the continued existence of those factors, they themselves must appear sufficient to produce that part of the situations they continue into and so construct. I also claim if somethings appear themselves sufficient to bring something about this is inconsistent with the claim it depends on something else e.g. human understanding, or language. Two cases; 1) If we assume this object has, or continues to have some properties e.g. weight, then on this basis we can validly deduce such & such consequences. 2) The continued existence of this object with weight would (or is) itself be sufficient to bring about…. The first makes what we are up to depend on our mode of reasoning, or what we recognize as ‘our way and principles of reasoning’. The second discovers the situation to be autonomous. (shrink)

The book develops, defends, and applies an account of weighing reasons to resolve various issues in ethics. It tells you everything you ever wanted to know about weighing reasons and probably a lot of stuff you didn't want to know too. The excerpt provided here is the Table of Contents, the Introduction, and Chapter 1.

Lara Buchak argues for a version of rank-weighted utilitarianism that assigns greater weight to the interests of the worse off. She argues that our distributive principles should be derived from the preferences of rational individuals behind a veil of ignorance, who ought to be risk averse. I argue that Buchak’s appeal to the veil of ignorance leads to a particular way of extending rank-weighted utilitarianism to the evaluation of uncertain prospects. This method recommends choices that violate the unanimous (...) preferences of rational individuals and choices that guarantee worse distributions. These results, I suggest, undermine Buchak’s argument for rank-weighted utilitarianism. (shrink)

Carl Knight argues that lexical sufficientarianism, which holds that sufficientarian concerns should have lexical priority over other distributive goals, is ‘excessive’ in many distinct ways and that sufficientarians should either defend weighted sufficientarianism or become prioritarians. In this article, I distinguish three types of weighted sufficientarianism and propose a weighted sufficientarian view that meets the excessiveness objection and is preferable to both Knight’s proposal and prioritarianism. More specifically, I defend a multi-threshold view which gives weighted priority (...) to benefits directly above and below its thresholds, but gives benefits below the lowest threshold lexical priority over benefits above the highest threshold. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

Alison Bailey’s The Weight of Whiteness: A Feminist Engagement with Privilege, Race, and Ignorance examines how whiteness misshapes our humanity, measuring the weight of whiteness in terms of its costs and losses to collective humanity. People of color feel the weight of whiteness daily. The resistant habits of whiteness and its attendant privileges, however, make it difficult for white people to feel the damage. White people are more comfortable thinking about white supremacy in terms of what privilege does for them, (...) rather than feeling what it does to them. The first half of the book focuses on the overexposed side of white privilege, the side that works to make the invisible and intangible structures of power more visible and tangible. Bailey discusses the importance of understanding privileges intersectionally, the ignorance-preserving habits of “white talk,” and how privilege and ignorance circulate in educational settings. The second part invites white readers to explore the underexposed side of white dominance, the weightless side that they would rather not feel. The final chapters are powerfully autobiographical. Bailey engages readers with a deeply personal account of what it means to hold space with the painful weight of whiteness in her own life. She also offers a moving account of medicinal genealogies, which helps to engage the weight she inherits from her settler colonial ancestors. The book illustrates how the gravitational pull of white ignorance and comfort are stronger than the clean pain required for collective liberation. The stakes are high: Failure to hold the weight of whiteness ensures that white people will continue to blow the weight of historical trauma through communities of color. -/- All rights reserved. No portion of this publication may be reproduced, stored in a retrieval system, or transmitted in any form by any means, electronic, mechanical, photocopying, recording or otherwise without the prior written permission of the publisher. -/- -/- . (shrink)

The study of Enrici et al. (2023) in Ecology and Society [1] is one of a few in-depth discussions of the significance of money on how people (including academics, politicians, and residents) understand the impact of humans on the environment. These insights are critical, especially given the urgency of understanding anthropogenic influences on the ecosystem in the face of the unpredictable dangers of climate catastrophe.

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

, whereby some causes are deemed more important than others, are ubiquitous in historical studies. Drawing from influential recent work on causation, I develop a definition of causal-explanatory strength. This makes clear exactly which aspects of explanatory weighting are subjective and which objective. It also sheds new light on several traditional issues, showing for instance that: underlying causes need not be more important than proximate ones; several different causes can each be responsible for most of an effect; small causes need (...) not be less important than big ones; and non-additive interactive effects between causes present no particular difficulty. Key Words: causation • explanation • history • interaction • proximate • underlying. (shrink)

This paper addresses the question of how the ‘weight’ or ‘strength’ of normative reasons is best understood. We argue that, given our preferred analysis of reasons as sources of normative support, this question has a straightforward answer: the weight of a normative reason is simply a matter of how much support it provides. We also critically discuss several competing views of reasons and their weight. These include views which take reasons to be normatively fundamental, views which analyze reasons as evidence (...) concerning what one ought to do, views which analyze reasons in terms of good reasoning, and views which analyze reasons as explanations of ought-facts, fittingness-facts, or goodness-facts. (shrink)

We describe a prediction method called "Attractivity Weighting" (AW). In the case of cue-based paired comparison tasks, AW's prediction is based on a weighted average of the cue values of the most successful cues. In many situations, AW's prediction is based on the cue value of the most successful cue, resulting in behavior similar to Take-the-Best (TTB). Unlike TTB, AW has a desirable characteristic called "access optimality": Its long-run success is guaranteed to be at least as great as the (...) most successful cue. While access optimality is a desirable characteristic, concerns may be raised about the short-term performance of AW. To evaluate such concerns, we here present a study of AW's short-term performance. The results suggest that there is little reason to worry about the short-run performance of AW. Our study also shows that, in random sequences of paired comparison tasks, the behavior of AW and TTB is nearly indiscernible. (shrink)

The testimonia concerning weight in early Greek atomism appear to contradict one another. Some reports assert that the atoms do have weight, while others outright deny weight as a property of the atoms. A common solution to this apparent contradiction divides the testimonia into two groups. The first group describes the atoms within a κόσμος, where they have weight; the second group describes the atoms outside of a κόσμος, where they are weightless. A key testimonium for proponents of this solution (...) is Aëtius 1.3.18. It apparently denies weight as a property of the atoms, and supposedly describes the atoms when they are outside of a κόσμος. I argue against this interpretive solution by demonstrating, first, that Aëtius 1.3.18 does not deny that weight is a property of the atoms. Second, I argue that the report does not describe the atoms when they are outside of a κόσμος. Although these are largely negative conclusions, I contend that we are not left without a solution to the present interpretive difficulty. Once our testimonia concerning weight in early Greek atomism are examined thoroughly, it is clear that there is no conflict among them. (shrink)

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

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)