I show why Michael Friedman’s idea that we should view new constitutive frameworks introduced in paradigm change as members of a convergent series introduces an uncomfortable tension in his views. It cannot be justified on realist grounds, as this would compromise his Kantian perspective, but his own appeal to a Kantian regulative ideal of reason cannot do the job either. I then explain a way to make better sense of the rationality of paradigm change on what I take to (...) be Friedman’s own terms. (shrink)

Abstract. In Dynamics of Reason Michael Friedman proposes a kind of synthesis between the neokantianism of Ernst Cassirer, the logical empiricism of Rudolf Carnap, and the historicism of Thomas Kuhn. Cassirer and Carnap are to take care of the Kantian legacy of modern philosophy of science, encapsulated in the concept of a relativized a priori and the globally rational or continuous evolution of scientific knowledge,while Kuhn´s role is to ensure that the historicist character of scientific knowledge is taken (...) seriously. More precisely, Carnapian linguistic frameworks, guarantee that the evolution of science procedes in a rational manner locally,while Cassirer’s concept of an internally defined conceptual convergence of empirical theories provides the means to maintain the global continuity of scientific reason. In this paper it is argued that Friedman’s neokantian account of scientific reason based on the concept of the relativized a priori underestimates the pragmatic aspects of the dynamics of scientific reason. To overcome this short-coming, I propose to reconsider C.I. Lewis’s account of a pragmatic the priori, recently modernized and elaborated by Hasok Chang. This may be<br><br><br><br><br><br><br><br><br><br&g t;<br><br><br><br><br><br>Keywords: Dynamics of reason, Paradigms, Logical Empiricism,Neokantianism, Pragmatism, Mathematics, Communicative Rationality. (shrink)

This paper examines three accounts of the sleeping beauty case: an account proposed by Adam Elga, an account proposed by David Lewis, and a third account defended in this paper. It provides two reasons for preferring the third account. First, this account does a good job of capturing the temporal continuity of our beliefs, while the accounts favored by Elga and Lewis do not. Second, Elga’s and Lewis’ treatments of the sleeping beauty case lead to highly counterintuitive consequences. The proposed (...) account also leads to counterintuitive consequences, but they’re not as bad as those of Elga’s account, and no worse than those of Lewis’ account. (shrink)

The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It is (...) shown how groups of the latter may end in a state of pluralistic ignorance leading to inaction. Sequential models for each agent type are specified, and their results compared to empirical studies. It is concluded that only the Hesitator model produces reasonable results. (shrink)

Since his Metaphysische Anfangsgründe der Naturwissenschaft was first published in 1786, controversy has surrounded Immanuel Kant’s conception of matter. In particular, the justification for both his dynamical theory of matter and the related dismissal of mechanical philosophy are obscure. In this paper, I address these longstanding issues and establish that Kant’s dynamism rests upon Leibnizian, metaphysical commitments held by Kant from his early pre-Critical texts on natural philosophy to his major critical works. I demonstrate that, throughout his corpus and inspired (...) by Leibniz, Kant endorses the a priori law of continuity of alteration as a truth of metaphysics, according to which all alterations in experience must occur gradually through all intervening degrees. The principle thus legislates against mechanical philosophy’s absolutely impenetrable atoms, as they would would involve instantaneous changes of velocity in impact. This reveals the metaphysical incoherencies in mechanical philosophy and leaves Kant’s own dynamical theory of matter, grounded on material forces, as the only viable approach to physical explanation. Subsequently, I demonstrate that Kant nevertheless made conceptual space in his system for the theoretical consideration of mechanical explanations, which makes manifest one of the positive roles that the faculty of reason can play with respect to natural science. (shrink)

