I present and defend the generalized selected effects theory (GSE) of function. According to GSE, the function of a trait consists in the activity that contributed to its bearer’s differential reproduction, or differential retention, within a population. Unlike the traditional selected effects (SE) theory, it does not require that the functional trait helped its bearer reproduce; differential retention is enough. Although the core theory has been presented previously, I go significantly beyond those presentations by providing a new argument for GSE (...) and defending it from a recent objection. I also sketch its implications for teleosemantics and philosophy of medicine. (shrink)

Many scientists routinely generalize from study samples to larger populations. It is commonly assumed that this cognitive process of scientific induction is a voluntary inference in which researchers assess the generalizability of their data and then draw conclusions accordingly. We challenge this view and argue for a novel account. The account describes scientific induction as involving by default a generalization bias that operates automatically and frequently leads researchers to unintentionally generalize their findings without sufficient evidence. The result is unwarranted, (...) overgeneralized conclusions. We support this account of scientific induction by integrating a range of disparate findings from across the cognitive sciences that have until now not been connected to research on the nature of scientific induction. The view that scientific induction involves by default a generalization bias calls for a revision of the current thinking about scientific induction and highlights an overlooked cause of the replication crisis in the sciences. Commonly proposed interventions to tackle scientific overgeneralizations that may feed into this crisis need to be supplemented with cognitive debiasing strategies against generalization bias to most effectively improve science. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

This paper focuses on how experiences of trauma can lead to generalized fear of people, objects and places that are similar or contextually or conceptually related to those that produced the initial fear, causing epistemic, affective, and practical harms to those who are unduly feared and those who are intimates of the victim of trauma. We argue that cases of fear generalization that bring harm to other people constitute examples of injustice closely akin to testimonial injustice, specifically, mnemonic injustice. (...) Mnemonic injustice is a label that has been introduced to capture how injustice can occur via the operation of human memory systems when stereotypes shape what is remembered. Here we argue that injustices can also occur via memory systems when trauma leads to a generalized fear. We also argue that this calls for a reformulation of the notion of mnemonic injustice. (shrink)

In this paper, I present a general theory of topological explanations, and illustrate its fruitfulness by showing how it accounts for explanatory asymmetry. My argument is developed in three steps. In the first step, I show what it is for some topological property A to explain some physical or dynamical property B. Based on that, I derive three key criteria of successful topological explanations: a criterion concerning the facticity of topological explanations, i.e. what makes it true of a particular system; (...) a criterion for describing counterfactual dependencies in two explanatory modes, i.e. the vertical and the horizontal; and, finally, a third perspectival one that tells us when to use the vertical and when to use the horizontal mode. In the second step, I show how this general theory of topological explanations accounts for explanatory asymmetry in both the vertical and horizontal explanatory modes. Finally, in the third step, I argue that this theory is universally applicable across biological sciences, which helps to unify essential concepts of biological networks. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

According to Intellectualism knowing how to V is a matter of knowing a suitable proposition about a way of V-ing. In this paper, I consider the question of which ways of acting might figure in the propositions which Intellectualists claim constitute the object of knowledge-how. I argue that Intellectualists face a version of the Generality Problem – familiar from discussions of Reliabilism – since not all ways of V-ing are such that knowledge about them suffices for knowledge-how. I consider various (...) responses to this problem, and argue that none are satisfactory. (shrink)

Metacognition is the capacity to evaluate the success of one's own cognitive processes in various domains; for example, memory and perception. It remains controversial whether metacognition relies on a domain-general resource that is applied to different tasks or if self-evaluative processes are domain specific. Here, we investigated this issue directly by examining the neural substrates engaged when metacognitive judgments were made by human participants of both sexes during perceptual and memory tasks matched for stimulus and performance characteristics. By comparing patterns (...) of fMRI activity while subjects evaluated their performance, we revealed both domain-specific and domain-general metacognitive representations. Multivoxel activity patterns in anterior prefrontal cortex predicted levels of confidence in a domain-specific fashion, whereas domain-general signals predicting confidence and accuracy were found in a widespread network in the frontal and posterior midline. The demonstration of domain-specific metacognitive representations suggests the presence of a content-rich mechanism available to introspection and cognitive control. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of (...) generalizations, not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...) aims of the Second Philosopher’s investigation into set-theoretic methodology; pro- vides a platform to analyze the Second Philosopher’s methods themselves; and can be applied to further questions in the philosophy of set theory. (shrink)

