Aux prises avec une archive en pleine expansion et une littérature secondaire dont la masse a atteint et, notamment depuis son tournant numérique, largement dépassé un seuil critique, l’archéologie philosophique a fait le deuil du rêve micrologique de « tout lire, tout étudier » que Michel Foucault s’était pourtant donné pour idéal régulateur en s’interdisant d’effectuer un tri en amont des « choses dites dans une culture, conservées, valorisées, réutilisées, répétées et transformées ». Il importe désormais moins de décrire la (...) totalité d’un champ que de tracer et de croiser des itinéraires. En gros, il s’agit de « raconter des intrigues », selon la formule bien connue de Paul Veyne. Arrimée à la philologie et à l’histoire des corpus, cette théâtralisation du travail philosophique n’est cependant pas arbitraire. Comme l’explique Alain de Libera dans l’un des rares propos métarchéologiques qu’il a livrés en marge de son œuvre canonique, face à l’« accumulation folle de connaissances et d’informations » qui caractérise l’environnement actuel de la recherche, « le rôle de l’historien-archéologue est d’identifier les bonnes structures ». Comment s’y prend-il ? « Il y a pour ce faire – poursuit Alain de Libera au cours du même « Grand entretien d’Actu-Philosophia » – un critère d’identification heuristique : la simplicité. La force d’une hypothèse de travail se mesure au nombre d’éléments qu’elle est capable d’intégrer et d’unifier, en un mot : de “simplifier” ». Parmi les intrigues qui ont marqué l’histoire récente de l’archéologie à vocation philosophique il y a sans doute l’« ἐπιστήμη alexandrinienne » qu’Alain de Libera a identifiée en étudiant les doctrines anciennes et médiévales de l’abstraction et qu’il a baptisée de la sorte pour souligner le rôle qu’Alexandre d’Aphrodise a joué dans sa genèse. Pour peu qu’il soit convaincu de son intérêt intrinsèque, le lecteur, surtout s’il se trouve être un antiquisant ou un médiéviste, résistera difficilement à la tentation de se demander s’il est possible de procéder à une extension – même ponctuelle – du « réseau aphrodisien » : peut-on élargir avec le même succès son domaine d’application en testant son pouvoir d’inclusion dans d’autres cas que celui de la filière qu’il était initialement destiné à synchroniser ? C’est une ébauche de simplification de cet ordre que mon hommage voudrait esquisser à partit de quelques textes qu’Alain de Libera a lui-même étudiés et selon une trajectoire parallèle à celle qu’il a lui-même tracée. (shrink)

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)

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)

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 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)

Cécile Laborde has argued that the freedom we think of as ‘freedom of religion’ should be understood as a bundle of separate and relatively independent freedoms. I criticise that approach by pointing out that it is insufficiently sensitive to facts about the sorts of entities that liberal states are. I argue that states have good reasons to mould phenomena such as religion into easily governable monoliths. If this is a problem from the normative point of view, it is not due (...) to descriptively inadequate accounts of religion, but a problem with a lack of realism about the sort of institutions states are. My conclusion is a three-way disjunction: either one must reckon with liberal states’ historically determined limitations in the management of changing social phenomena, or one should direct one’s frustration at the marriage of liberalism and the state, or the very existence of states is normatively problematic. (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)

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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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 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)

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)

Philosophy and Phenomenological Research, EarlyView.

‘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.

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)

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)

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)

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)

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.

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 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)

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)

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. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (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)

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 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)

Diagrams by Connor Camburn -/- The relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation presents a fascinating interplay of concepts that have significantly influenced various fields, including mathematics, physics, philosophy, and art. This essay explores these relationships by drawing insights from André Weil's "From Metaphysics to Mathematics," Gilles Châtelet's works, and Schmid's discussion on Gnostic Futurism. -/- Axiomatization: Weil and Grothendieck -/- Axiomatization, as discussed in André Weil's "From Metaphysics to Mathematics," represents the transformation of metaphysical concepts into formal (...) mathematical structures. Weil's document highlights the progression from vague metaphysical ideas to concrete mathematical theories. This process is evident in the works of mathematicians like Lagrange and Galois, where initial metaphysical notions eventually crystallized into the formal structures of modern algebra. Similarly, Alexander Grothendieck's work in algebraic geometry involved the creation of an abstract framework that could unify various mathematical concepts, demonstrating the power of axiomatization in providing a foundational structure for complex ideas. -/- Mechanization: Oppenheimer, Watson-Crick, and Von Neumann -/- Mechanization, in the context of scientific development, refers to the application of mechanical principles to solve problems and the automation of processes. Figures like Oppenheimer in physics, Watson and Crick in biology, and Von Neumann in computing and mathematics, represent the pinnacle of mechanization in their respective fields. Their work exemplifies how mechanization has enabled the simplification and automation of complex processes, leading to alienating discoveries such as the atomic bomb, the structure of DNA, and the development of modern computers. -/- Creative Individuation: Gnostic Futurism -/- Eric Schmid's discussion on Gnostic Futurism, as found in his document, offers a perspective on creative individuation. Gnostic Futurism, rooted in Kantian-Hegelian transcendental universalism, represents a departure from conventional realism, emphasizing a transcendental nature and integration of mythopoeia. This movement in art and philosophy underscores the role of creativity and individual expression in transcending traditional forms and norms. It embodies the idea of creative individuation, where individual creativity leads to the formation of new, often revolutionary, artistic and philosophical expressions. -/- Virtual/Physical Individuation: Châtelet's Perspective -/- Gilles Châtelet's works, particularly "Figuring Space: Philosophy, Mathematics, and Physics," delve into the concept of virtual/physical individuation. Châtelet discusses the configuration of space in mathematics and physics, emphasizing the role of diagrams in scientific discovery. This exploration of space, both virtual (as in mathematical abstractions) and physical (as in tangible representations), reflects the process of individuation in both realms. Châtelet's perspective highlights how mathematical and physical representations are not just tools for understanding the world but are also expressions of individual and collective intellectual endeavors. -/- Interconnections and Synthesis -/- The synthesis of these concepts reveals a complex tapestry of intellectual development across disciplines. Axiomatization provides a foundational structure that enables the mechanization of processes, as seen in the works of Oppenheimer, Watson-Crick, and Von Neumann. This mechanization, in turn, paves the way for creative individuation, where individuals can transcend established norms and frameworks, as exemplified in Gnostic Futurism. Finally, the concept of virtual/physical individuation, as explored by Châtelet, represents the culmination of these ideas, where the abstract and the tangible intersect, leading to new forms of understanding and expression. -/- In conclusion, the relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation is a testament to the dynamic and interconnected nature of intellectual progress. From the formal structures of mathematics to the revolutionary changes in art and philosophy, these concepts demonstrate how human thought and creativity continue to evolve, challenging existing paradigms and forging new paths of understanding and expression. (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)