In recent years noise seems to have become an interdisciplinary concept par excellence, apt to capturing important dynamics at work whether in technological, scientific, social, or aesthetic domains. But when economists, biologists, psychologists, and musicians speak of noise, are they really all referring to the same thing? In An Epistemology of Noise Cecile Malaspina takes this dispersion of the notion of noise as a starting point, and moreover accepts that, when removed from its mathematical formulation in information theory and (...) spread into diverse disciplines, noise takes on a metaphorical ambiguity. Yet rather than aiming to eliminate this ambiguity, Malaspina sets out to account for it. The key problem in An Epistemology of Noise is not to identify the legitimate usage of the concept of noise, but rather to examine what happens when noise moves between disciplines, and what the ‘noisiness’ of this movement tells us about the conditions for interdisciplinary knowledge. Noise here is both an object (or many objects) of inquiry and a condition for that inquiry, and presents us with the problem of how knowledge can find its ground in these ‘shifting sands’ (9). (shrink)

In recent years, a number of commentators have expressed dissatisfaction with Spinoza’s account of practical reason. In this paper, I defend his account against the most prominent objections, showing that the dictates of reason play an important role in guiding thought and action. However, against the standard interpretation, I propose that we view these rules not as exceptionless, instrumental prescriptions—hypothetical imperatives with necessary antecedents, as Curley memorable put it—but rather as adaptable guideposts that aid us in the complex, (...) dynamic process of acquiring a habit of virtue. The dictates of reason are best understood as defeasible policies that help to orient one in the ars vivendi. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

An extended analysis compared to observations shows that modern “globalised” world civilisation has passed through the invisible “complexity threshold”, after which usual “spontaneous”, empirically driven kind of development (“invisible hand” etc.) cannot continue any more without major destructive tendencies. A much deeper, non-simplified understanding of real interaction complexity is necessary in order to cope with such globalised world development problems. Here we introduce the universal definition, fundamental origin, and dynamic equations for a major related quantity of (systemic) risk characterising real (...) complex system development tendencies at any level of dynamics. Practically important conclusions are derived, opening further detailed applications in economy, finance and development practice. (shrink)

Santiago Ramón y Cajal, the primary architect of the neuron doctrine and the law of dynamic polarization, is considered to be the founder of modern neuroscience. At the same time, many philosophers, historians, and neuroscientists agree that modern neuroscience embodies a mechanistic perspective on the explanation of the nervous system. In this paper, I review the extant mechanistic interpretation of Cajal’s contribution to modern neuroscience. Then, I argue that the extant mechanistic interpretation fails to capture the explanatory import of Cajal’s (...) law of dynamic polarization. My claim is that the definitive formulation of Cajal’s law of dynamic polarization, despite its mechanistic inaccuracies, embodies a non-mechanistic pattern of reasoning (i.e., design explanation) that is an integral component of modern neuroscience. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the (...) laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

How people understand the fundamental dynamics of stock and flow (SF) is an important basic theoretical question with many practical applications. Such dynamics can be found, for example, in monitoring one’s own private bank account (income versus expenditures), the state of a birthday party (guests coming versus leaving), or in the context of climate change (CO2 emissions versus absorption). Understanding these dynamics helps in managing everyday life and in controlling behavior in an appropriate way (e.g., stopping expenditures (...) when the balance of a bank account approaches zero). In this paper, we present a universal frame for understanding stock-flow reasoning in terms of the theory of force dynamics. This deep-level analysis is then applied to two different presentation formats of SF tasks in the context of climate change. We can explain why in a coordinate-graphic presentation misunderstandings occur (so called “SF failure”), whereas in a verbal presentation a better understanding is found. We end up with recommendations for presentation formats that we predict will help people to better understand SF dynamics. Better public SF understanding might in turn also enhance corresponding public action – such as enhancing pro-environmental actions in relation to climate change. (shrink)

