Gao, Barzel, and Barabási attempted to devise a method to identify universal resilience in systems. This target was missed due to simplification in the methodology and to the confounding of the system-functions resilience and robustness. These two system-functions are distinct in both their form and in the roles they play in systems. There are many different kinds of both robustness and resilience. To clarify the difference between robustness and resilience, a short guide is provided consisting of six examples of (...) robustness and six examples of resilience. There is a concluding discussion concerning the manner in which robustness and resilience are confounded in the paper “Universal Resilience Patterns in Complex Networks.” -/- . (shrink)

This article is a critical survey of the debate over the value of the social discount rate, with a particular focus on climate change. The ma- jority of the material surveyed is from the economics rather than from the philosophy literature, but the emphasis of the survey itself is on founda- tions in ethical and other normative theory rather than highly technical details. I begin by locating the standard approach to discounting within the overall landscape of ethical theory, and explaining (...) the assumptions and simplifications that are needed in order to arrive at the model that is standard in the discounting literature. The article then covers the general theory of the Ramsey equation and its relationship to observed interest rates, arguments for and against a positive rate of pure time preference, the consumption elasticity of utility, and the effect of various sorts of uncertainty on the discount rate. Finally, it turns specifically to the ap- plication of this debate to the case of climate change, focussing on the recent controversy over the low discount rate used in the Stern Review of the Economics of Climate Change. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. (...) While non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

This paper challenges the common assumption that some phenotypic traits are quantitative while others are qualitative. The distinction between these two kinds of traits is widely influential in biological and biomedical research as well as in scientific education and communication. This is probably due to both historical and epistemological reasons. However, the quantitative/qualitative distinction involves a variety of simplifications on the genetic causes of phenotypic variability and on the development of complex traits. Here, I examine three cases from the life (...) sciences that show inconsistencies in the distinction: Mendelian traits, Mendelian diseases, and polygenic mental disorders. I show that these traits can be framed both quantitatively and qualitatively depending, for instance, on the methods through which they are investigated and on specific epistemic purposes. This suggests that the received view of quantitative and qualitative traits has a limited heuristic power—limited to some local contexts or to the specific methodologies adopted. Throughout the paper, I provide directions for framing phenotypes beyond the quantitative/qualitative distinction. I conclude by pointing at the necessity of developing a principled characterisation of what phenotypic traits, in general, are. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete (...) for the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set (...) theories due to Scott, Montague, Derrick, and Potter. (shrink)

This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of language to clear what is unclear, to (...) know what is unknown, to make definite what is vague. In this paper I used the method; logical method for interpretation and argumentation, analytical method for simplification, and critical method to investigate the real domain of language. This paper does not deal with ordinary functions of the language but it deals with the conceptual and modular functions of the language. The fundamental aim of this written up is to determine the analytical approach of Wittgenstein to sketch the ‘language as a tool to discuss the state of affairs or facts of the worlds that is also what philosophy does. This paper describes the contributions of rationalism and empiricism in the field of knowing the truths of language. (shrink)

Disjunctive antecedent conditionals —conditionals of the form if A or B, C—sometimes seem to entail both of their simplifications and sometimes seem not to. I argue that this behavior reveals a genuine ambiguity in DACs. Along the way, I discuss a new observation about the role of focal stress in distinguishing the two interpretations of DACs. I propose a new theory, according to which the surface form of a DAC underdetermines its logical form: on one possible logical form, if A (...) or B, C does entail both of its simplifications, while on the other, it does not. (shrink)

The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent to a dominance condition; (...) that they strengthen in different directions a common, basic dominance axiom; and that they can be explicitly combined in a unified dominance condition that is a candidate formal statement for the Sure-Thing Principle. Based on elementary proofs, our results shed light on some of the most fundamental properties of rational choice under uncertainty. In particular they imply, as corollaries, potential simplifications for Savage’s and the Anscombe- Aumann axiomatizations of Subjective Expected Utility. Most surprisingly perhaps, they reveal that in Savage’s axiomatization, P3 can be weakened to a natural strengthening of so-called Obvious Dominance. (shrink)

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is (...) unmistakably epistemic, as well as instances where simplicity is part of the content of substantive, empirical hypotheses. I illustrate these points with examples from the history of generative linguistics, such as: the shaping influence exerted by simplicity, via its involvement in the notion of “linguistically significant generalization”, its methodological and substantive contribution to the goal of explanatory adequacy, and its central role in the Minimalist Program’s search “beyond explanatory adequacy”. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