Scientists may sometimes generalize from their samples to broader populations when they have not yet sufficiently supported this generalization. Do such hasty generalizations also occur in experimental philosophy? To check, we analyzed 171 experimental philosophy studies published between 2017 and 2023. We found that most studies tested only Western populations but generalized beyond them without justification. There was also no evidence that studies with broader conclusions had larger, more diverse samples, but they nonetheless had higher citation impact. Our analyses (...) reveal important methodological limitations of many experimental philosophy studies and suggest that philosophical training may not protect against hasty generalizations. (shrink)

It is unknown to what extent medical researchers generalize study findings beyond their samples when their sample size, sample diversity, or knowledge of conditions that support external validity do not warrant it. It is also unknown to what extent medical researchers describe their results with precise quantifications or unquantified generalizations, i.e., generics, that can obscure variations between individuals. We therefore systematically reviewed all prospective studies (n = 533) published in the top four highest ranking medical journals, Lancet, New England Journal (...) of Medicine (NEJM), Journal of the American Medical Association (JAMA), and the British Medical Journal (BMJ), from January 2022 to May 2023. We additionally reviewed all NEJM Journal Watch clinical research summaries (n = 143) published during the same time. Of all research articles reporting prospective studies, 52.5% included generalizations beyond specific national study populations, with the numbers of articles with generics varying significantly between journals (JAMA = 12%; Lancet = 77%) (p < 0.001, V = 0.48). There was no evidence that articles containing broader generalizations or generics were correlated with larger or more nationally diverse samples. Moreover, only 10.2% of articles with generalizations beyond specific national populations reported external validity strengthening factors that could potentially support such extrapolations. There was no evidence that original research articles and NEJM Journal Watch summaries intended for practitioners differed in their use of broad generalizations, including generics. Finally, from the journal with the highest citation impact, articles containing broader conclusions were correlated with more citations. Since there was no evidence that studies with generalizations beyond specific national study populations or with generics were associated with larger, more nationally diverse samples, or with reports of population similarity that may permit extensions of conclusions, our findings suggest that the generalizations in many articles were insufficiently supported. Caution against overly broad generalizations in medical research is warranted. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate is (...) a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

I argue that moral principles, construed as moral generalizations, can be genuinely explanatory. Specifically, I present and respond to a challenge according to which moral generalizations are explanatorily redundant. In response, I present and defend an explanatory dimension of moral generalizations that is based on the idea of unification. I do so in the context of motivating a realist-friendly moral explanatory pluralism (i.e., the view that there can be many, equally legitimate, explanations of moral facts). Finally, I appeal to the (...) same theoretical resources to tackle an objection from explanatory circularity. (shrink)

In this paper we present the generalization of neutrosophic rings and neutrosophic fields. We also extend the neutrosophic ideal to neutrosophic biideal and neutrosophic N-ideal. We also find some new type of notions which are related to the strong or pure part of neutrosophy. We have given sufficient amount of examples to illustrate the theory of neutrosophic birings, neutrosophic N-rings with neutrosophic bifields and neutrosophic N-fields and display many properties of them in this paper.