This chapter as the whole book are a result of a Globethics conference in March 2018 at the Catholic University of East Africa (CUEA) in Kenya, focused on the integration of Ethics in Higher Education. The book captures the potential for sharing of knowledge, and triggering interdisciplinary collaboration and research across a wide variety of issues ranging from research practice, religion, entrepreneurship, leadership, fundraising and corruption. While some of the chapters focus on the understanding of ethics and its relationship with (...) the various other aspects of life, others concentrate on the methods and strategies of effectively teaching ethics. Our chapter is concerned by the ways research practices and the value of integrity might be at risk, in very limited situations. We have good hope that responsible answers and proportionate reason-based actions in confronting some of these risks - as with plagiarism - can protect the giving virtues necessary for dynamical and effective research processes, which are all ultimately built on the value of trust. (shrink)

The purpose of this article is to introduce, interpret, and develop two incompatible process -ontological theories of personal identity that have received little attention in analytic metaphysics. The first theory derives from the notion of personal identity proposed in Alfred North Whitehead’s philosophy, but I interpret this notion differently from previous commentators. The Whiteheadian theory may appeal to those who believe that personal identity involves an entity or entities that are essentially dynamic, but has nothing to do with diachronic objectual (...) identity : the binary equivalence relation that every entity bears to itself, and only to itself, even after undergoing intrinsic change. The Whiteheadian theory may also find favor with those who, like Whitehead, reject the possibility of pure processes and hold that in every becoming, something—which need not be an object, thing, or individual substance—becomes. The second theory derives from the notion of recurrent dynamics presented in Johanna Seibt’s General Process Theory. The Seibtian theory may appeal to those who believe that personal identity involves not only an entity or entities that are essentially dynamic, but also the relation of diachronic objectual identity. The Seibtian theory may also find favor with those who, like Broad and Sellars, find reason to postulate pure processes. (shrink)

How people understand the fundamental dynamics of stock and flow is an important basic theoretical question with many practical applications. In this paper, we present a universal frame for understanding stock-flow reasoning in terms of the theory of force dynamics. This deep-level analysis is then applied to two different presentation formats of SF tasks in the context of climate change. We can explain why in a coordinate-graphic presentation misunderstandings occur, whereas in a verbal presentation a better understanding is (...) found. We end up with recommendations for presentation formats that will help people to better understand SF dynamics. Better public SF understanding might in turn also enhance corresponding public action – such as enhancing pro-environmental actions in relation to climate change. (shrink)

When we say that we interpret customary international law, what is this thing that we actually interpret? Depending on how we answer this question, our view on interpretative methodology will change. It seems that the most promising approach is to say that interpretation of customary international law is an interpretation of certain legal practices. However, here we also encounter some problems. The dominant doctrine of customary international law requiring state practice and opinio juris assumes that only by adding a psychological (...) element to a regularity of behaviour can we speak of customary international law. That is, opinio juris performs a function of generating both legality and normativity of practices. -/- The article challenges this view by drawing on jurisprudential ideas that define practices as inherently normative. State practices are normative regardless of opinio juris, otherwise they are not practices at all. This view allows to differentiate between two instances of interpretation of customary international law. One is focused on clarification of the normative content of state practices, another is focusing on identification of these practices as legal ones. -/- Interpretation as clarification involves assessing structures of practical reasoning inherent in given practices. Drawing on Joseph Raz's theory of normativity, the article suggests that interpretation of customary rules implies establishing connections between first- and second-order reasons that form the practice and give it meaning. This entails that interpretation of customary international law focuses on dynamics of reasons, their inclusion and exclusion within an existing normative framework. That is, evolutive interpretation of customary international law is not only possible, it is inevitable. -/- Interpretation as identification does not focus on the normative content of practices, but rather involves showing that existing second-order reasons meet a threshold of legal validity. This threshold may take shape of opinio juris, but may as well be treated functionally, when legality of a practice is linked to its relevance in a broader set of legal practices. (shrink)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...) I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this talk, I will show how commonsense reasoning plays a crucial role in this respect. In particular, I will present a cognitively inspired reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion. The proposed approach has (...) been tested both in the task of goal-driven concept invention and has additionally applied within the context of serendipity-based recommendation systems. I will present the obtained results, the lessons learned, and the road ahead of this research path. (shrink)