In the contemporary life sciences more and more researchers emphasize the “limits of reductionism” (e.g. Ahn et al. 2006a, 709; Mazzocchi 2008, 10) or they call for a move “beyond reductionism” (Gallagher/Appenzeller 1999, 79). However, it is far from clear what exactly they argue for and what the envisioned limits of reductionism are. In this paper I claim that the current discussions about reductionism in the life sciences, which focus on methodological and explanatory issues, leave the concepts of a reductive (...) method and a reductive explanation too unspecified. In order to fill this gap and to clarify what the limits of reductionism are I identify three reductive methods that are crucial in the current practice of the life sciences: decomposition, focusing on internal factors, and studying parts in isolation. Furthermore, I argue that reductive explanations in the life sciences exhibit three characteristics: first, they refer only to factors at a lower level than the phenomenon at issue, second, they focus on internal factors and thus ignore or simplify the environment of a system, and, third, they cite only the parts of a system in isolation. (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 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)

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)

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)

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)

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.

Maps provide us with an easily recognizable version of the new demarcation problem: On the one hand, we are all familiar with graphics and maps that unacceptably distort our perceptions without being technically inaccurate or fictive; indeed there are whole websites groups devoted to curating such images for fun. On the other hand, there are multiple unavoidably value-laden choices that must be made in the production of any map. Producing a map requires choosing everything from the colors and thicknesses of (...) the lines, the scale, the projection system, the categories and parameters represented, and much more. There is no neutral default for any of these choices, and all of them shape what information the map communicates. All the visual choices involved in producing a map enable some information to be conveyed at the cost of hiding or distorting other information, as map makers themselves routinely acknowledge and discuss. Hence there are no straightforward answers to questions about the line between distortion and legitimate representational choices. I explore three distinctive kinds of epistemic risks in map-making that generate special versions of the demarcation problem, which I dub aesthetic risk, categorization risk, and simplification risk. I argue that in each case, even good maps – maps that are accurate and epistemically valuable – have the potential to mislead us. I end by looking at maps that offer special epistemic benefits by making clear their own lack of value-neutrality while still being accurate and epistemically fecund. (shrink)

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)

An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it (...) lays the groundwork for understanding why these are things that need to be proven. -/- The book highlights the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. (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)

According to normative decision theory there exists a principle of procedure invariance which states that a decision maker's preference order should remain the same, independently of which response mode is used. For example, the decision maker should express the same preference independently of whether he or she has to judge or decide. Nevertheless, previous research in behavioral decision making has suggested that judgments and choices yield different preference orders in both the risky and the riskless domain. In the latter, the (...) prominence effect has been demonstrated. The main purpose of the present series of experiments was to test cognitive explanations which account for the prominence effect. One of the explanations provided a psychological account based primarily on decision-strategy compatibility. Two other explanations built on information structuring approaches. In the first one, the general idea was that decision makers differentiate between alternatives by value and belief restructuring. In the second approach, violations of invariance were assumed to be attributed to the information structure of the task which in many cases demand problem simplification. A prominence effect was in most experiments found for both choices and preference ratings. This finding spöke against the strategy compatibility explanation. Instead, the different forms of cognitive restructuring provided a better account. However, none of these provided a single explanation. Yet, the structure compatibility explanation appeared to be the more viable one, in particular of the relation between experimentäl manipulations and response mode outcomes. The predictions of the value-belief restructuring explanation, on the other hand, seemed to be more valid for the prominence effect found in choice than for preference ratings. (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)