The aim of this thesis is to discuss whether general terms are rigid and if they are, how their rigidity should be interpreted. To this end, I first present the problems related to the rigidity of general terms. The most important ones among them are the following: What do general terms refer to? Is there any difference between the terms called “natural kind terms” and other general terms? After that, I discuss the arguments of three competent interpretations which try to (...) overcome these problems. The first interpretation holds that general terms refer to (or apply to) each and every object in their extensions. According to this view, only general terms related to essential properties like “cat”, “gold” turn out to be rigid. After I try to expose the drawbacks of this view, I examine the arguments of the second interpretation which holds that general terms refer to abstract kinds. I also argue for this interpretation. According to this interpretation general terms which refer to the same kind in all possible worlds turn out to be rigid. The main objection to this view is that this interpretation makes so many general terms rigid and it trivializes the notion of rigidity. Arguing that this is an unfair objection, I also focus on the philosophical importance of the subject and show that the interpretation I argue for realizes this philosophical importance. The third interpretation, on the other hand, rejects the rigidity of general terms. I also discuss the drawbacks of this view. -/- Another subject I discuss in the thesis is the rigidity of artifactual kind terms. The kinds of human made objects for specific purposes are usually called “artifactual kinds”. I argue that artifactual kind terms could rigidly refer to artifactual kinds. I reply to the critiques of this view with regard to the semantics of artifactual kind terms and metaphysics of artifactual kinds. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of (...) the semantics, this analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Vogel argues that sensitivity accounts of knowledge are implausible because they entail that we cannot have any higher-level knowledge that our beliefs are true, not false. Becker and Salerno object that Vogel is mistaken because he does not formalize higher-level beliefs adequately. They claim that if formalized correctly, higher-level beliefs are sensitive, and can therefore constitute knowledge. However, these accounts do not consider the belief-forming method as sensitivity accounts require. If we take bootstrapping as the belief-forming method, as the discussed (...) cases suggest, then we face a generality problem. Our higher-level beliefs as formalized by Becker and Salerno turn out to be sensitive according to a wide reading of bootstrapping, but insensitive according to a narrow reading. This particular generality problem does not arise for the alternative accounts of process reliabilism and basis-relative safety. Hence, sensitivity accounts not only deliver opposite results given different formalizations of higher-level beliefs, but also for the same formalization, depending on how we interpret bootstrapping. Therefore, sensitivity accounts do not fail because they make higher-level knowledge impossible, as Vogel argues, and they do not succeed in allowing higher-level knowledge, as Becker and Salerno suggest. Rather, their problem is that they deliver far too heterogeneous results. (shrink)

In 1955 John Harsanyi proved a remarkable theorem that connects general good with the personal good of individuals. This chapter interprets Harsanyi’s theorem. It explains the meaning of its conclusion, the way it links together intrapersonal and interpersonal aggregation, and in particular the link it makes between the value of avoiding risk and the value of avoiding inequality between people. It explains how the theorem connects prioritarianism with risk avoidance and utilitarianism with risk neutrality. It sets out the theorem’s premises (...) and assesses the various objections that have been made to them. Finally, it considers how far Harsanyi’s theorem gives support to utilitarianism. (shrink)

In this paper we extend soft neutrosophic rings and soft neutrosophic fields to soft neutrosophic birings, soft neutrosophic N-rings and soft neutrosophic bifields and soft neutrosophic N-fields. We also extend soft neutrosophic ideal theory to form soft neutrosophic biideal and soft neutrosophic N-ideals over a neutrosophic biring and soft neutrosophic N-ring . We have given examples to illustrate the theory of soft neutrosophic birings, soft neutrosophic N-rings and soft neutrosophic fields and soft neutrosophic N-fields and display many properties of these.

The present paper was written as a contribution to ongoing methodological debates within the NCC project. We focus on the neural correlates of conscious perceptual episodes. Our claim is that the NCC notion, as applied to conscious perceptual episodes, needs to be reconceptualized. It mixes together the processing related to the perceived contents and the neural substrate of consciousness proper, i.e. mechanisms making the perceptual contents conscious. We thus propose that the perceptual NCC be divided into two constitutive subnotions. The (...) main theoretical idea that emerges as a consequence of this reconceptualization is that the neural correlate of a perceptual episode is formed in the neural interaction between content-processing and consciousness-conferring mechanisms. The paper elaborates this distinction, marshals some initial arguments in its favour, and tests it against some of the most debated theories of consciousness. (shrink)

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has (...) a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