Over the last two decades there has been a growing interest in the transcendental dialectic of Critique of Pure Reason in Germany. Authors, however, often do not pay enough attention to the fact that Kant’s theory of reason (in the narrow sense) and the concept of ideas derived from it is not limited to this text. The purpose of this article is to compare and analyze the functionality of mind as a subjective ability developed by Kant and Fichte (...) with the Hegelian expansion of the mind to the idea of universal rationality. The relevance of such a comparison is connected with the need to demonstrate how the Hegelian paradigm of absolute rationality causes either the subsequent rejection of reason as a philosophical principle in the 19th and´20th centuries counter-discourse, or reduction of reason to the concept of pragmatic rationality. In the first part of this paper, the author intends to differentiate between at least 7 different types of ideas and their functions in Kant’s works. In the second part, he demonstrates how Fichte tries to systematize them beginning with reason, which at first creates an idea of itself. Special attention is paid to the way that Fichte categorizes them with the help of 5 spheres of action or 5 worldviews. The third and final part of the article discusses how Hegel goes beyond the frame of the transcendental philosophy of consciousness using different demands linked to the concepts of “reason” and “ideas”. Although these requirements are not found in Kant and Fichte, they entail a set of difficulties, which the author considers in conclusion. The author’s interpretation of the theory of ideas and their functions in Kant, Fichte and Hegel demonstrates the dynamic character of the theories of reason in classical German philosophy, as well as the relevance of the 7 types of ideas that retain their significance for philosophy of the 21st century. Keywords: Kant and German idealism, types of ideas, functions of reason, worldviews, the problem of different demands. В Германии на протяжении последних двух десятилетий возрос интерес к трансцендентальной диалектике «Критики чистого разума». Однако авторы часто не обращают внимания на то, что кантовская теория разума (в узком смысле), в которой разворачивается работа с идеями, не ограничивается этим текстом. Целью данной статьи является сравнительный анализ разработанной Кантом и Фихте функциональности разума как субъективной способности с гегелевским расширением разума до идеи всеобщей разумности. Актуальность такого сравнения связана с необходимостью продемонстрировать то, каким образом гегелевская парадигма абсолютной разумности вызывает либо последующий отказ от разума как философского принципа в контрдискурсе XIX–XX вв., либо редукцию разума к понятию прагматической рациональности. В первой части данной статьи вводится различение по меньшей мере семи различных видов идей и связанных с ними функций в философии Канта. Во второй части демонстрируется попытка Фихте их систематизировать исходя из утверждения том, что разум должен сначала создать идею о самом себе. Проанализировано также предложенное Фихте распределение идей на пять сфер действенности или типов мировоззрения. В третьей, итоговой части статьи рассмотрен выход гегелевской мысли за рамки трансцендентальной философии сознания. Автор статьи связывает этот процесс с выдвижением не осуществимых в контексте философии Канта и Фихте требований к понятиям «разум» и «идея» и анализирует ряд сложностей, вызванных этими требованиями. Таким образом, интерпретация учения об идеях и их функциях у Канта, Фихте и Гегеля демонстрирует динамический характер теорий разума в классической немецкой философии и актуальность семи видов идей, которые сохраняют свое значение для философии XXI в. Ключевые слова: Кант и немецкий идеализм, виды идей, функции разума, мировоззрение, проблема различных требований. (shrink)