In a recent Opinion article, Sui and Humphreys [1] argue that experimental findings suggest self is ‘special’, in that self-reference serves a binding function within human cognitive economy. Contrasting their view with other functionalist positions, chiefly Dennett's [2], they deny that self is a convenient fiction and adduce findings to show that a ‘core self representation’ serves as an ‘integrative glue’ helping to bind distinct types of information as well as distinct stages of psycho- logical processing. In other words, where (...) Dennett regards self as analogous to a center of gravity, a simplification posited by observers, Sui and Humphreys regard self as a function that modulates mental processes. In practice, however, the concept of ‘self’ they employ is not unlike Dennett's. We side with Sui and Humphreys in hold- ing that self-reference modulates mental processes: reference to self during a task can bind memory to source, increase perceptual integration, and link attention to decision making, among other things. What is more, these functions are not reducible to other factors such as semantic coding, familiarity, or reward [3]. But whereas Sui and Humphreys contribute important empirical detail, the binding functions they describe are compatible with Dennett's version of functionalism, which treats self as an artifact of social process. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...) This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

This paper critically explores the ethical dimensions of Behavioral Public Policy (BPP), a domain grounded in the understanding that human rationality is bounded and that this limitation often leads to behaviors deemed irrational. By applying the behavioral lens, which posits that people operate under bounded rationality, BPP aims to craft interventions that safeguard individuals against their biases. However, this approach raises significant ethical concerns, both in the scientific underpinnings of BPP and its application through policy interventions. Accordingly, this paper examines (...) two distinct ethical dimensions of BPP, both as a scientific discipline and through its intervention methodologies. The analysis of the first dimension argues that, viewing bounded rationality as only instrumental in decision-making processes, risks oversimplifying ethical complexities. Such simplification may ignore the moral and value-based rationalities underlying decisions, potentially misattributing instances of immorality and akrasia (the failure to act according to one's judgment) to mere deficiencies in rational thinking. Secondly, the paper examines the impact of BPP on moral behavior and character development, addressing ethical concerns like the evidentiary basis of BPP research, the bounded rationality of choice architects themselves, and the morality of behavior changes induced by policy. Overall, this article provides a much-needed examination of the moral considerations associated with behavioral strategies in public policy and its epistemological foundations, contributing to a more comprehensive understanding of their ethical implications . (shrink)

Drawing from enactivist theory, this paper examines how certain cases of transgenerational trauma manifest as Post-Traumatic Stress Disorder in the descendants of survivors who did not experience the event directly. It argues that psychopathology develops from an embodied form of vicarious memory, conveyed through mimetic capacities and emotional resonances that involve the transfer of emotional and behavioral patterns from parents to children, affecting their sense of self. Children’s reenactments of their parents' emotional states do not merely replay the parents' trauma (...) but are also perceived and integrated into the children’s life as their own. This, in turn, biases their sense-making, which is further reinforced by background emotions in the household. Over time, certain mnemonic features contribute to the persistence of the initial emotional load, such as the simplification of events in collective memory and the reliance of embodied vicarious memories on somatic markers, which also fuel PTSD development. Finally, the paper briefly explores the implications of embodiment for understanding mnemonic causality. (shrink)

This paper is about four inferences patterns governing conditionals: Transitivity, Simplification, Contraposition, and Antecedent Strengthening. Transitivity, Simplification, and Contraposition are intuitively compelling. Although Antecedent Strengthening may seem less attractive at first, close attention to the full range of data reveals that it too has considerable appeal. An adequate theory of conditionals should account for these facts. The strict theory does so by validating them. But the variably strict theory invalidates them. So the variably strict theorist faces a question: (...) why do we find these inferences so compelling? In this paper, I suggest an answer on her behalf: that they are reasonable inferences in the sense introduced by Stalnaker (1975). -/- . (shrink)

‘Post-truth’ is a failed concept, both epistemically and politically because its simplification of the relationship between truth and politics cripples our understanding and encourages authoritarianism. This makes the diagnosis of our ‘post-truth era’ as dangerous to democratic politics as relativism with its premature disregard for truth. In order to take the step beyond relativism and ‘post-truth’, we must conceptualise the relationship between truth and politics differently by starting from a ‘non-sovereign’ understanding of truth.

Savage's framework of subjective preference among acts provides a paradigmatic derivation of rational subjective probabilities within a more general theory of rational decisions. The system is based on a set of possible states of the world, and on acts, which are functions that assign to each state a consequence€. The representation theorem states that the given preference between acts is determined by their expected utilities, based on uniquely determined probabilities (assigned to sets of states), and numeric utilities assigned to consequences. (...) Savage's derivation, however, is based on a highly problematic well-known assumption not included among his postulates: for any consequence of an act in some state, there is a "constant act" which has that consequence in all states. This ability to transfer consequences from state to state is, in many cases, miraculous -- including simple scenarios suggested by Savage as natural cases for applying his theory. We propose a simplification of the system, which yields the representation theorem without the constant act assumption. We need only postulates P1-P6. This is done at the cost of reducing the set of acts included in the setup. The reduction excludes certain theoretical infinitary scenarios, but includes the scenarios that should be handled by a system that models human decisions. (shrink)

The paper aims to establish if Grassmann’s notion of an extensive form involved an epistemological change in the understanding of geometry and of mathematical knowledge. Firstly, it will examine if an ontological shift in geometry is determined by the vectorial representation of extended magnitudes. Giving up homogeneity, and considering geometry as an application of extension theory, Grassmann developed a different notion of a geometrical object, based on abstract constraints concerning the construction of forms rather than on the homogeneity conditions required (...) by the modern version of the theory of proportions. Secondly, Grassmann’s conception of mathematical knowledge will be investigated. Parting from the traditional definition of mathematics as a science of magnitudes, Grassmann considered mathematical forms as particulars rather than universals: the classification of the branches of mathematics was thus based on different operational rules, rather than on empirical criteria of abstraction or on the distinction of different species belonging to a common genus. It will be argued that a different notion of generalization is thus involved, and that the knowledge of mathematical forms relies on the understanding of the rules of generation of the forms themselves. Finally, the paper will analyse if Grassmann’s approach in the first edition of the Ausdehnungslehre should be explained in terms of the notion of purity of method, and if it clashes with Grassmann’s later conventionalism. Although in the second edition the features of the operations are chosen by convention, as it is the case for the anti-commutative property of the multiplication, the choice is oriented by our understanding of the resulting forms: a simplification in the algebraic calculus need not correspond to a simplification in the ‘dimensional’ interpretation of the result of the multiplicative operation. (shrink)

In August 2002, three Indian computer scientists published a paper, ‘PRIMES is in P’, online. It presents a ‘deterministic algorithm’ which determines in ‘polynomial time’ if a given number is a prime number. The story was quickly picked up by the general press, and by this means spread through the scientific community of complexity theorists, where it was hailed as a major theoretical breakthrough. This is although scientists regarded the media reports as vulgar popularizations. When the paper was published in (...) a peer-reviewed journal only two years later, the three scientists had already received wide recognition for their accomplishment. Current sociological theory challenges the ability to clearly distinguish on independent epistemic grounds between distorted and non-distorted scientific knowledge. It views the demarcation lines between such forms of presentation as contextual and unstable. In my paper, I challenge this view. By systematically surveying the popular press coverage of the ‘PRIMES is in P’ affair, I argue--against the prevailing new orthodoxy--that distorted simplifications of scientific knowledge are distinguishable from non-distorted simplifications on independent epistemic grounds. I argue that in the ‘PRIMES is in P’ affair, the three scientists could ride on the wave of the general press-distorted coverage of their algorithm, while counting on their colleagues’ ability to distinguish genuine accounts from distorted ones. Thus, their scientific reputation was unharmed. This suggests that the possibility of the existence of independent epistemic standards must be incorporated into the new SSK model of popularization. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the (...) Weyl’s system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

The aim of this paper lies in characterizing the explanations and models used in the field of evolutionary developmental biology throughout its history. While manipulative experiments in controlled conditions have been useful to set the bases of the discipline and are still routinely performed, this approach supposes a tension between the reliability and the representativity of the conclusions. Given the recent changes in the understanding of evolutionary phenomena, different authors currently emphasize the need of avoiding excessive simplifications in experimental approaches, (...) incorporating the complexity of the analyzed systems as a relevant trait in the study of biological diversity. On the other hand, the fragile and contingent nature of evolutionary processes and the impossibility of intervening some of these phenomena underscore the importance of non-manipulative models that allow the elucidation of how-possibly mechanisms. We argue that a pluralism characterized by the integration of different kinds of explanations, models and metaphors used in evo-devo allows to exploit their respective advantages, favours interdisciplinarity and can contribute to form a representative description of evolutionary processes without relinquishing the local and detailed study of actual mechanisms. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define (...) operators which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Like any broad narrative about the history of ideas, this one involves a number of simplifications. My hope is that by taking a closer look Spinoza's notorious remarks on animals, we can understand better why it becomes especially urgent in this period as well as our own for philosophers to emphasize a distinction between human and nonhuman animals. In diagnosing the concerns that give rise to the desire to dismiss the independent purposes of animals, we may come to focus on (...) a new aspect of what needs to change about contemporary thinking on species divisions. In what follows, I will bring out Spinoza's contradictory and ambivalent remarks pertaining to the specific differences between humans and animals. It is my suspicion that this ambivalence continues to plague us today. Like Spinoza, we want to say that humans are like and unlike animals. As a simply descriptive claim, it may be true and innocuous. Yet, the way we affirm our proximity and distance from nonhuman animals requires careful attention. Spinoza viewed this proximity as a source of danger. We might do well to emphasize, with thinkers such as Donna Haraway (2003),how our proximity and difference are also sources of pleasure and power, both to be able to enjoy the affectionate bond that can often develop between humans and our animal companions but also to quell the anxiety that might encourage us to exploit and abuse them. (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical (...) logic. It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

Science is widely taken to aim, and often to succeed, in producing truths, a “mirror of nature”. Not so. Instead, science fashions models, understood broadly as representations that are never both completely precise and completely accurate. . This chapter discusses how the misconception arose and how it is now being corrected. The account begins with a tension between the founding metaphors of the Scientific Revolution, reading God’s book of nature and the clock metaphor. The former pre-frames laws and physics fundamentalism; (...) the latter the discovery of mechanisms, how things work. Laws aimed at truth, but the world is too complicated for us to get generalizations exactly right. Likewise, the complexity of mechanisms always requires simplifying idealization. Further, different problems require different idealizations and so a pluralism of accounts. The pluralism is unproblematic as different problems about the same subject matter can be consistently dealt with using very different schemes of simplification. (shrink)

The article begins with the redefinition of complexity and risk. Indeed, phenomena such as earthquakes, pandemics, ecological emergencies, and issues related to the development of technology highlight the unique and reciprocal relationship between complexity and risk. However, modernity endeavoured to simplify complexity and to erase the connection of the latter with any issue concerning risk. Despite its negative results, whose ineffectiveness and dangerousness have at the present become unmistakably clear, the attitude in favour of simplification succeeded in becoming the (...) forma mentis of modern science, politics, culture, ethics, etc. Yet, in the last decades a new trend seems to have arisen, namely the one focusing on the “governance” of complexity and of the related risks. If considered under a socio-political point of view, its aim is to succeed in efficiency, whilst maintaining democracy. This can be achieved through the advancement of dialogue, the appreciation of diversities, and the enhancement of pluralism. Hence, the pars construens of the article focuses on the notion of responsibility, and tries to highlight its fruitfulness for the socio-political “governance” of complexity. (shrink)

This essay replies to Michael Morreau and Erik J. Olsson’s ‘Learning from Ranters: The Effect of Information Resistance on the Epistemic Quality of Social Network Deliberation’. Morreau and Olsson use simulations to suggest that false ranters—agents who do not update their beliefs and only ever assert false claims—do not diminish the epistemic value of deliberation for other agents and can even be epistemically valuable. They argue conclude that “Our study suggests that including [false] ranters has little or no negative effect (...) on the epistemic value of social deliberation. Including them can even be epistemically beneficial. -/- I present concerns about their model and I enumerate some epistemic values that their discussion omits. I first raise two interrelated worries: (i.) The model is too simple; real-life irresponsible assertors do not speak uniformly falsely, for example. And tracking testifiers’ reliability demands cognitive resources. (ii.) In reality, we do not treat a person’s assertions that p as evidence that not p, especially not for all their assertions. I argue that these simplifications threat Morreau and Olsson conclusion. -/- I then enumerate epistemic values and disvalues that Morreau and Olsson do not discuss, but which bear on the value of false assertions and false ranters in their simulation and in real life. Candidate disvalues include: False beliefs of ranters; cognitive costs of discerning and recalling testifiers’ reliability; distrust; epistemic polarisatin; a prevalence of false assertion can impugn all testimony, including that of reliable testifiers. And candidate values include: a prevalence of true beliefs and assertions; attention being directed towards the right things; well-functioning trust relationships; believing people’s assertions; healthy discussion; epistemic respect; learning together. -/- . (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second (...) class of construction. (shrink)

It is common to distinguish between conscious mental episodes and standing mental states — those mental features like beliefs, desires or intentions, which a subject can have even if she is not conscious, or when her consciousness is occupied with something else. This paper presents a view of standing mental states according to which these states are less real than episodes of consciousness. It starts from the usual view that states like beliefs and desires are not directly present to the (...) mind, but are posited to explain thought and behaviour. Ascriptions of these states are attempts to model a subject’s “Worldview”: the totality of their cognitive, conative and affective dispositions. When ascribing standing states, we often significantly simplify the complexity of the Worldview. This simplification is a feature of models in general. The Worldview is also distinguished from the “Habitus” — the totality of dispositions that are associated with character traits. As with the Worldview, modelling the Habitus should be treated as a useful simplification of a very complex reality. It is argued that although these models have some similarities with fictions, these similarities are outweighed by the dissimilarities. (shrink)

Nietzsche's treatment of Epicurus is an interesting example of philosophical hermeneutics. Epicurus bas tren notoriously misinterpreted, claims Nietzsche, because bis mask bas been taken for bis true face. Traditionally Epicurus is presented as a utilitarian or hedonist avant la lettre. This is a simplification motivated by a desire to deprecate bis philosophy. To Nietzsche Epicurus was „an idyllic hero”, a teacher with anistocratic predilections aun his own concept of good, critical of the traditional form of religion, and of the (...) „pre-existent form of Cbristianity”. As a hedonist he was much less convincing, as he was afraid of both pain and pleasure. He assumed the mask of an epicure in order to hide bis true self. Nietzsche warn us over and over again not to trust the traditional interpretation of Epicurus and urges us to penetrate beyond the veil of a stylish disguise. (shrink)

One recent priority of the U.S. government is developing autonomous robotic systems. The U.S. Army has funded research to design a metric of evil to support military commanders with ethical decision-making and, in the future, allow robotic military systems to make autonomous ethical judgments. We use this particular project as a case study for efforts that seek to frame morality in quantitative terms. We report preliminary results from this research, describing the assumptions and limitations of a program that assesses the (...) relative evil of two courses of action. We compare this program to other attempts to simulate ethical decision-making, assess possibilities for overcoming the trade-off between input simplification and output reliability, and discuss the responsibilities of users and designers in implementing such programs. We conclude by discussing the implications that this project highlights for the successes and challenges of developing automated mechanisms for ethical decision making. (shrink)

The year 1989 marked the one hundredth anniversary of the birth of Martin Heidegger. What has happened to his thought in America? This essay offers a perspective on what I take to be the main trends and some representative works in Heidegger studies on the American side of the Atlantic (with perforce some simplifications both within and among the trends I mention).

The difficulties of philosophy reflects the nature of reality. Here it is proposed that the inability of scholastic philosophers to solve philosophical problems is a clear indication that neither philosophy nor reality is as complicated as they believe, but that its conceptual simplification cannot be achieved when we reject nondualism and endorse extreme and partial world-theories.

The unreduced many-body interaction problem solution, absent in usual science framework, reveals a new quality of emerging multiple, equally real but mutually incompatible system configurations, or “realisations”, giving rise to the universal concept of dynamic complexity and chaoticity. Their imitation by a single, “average” realisation or trajectory in usual theory (corresponding to postulated “exact” or perturbative problem solutions) is a rough simplification of reality underlying all stagnating and emerging problems of conventional (unitary) science, often in the form of missing, (...) or “dark”, entities and “hidden variables”. We show how the application of unreduced interaction problem solution and the ensuing concept of dynamic complexity provides the desired causally complete and intrinsically unified solutions to respective unitary science problems in the entire range of complexity levels, from elementary particles and cosmology to emergent consciousness and modern development crisis, implying real, essential and urgently needed progress. (shrink)

This paper examines the nature of analytical philosophy, its need and the importance in the contemporary world. In this write up I will investigate the role of logic, mind and language in the field of awnalytical philosophy. It further determines the development of clarification of complex statements into simple statements. What makes analytical philosophy unique and what are the major significance that differentiates analytical philosophy from philosophy of mind, philosophy of logic and philosophy of language. Analytical philosophy is the process (...) of analysis in which we proceed from complexity to simplicity and clarity. In analytical philosophy, philosophers are using analytical method to uncover those truths of the world and reality which are covered with linguistic ambiguity. Language plays an important role in analytical philosophy because the clarification and simplification is the business of analytical philosophy. World is made up of facts and facts are expressed and analyzed in language. Language is the representation of the world. I will also show the major contribution of analytical philosophers in explaining atomic world. (shrink)

This paper introduces a generic agent-based model simulating the exchange and the diffusion of pro and con arguments. It is applied to the case of the diffusion of vegetarian diets in the context of a potential emergence of a second nutrition transition. To this day, agent-based simulation has been extensively used to study opinion dynamics. However, the vast majority of existing models have been limited to extremely abstract and simplified representations of the diffusion process. These simplifications impairs the realism of (...) the simulations and disables the understanding of the reasons for the shift of an actor's opinion. The generic model presented here explicitly represents exchanges of arguments between actors in the context of an opinion dynamic model. In particular, the inner attitude towards an opinion of each agent is formalized as an argumentation graph and each agent can share arguments with other agents. Simulation experiments show that introducing attacks between arguments and a limitation of the number of arguments mobilized by agents has a strong impact on the evolution of the agents' opinion. We also highlight that when a new argument is introduced into the system, the quantity and the profile of the agents receiving the new argument will impact the evolution of the overall opinion. Finally, the application of this model to vegetarian diet adoption seems consistent with historical food behaviour dynamics observed during crises. (shrink)

A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination of them) into numbers that satisfy the mutual measurability property. Quantity calculus is based on a notational simplification of the concept of quantity. A key element of the simplification is that we consider units to be intentionally unspecified numbers that are measures of exactly specified objects, states or processes. This interpretation of quantity calculus combines all the (...) advantages of calculating with numerical values (since the values of quantities are numbers, we can do with them everything we do with numbers) and all the advantages of calculating with standardly conceived quantities (calculus is invariant to the choice of units and has built-in dimensional analysis). This also shows that the standard metaphysics and mathematics of quantities and their magnitudes is not needed for quantity calculus. At the end of the article, arguments are given that the concept of quantity as defined here is a pivotal concept in understanding the quantitative approach to nature. As an application of this interpretation of quantity calculus, an easy proof of dimensional homogeneity of physical laws is given. (shrink)

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined precisely, (...) and an analysis of how these notions fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

This paper aims both to tackle the technical issue of deciphering Hobbes’s derivation of the sine law of refraction and to throw some light to the broader issue of Hobbes’s mechanical philosophy. I start by recapitulating the polemics between Hobbes and Descartes concerning Descartes’ optics. I argue that, first, Hobbes’s criticisms do expose certain shortcomings of Descartes’ optics which presupposes a twofold distinction between real motion and inclination to motion, and between motion itself and determination of motion; second, Hobbes’s optical (...) theory presented in Tractatus Opticus I constitutes a more economical alternative, which eliminates the twofold distinction and only admits actual local motion, and Hobbes’s derivation of the sine law presented therein, which I call “the early model” and which was retained in Tractatus Opticus II and First Draught, is mathematically consistent and physically meaningful. These two points give Hobbes’s early optics some theoretical advantage over that of Descartes. However, an issue that has baffled commentators is that, in De Corpore Hobbes’s derivation of the sine law seems to be completely different from that presented in his earlier works, furthermore, it does not make any intuitive sense. I argue that the derivation of the sine law in De Corpore does make sense mathematically if we read it as a simplification of the early model, and Hobbes has already hinted toward it in the last proposition of Tractatus Opticus I. But now the question becomes, why does Hobbes take himself to be entitled to present this simplified, seemingly question-begging form without having presented all the previous results? My conjecture is that the switch from the early model to the late model is symptomatic of Hobbes’s changing views on the relation between physics and mathematics. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)