This is the general introduction to the edited collection "A companion to Experimental Philosophy".

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

In this paper we present the development from paradoxism to neutrosophy, which gave birth to neutrosophic set and logic and especially to NeutroAlgebraic Structures (or NeutroAlgebras) and AntiAlgebraic Structures (or AntiAlgebras) that are generalizations and alternatives of the classical algebraic structures.

The generalized Darwinian research programme accepts physicalism, but holds that all life is purposive in character. It seeks to understand how and why all purposiveness has evolved in the universe – especially purposiveness associated with what we value most in human life, such as sentience, consciousness, person-to-person understanding, science, art, free¬dom, love. As evolution proceeds, the mechanisms of evolution themselves evolve to take into account the increasingly important role that purposive action can play - especially when quasi-Lamarckian evolution by cultural (...) means comes into existence. This programme of research brings together, into a coherent field of inquiry, aspects of such diverse fields of research as orthodox Darwinian theory (given its purposive interpretation), the study of animal behaviour, palaeontology, archaeology, history, anthropology, psycho-neurology, artificial intelligence, psychology, sociology, philosophy, linguistics, semantics, history and philosophy of science, and history and philosophy of inquiry more generally (the history and philosophy of ideas and culture). The great advantage of the generalized Darwinian research programme is that it provides a framework for understanding the deeds, achievements and experiences of people in a way that is compatible with the kind of knowledge and understanding achieved in the physical sciences, without being reducible to such knowledge and understanding. It promises to enable us to understand ourselves as a part of the biological domain without our humanity, our distinctive human value, being in any way denied: persons are not reduced to animals, and nor are animals misconceived to be persons. It holds out the hope that we can come to understand the human world as an integral part of the natural world without the meaning and value of the human world being thereby conceptually annihilated. The programme specifies in general terms what we must seek to do in order to develop a coherent understanding of nature and of ourselves which does justice to the character of both. (shrink)

In this paper, I argue that Kant gives a philosophically plausible derivation of the general duty of benevolence and that this derivation can be used to show how to derive other general duties of commission with the universalizability tests.The paper is divided into four sections. In the first, I explain Kant’s notion of a general duty. In the second, I introduce the universalizability tests. In the third, I examine and argue against an account in the secondary literature of how to (...) derive general duties from these tests. In the fourth, I look at Kant’s derivation of the duty of benevolence in the Metaphysics of Morals, and I suggest how this reasoning can be extended to other duties. (shrink)

The paper discusses the philosophical conclusions, which the interrelation between quantum mechanics and general relativity implies by quantum measure. Quantum measure is three-dimensional, both universal as the Borel measure and complete as the Lebesgue one. Its unit is a quantum bit (qubit) and can be considered as a generalization of the unit of classical information, a bit. It allows quantum mechanics to be interpreted in terms of quantum information, and all physical processes to be seen as informational in a (...) generalized sense. This implies a fundamental connection between the physical and material, on the one hand, and the mathematical and ideal, on the other hand. Quantum measure unifies them by a common and joint informational unit. Furthermore the approach clears up philosophically how quantum mechanics and general relativity can be understood correspondingly as the holistic and temporal aspect of one and the same, the state of a quantum system, e.g. that of the universe as a whole. The key link between them is the notion of the Bekenstein bound as well as that of quantum temperature. General relativity can be interpreted as a special particular case of quantum gravity. All principles underlain by Einstein (1918) reduce the latter to the former. Consequently their generalization and therefore violation addresses directly a theory of quantum gravity. Quantum measure reinterprets newly the “Bing Bang” theories about the beginning of the universe. It measures jointly any quantum leap and smooth motion complementary to each other and thus, the jump-like initiation of anything and the corresponding continuous process of its appearance. Quantum measure unifies the “Big Bang” and the whole visible expansion of the universe as two complementary “halves” of one and the same, the set of all states of the universe as a whole. It is a scientific viewpoint to the “creation from nothing”. (shrink)