This article explores the intricate interplay between religion, culture, and society, delving into the evolution of religious beliefs and practices within the framework of modernity. It examines how religion, centred on the belief in supernatural forces, weaves through the fabric of culture, impacting rituals, symbols, and societal norms. An emphasis is placed on the dynamic interplay between the emotional dimensions of religion and the rationality symbolised by science. As modern societies gravitate towards secularism and empirical foundations, religion undergoes a transformative (...) shift, adapting to coexist harmoniously with reason. This transformation is marked by changes in religious practices, from the all-encompassing influence in traditional societies to a more situational role in contemporary times. This evolution has led to the displacement of certain societal elements by religion, reshaping its contours within modern societies. Furthermore, the article underscores the intricate relationship between belief systems, artistic expressions, and ethical frameworks. It highlights that religion’s impact goes beyond mere ritualistic observance, permeating individual morality and behaviour. While religion remains a unifying force, providing cohesion and a sense of purpose, it can also be a source of conflict when exploited for political agendas. The author concludes the article with a philosophical reflection, emphasising that despite the rise of reason, religion remains a facet of human existence, offering solace and guidance in the face of life’s enigmatic uncertainties. This reflection postulates that the essence of religion transcends the confines of doctrine, encapsulating the timeless human pursuit for connection, meaning, and universal truths that reverberate across cultures and epochs. (shrink)

John Stuart Mill advocated for increased interactions between individuals of dissenting opinions for the reason that it would improve society. Whether Mill and similar arguments that advocate for opinion diversity are valid depends on background assumptions about the psychology and sociality of individuals. The field of opinion dynamics is a burgeoning testing ground for how different combinations of sociological and psychological facts contribute to phenomena that affect opinion diversity, such as polarization. This paper applies some recent results from (...) the opinion dynamics literature to assess the impacts of the Millian suggestion. The goal is to understand how the scope of the validity of Mill-style arguments depends on plausible assumptions that can be formalized using agent-based models, a common modeling approach in opinion dynamics. The most salient insight is that homophily (increased interactions between like-minded individuals) does not sufficiently explain decreased opinion diversity. Hence, decreasing homophily by increasing interactions between individuals of dissenting opinions is not the simple solution that a Millian-style argument may advocate. (shrink)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...) story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (shrink)

Integration sustainability outcomes give attention to construction ecology in the design review of urban environments to comply with Earth’s System that is composed of integral parts of the (i.e., physical, chemical and biological components). Naturally, exchange patterns of industrial ecology have consistent and periodic cycles to preserve energy flows and materials in Earth’s System. When engineering topology is affecting internal and external processes in system networks, it postulated the valence of the first-level spatial outcome (i.e., project compatibility success). These instrumentalities (...) are dependent on relating the second-level outcome (i.e., participant security satisfaction). The construction ecology-based topology (i.e., as feedback energy system) flows from biotic and abiotic resources in the entire Earth’s ecosystems. These spatial outcomes are providing an innovation, as entails a wide range of interactions to state, regulate and feedback “topology” to flow as “interdisciplinary equilibrium” of ecosystems. The interrelation dynamics of ecosystems are performing a process in a certain location within an appropriate time for characterizing their unique structure in “equilibrium patterns”, such as biosphere and collecting a composite structure of many distributed feedback flows. These interdisciplinary systems regulate their dynamics within complex structures. These dynamic mechanisms of the ecosystem regulate physical and chemical properties to enable a gradual and prolonged incremental pattern to develop a stable structure. The engineering topology of construction ecology for integration sustainability outcomes offers an interesting tool for ecologists and engineers in the simulation paradigm as an initial form of development structure within compatible computer software. This approach argues from ecology, resource savings, static load design, financial other pragmatic reasons, while an artistic/architectural perspective, these are not decisive. The paper described an attempt to unify analytic and analogical spatial modeling in developing urban environments as a relational setting, using optimization software and applied as an example of integrated industrial ecology where the construction process is based on a topology optimization approach. (shrink)

ABSTRACT: Compilation of eleven short essays that reflect authors view on various themes. Themes covered under this compilation are: • Right or wrong, good or bad, beautiful or ugly, these are all undefined and indefinable abstractions. • Communication: we're losing this ability; we are hiding behind a screen. • Ecology and environment: what can we do? • From kings to subjects: a society founded on the principle of dishonesty, arrogance and inequality. • Globalization and constraints, we must respect and protect (...) diversity! • The Internet: the most possible objective analysis. • Everybody isn’t equal in front of law and you cannot speak about justice... • The World’s Government, our money does not belong to us anymore! • We are reducing our planet into a giant landfill: we ourselves are becoming garbage! • School: an obstacle to reasoning, reflection and research. • Let’s entrust the highest roles of the State to young people and women! (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands of (...) system identification and system control can be realised in these environments, and how psychometrically acceptable dependent variables can be derived. (shrink)

Ranking theory is a formal epistemology that has been developed in over 600 pages in Spohn's recent book The Laws of Belief, which aims to provide a normative account of the dynamics of beliefs that presents an alternative to current probabilistic approaches. It has long been received in the AI community, but it has not yet found application in experimental psychology. The purpose of this paper is to derive clear, quantitative predictions by exploiting a parallel between ranking theory and (...) a statistical model called logistic regression. This approach is illustrated by the development of a model for the conditional inference task using Spohn's ranking theoretic approach to conditionals. (shrink)

In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...) articulate this thesis with reference to the history of antipsychotic drugs and the evolution of the dopamine hypothesis of schizophrenia in the second half of the twentieth century. I argue that interventions with psychiatric patients through the medium of antipsychotic drugs provide researchers with information and evidence about the neurobiological causes of schizophrenia. This analysis highlights the importance of pharmacological drugs as research tools in the generation of psychiatric knowledge and the dynamic relationship between practical and theoretical contexts in psychiatry. (shrink)

Recent research on moral dynamics shows that an individual's ethical mind-set moderates the impact of an initial ethical or unethical act on the likelihood of behaving ethically on a subsequent occasion. More specifically, an outcome-based mind-set facilitates Moral Balancing, whereas a rule-based mind-set facilitates Moral Consistency. The objective was to look at the evolution of moral choice across a series of scenarios, that is, to explore if these moral patterns are maintained over time. The results of three studies showed (...) that Moral Balancing is not.. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...) observation process, and the result of the observation; I analyze the three separately. This dynamic approach has far reaching implications: Williamson’s influential argument against the KK principle loses its force, and new insights can be gained regarding synchronic and diachronic introspection principles. (shrink)