We present a module based criterion, i.e. a sufficient condition based on the absolute value of the matrix coefficients, for the convergence of Gauss–Seidel method (GSM) for a square system of linear algebraic equations, the Generalized Line Criterion (GLC). We prove GLC to be the “most general” module based criterion and derive, as GLC corollaries, some previously know and also some new criteria for GSM convergence. Although far more general than the previously known results, the proof of GLC is simpler. (...) The results used here are related to recent research in stability of dynamical systems and control of manufacturing systems. (shrink)

The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.

As the principle of natural selection is generalized to explain (adaptive) patterns of human behavior, it becomes less clear what the selective environment empirically refers to. While the environment and individual are relatively separable in the non-human biological context, they are highly entangled in the context of moral, social, and institutional evolution. This chapter brings attention to the problem of generalizing the selective environment, and argues that it is ontologically disunified and definable only through its explanatory function. What unifies the (...) selective environment is that it explains adaptation in a non-agential way, by screening off various forms of agency, whether divine, organismic, or human. This explanatory function of the selective environment helps avoid some sources of confusion when the theory of natural selection is applied to humanities and social sciences. (shrink)

I distinguish two ways an ability might be general: (i) an ability might be general in that its possession doesn't entail the possession of an opportunity; (ii) an ability might be general in virtue of pertaining to a wide range of circumstances. I argue that these two types of generality – I refer to them with the terms ‘general’ and ‘generic’, respectively – produce two orthogonal distinctions among abilities. I show that the two types of generality are sometimes run together (...) by those writing on free will and argue that both types of generality are relevant to understanding the modality of abilities. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

Abstract. The theory-change epistemological model, tried on maxwellian revolution and special relativity genesis, is unfolded to apprehend general relativity genesis. It is exhibited that the dynamics of general relativity (GR) construction was largely governed by internal tensions of special relativity and Newton’s theory of gravitation. The research traditions’ encounter engendered construction of the hybrid domain at first with an irregular set of theoretical models. However, step by step, on revealing and gradual eliminating the contradictions between the models involved, the hybrid (...) set was put into order with a help of equivalence principle. A hierarchy of theoretical models starting from the crossbreeds and up to usual hybrids was moulded. The claim to put forward is that Einstein’s unification design could be successfully implemented since his programme embraced the ideas of the Nordström research programme, as well as the presuppositions of the programme of Max Abraham. By and large Einstein’s victory over his rivals became possible because the core of his research strategy was formed by the equivalence principle comprehended in the light of Kantian epistemology. It is stated that the theories of Nordström and Abraham contrived before November 25, 1915, were not merely the scaffolds to construct the GR basic model. They are still the necessary part of the whole GR theory necessary for its common use. Key words: Einstein, Nordstrom, Abraham, general relativity. -/- . (shrink)

Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the de nition of complex modalities. We provide a common generalisation: a logic that is dynamic in both senses, and one that is not limited to S5 as its modal base. It also incorporates, and signi cantly generalises, all the features of existing extensions of DEL such as BMS [3] (...) and LCC [21]. Our dynamic operators work in two steps. First, they provide a multiplicity of transformations of the original model, one for each action in a purely syntactic action structure (in the style of BMS). Second, they specify how to combine these multiple copies to produce a new model. In each step, we use the generality of PDL to specify the transformations. The main technical contribution of the paper is to provide an axiomatisation of this general dynamic dynamic logic (GDDL). This is done by providing a computable translation of GDDL formulas to equivalent PDL formulas, thus reducing the logic to PDL, which is decidable. The proof involves switching between representing programs as terms and as automata. We also show that both BMS and LCC are special cases of GDDL, and that there are interesting applications that require the additional generality of GDDL, namely the modelling of private belief update. More recent extensions and variations of BMS and LCC are also discussed. (shrink)

This article outlines a method of collaboration that will manifest a high probability of cumulative and progressive results in science. The method will accomplish this through a division of labour grounded in the order of occurrence of human cognitional operations. The following article explores the possibility of a method known as functional specialization, distinct tasks presently operative in neuroscience. Functional specialization will enhance collaboration within a science as well as initiate implementation of generalized empirical method. Implementation of generalized empirical method (...) will be achieved through the focus of individual specialties on specific mental operations. (shrink)