This book offers a fresh theological perspective on faith by exploring its gnoseological and metaphysical foundations. It recovers the existential aspects of faith by engaging with the thought of Descartes, Hume, Kant, Fichte, Hegel, Heidegger, and the Christian existentialism of Kierkegaard. This study is informed by the dynamic Thomistic lens developed by Cornelio Fabro (1911-1995), one of the most original twentieth-century commentators on Thomas Aquinas and a preeminent specialist on Kierkegaard and the phenomenon of militant modern atheism. In harmony with (...) the guidelines presented by John Paul II in number 67 of Fides et Ratio (1998), the book will be of particular interest to students and professors of fundamental theology. This study will also provide a philosophical foundation for Christians interested in a deeper knowledge of their faith, and a stimulating topic for anyone questioning the openness of the human being to the Absolute. -/- . (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Decision theory explains weakness of will as the result of a conflict of incentives between different transient agents. In this framework, self-control can only be achieved by the I-now altering the incentives or choice-sets of future selves. There is no role for an extended agency over time. However, it is possible to extend game theory to allow multiple levels of agency. At the inter-personal level, theories of team reasoning allow teams to be agents, as well as individuals. I apply team (...) reasoning at the intra-personal level, taking the self as a team of transient agents over time. This allows agents to ask, not just “what should I-now do?’, but also ‘What should I, the person over time do?’, which may enable agents to achieve self-control. The resulting account is Aristotelian in flavour, as it involves reasoning schemata and perception, and it is compatible with some of the psychological findings about self-control. (shrink)

This paper focuses on Leibniz’s conception of modality and its application to the issue of natural laws. The core of Leibniz’s investigation of the modality of natural laws lays in the distinction between necessary, geometrical laws on the one hand, and contingent, physical laws of nature on the other. For Leibniz, the contingency of physical laws entailed the assumption of the existence of an additional form of causality beyond mechanical or efficient ones. While geometrical truths, being necessary, do not require (...) the use of the principle of sufficient reason, physical laws are not strictly determined by geometry and therefore are logically distinct from geometrical laws. As a consequence, the set of laws that regulate the physical laws could have been created otherwise by God. However, in addition to this, the contingency of natural laws does not consist only in the fact that God has chosen them over other possible ones. On the contrary, Leibniz understood the status of natural laws as arising from the action internal to physical substances. Hence the actuality of physical laws results from a causal power that is inherent to substances rather than being the mere consequence of the way God arranged the relations between physical objects. Focusing on three instances of Leibniz’s treatment of contingency in physics, this paper argues that, in order to account for the contingency of physical laws, Leibniz maintained that final causes, in addition to efficient and mechanical ones, must operate in physical processes and operations. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

This essay undertakes a critical examination of Kevin Vallier’s Principle of Convergent Restraint (PCR) within the framework of public reason liberalism. The article begins by scrutinizing the PCR’s inaugural provision: intelligibility, advancing the argument that Vallier’s explication of intelligibility contradicts the requisites of public justification in liberal democracies. It argues that Vallier’s predilection for intelligibility over accessibility runs afoul of the fundamental principles underpinning public reason and pluralistic liberalism. It then provides an evaluation of the second provision, narrow (...) restraint, asserting that a proper comprehension of PRL allows for the accommodation of diverse justificatory reasons without compromising the emergence of overlapping, comprehensive doctrines. The final section addresses the PCR’s third provision, proposal restraint, rejecting Vallier’s advocacy for placing justificatory restraints solely on public officials. The essay contends that the demarcation between citizens and public officials is artificial and posits that effective restraints must be universally applicable, considering the dynamic interplay between public deliberation, public opinion, and legislative proposals. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

We propose a qualitatively new kind of governance for the emerging need to efficiently guide the densely interconnected, ever more complex world development, which is based on explicit and openly presented problem solutions and their interactive implementation practice within the versatile, but unified professional analysis of complex real-world dynamics, involving both the powerful central units and the attached creative worldwide network of professional representatives. We provide fundamental and rigorous scientific arguments in favour of introduction of just that kind of (...) governance at the modern development stage, after the complexity threshold in the real world dynamics evolution (sometimes intuitively designated as "globalisation"), where the traditional spontaneous-empirical kind of development and related administrative governance lose dramatically and inevitably their efficiency and the necessity of explicit consistent understanding and guidance of complex real-world dynamics becomes evident. (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

Which premisses should we use to start our inquiries? Which transitions during inquiry should we take next? When should we switch lines of inquiry? In this paper, I address these open questions about inquiry, formulating novel norms for such decisions during deductive reasoning. I use the first-order predicate calculus, in combination with Carnap’s state description framework, to state such norms. Using that framework, I first demonstrate some properties of sets of sentences used in deduction. I then state some norms for (...) decisions made during deductive reasoning, establishing initial benchmarks for efficient deduction by ideal reasoners. When deciding which transition to make next, reasoners should choose the most informative transition, the one that maximally reduces uncertainty in the sense of ruling out the largest number of state descriptions relevant to their inquiry. Finally, inspired by optimal foraging theory, I show that, under certain assumptions of ignorance, reasoners should change premiss sets when their information intake drops below the global average information intake across premiss sets. (shrink)

The paper focuses on the theory of cognition developed by Richard Burthogge, the lesser known seventeenth-century English philosopher, and author, among other works, of Organum Vetus & Novum (1678) and An Essay upon Reason and the Nature of Spirits (1694). Although his ideas had a minimal impact on the philosophy of his time, and have hitherto not been the subject of a detailed study, Burthogge’s writings contain a highly original concept of idealistic constructivism, anticipating Kant’s idealism. Therefore, a closer (...) examination of his philosophy can not only deepen our understanding of early modern British thought, but may also shed new light on the internal dynamics of the development of the whole post-Cartesian epistemology. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.