According to Michael Bergmann’s “intuitionist particularism,” our position with respect to skeptical arguments is much the same as it was with respect to Zeno’s paradoxes of motion prior to our developing sophisticated theories of the continuum. We observed ourselves move, and that closed the case in favor of the ability to move, even if we had no general theory about that ability. We observe ourselves form justified beliefs, and that closes the case in favor of the ability to form justified (...) beliefs, even if we have no general theory about that ability. I think this is a mistake. Our position with respect to skeptical arguments is like our current position with respect to Zeno’s paradoxes. Mathematics shows where Zeno’s reasoning goes wrong and provisions explanations of the ability to move. Epistemology shows where the skeptic’s reasoning goes wrong and provisions explanations of the ability to form justified beliefs. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

Richard Peters argued for a general education based largely on the study of truth-seeking subjects for its own sake. His arguments have long been acknowledged as problematic. There are also difficulties with Paul Hirst's arguments for a liberal education, which in part overlap with Peters'. Where justification fails, can historical explanation illuminate? Peters was influenced by the prevailing idea that a secondary education should be based on traditional, largely knowledge-orientated subjects, pursued for intrinsic as well as practical ends. Does history (...) reveal good reasons for this view? The view itself has roots going back to the 16th century and the educational tradition of radical Protestantism. Religious arguments to do with restoring the image of an omniscient God in man made good sense, within their own terms, of an encyclopaedic approach to education. As these faded in prominence after 1800, old curricular patterns persisted in the drive for ‘middle-class schools’, and new, less plausible justifications grew in salience. These were based first on faculty psychology and later on the psychology of individual differences. The essay relates the views of Peters and Hirst to these historical arguments, asking how far their writings show traces of the religious argument mentioned, and how their views on education and the development of mind relate to the psychological arguments. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

The question of Absolute Generality is whether quantifiers are ever as general as can be. Absolutists claim that quantifiers sometimes are absolutely general, while Relativists claim that quantifiers are never absolutely general. Although diverse philosophers have found the Relativist ethos compelling, it has been hard to articulate a consistent thesis which says what the Relativist seems to want to say. In this paper, I offer Relativists a way forward: I argue that what is needed to successfully state Relativism is a (...) way of generalizing that is non-quantificational. After showing how to define such a device of generalization in terms of identity between properties in a higher-order logical language, I use the device to articulate a form of Relativism which I prove to be consistent and which I argue captures the intuitive vision of the Relativist. (shrink)

I offer a novel two-stage reconstruction of Hume’s general-point-of-view account, modeled in part on his qualified-judges account in ‘Of the Standard of Taste.’ In particular, I argue that the general point of view needs to be jointly constructed by spectators who have sympathized with (at least some of) the agents in (at least some of) the actor’s circles of influence. The upshot of the account is two-fold. First, Hume’s later thought developed in such a way that it can rectify the (...) problems inherent in his Treatise account of the general point of view. Second, the proposed account provides the grounds for an adequate and well-motivated modest ideal observer theory of the standard of virtue. (shrink)

The generality problem is widely considered to be a devastating objection to reliabilist theories of justification. My goal in this paper is to argue that a version of the generality problem applies to all plausible theories of justification. Assume that any plausible theory must allow for the possibility of reflective justification—S's belief, B, is justified on the basis of S's knowledge that she arrived at B as a result of a highly (but not perfectly) reliable way of reasoning, R. The (...) generality problem applies to all cases of reflective justification: Given that is the product of a process-token that is an instance of indefinitely many belief-forming process-types (or BFPTs), why is the reliability of R, rather than the reliability of one of the indefinitely many other BFPTs, relevant to B's justificatory status? This form of the generality problem is restricted because it applies only to cases of reflective justification. But unless it is solved, the generality problem haunts all plausible theories of justification, not just reliabilist ones. (shrink)