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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

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)

Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance isn't done with prudence, it can result in negative outcomes for humanity. For this reason, several researchers in the area are trying to develop a robust, beneficial, and safe concept of artificial intelligence. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted (...) behaviors of intelligent agents, and at the same time specifying what we want such systems to do. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop our moral preferences simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic cognitive approach proposed by Dreyfus, whose phenomenological philosophy defends that the human experience of being-in-the-world cannot be represented by the symbolic or connectionist cognitive methods. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (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)

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)

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)

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)

Zunshine’s essay draws on recent research in developmental psychology and cognitive evolutionary anthropology to examine emotional responses to supernatural events by the child and adult characters of E. T. A. Hoffmann’s "The Nutcracker and the Mouse King" (1816), as well as to revisit the traditional literary critical view of those responses, according to which the tale’s main protagonist, the seven-year-old Marie, possesses a “Romantic imagination” (in contrast to her philistine parents). Zunshine demonstrates, first, that Marie’s stubborn insistence on the reality (...) of Nutcracker and the Mouse King is well in keeping with what developmental psychologists today would expect from children of her age group; and, second, that when Marie’s parents are called to comment on their daughter’s account of her magical adventures, their stodgy response is influenced by a very particular kind of social pressure under which they find themselves. While the essay’s primary goal is to emphasize the developmental and social aspects of the characters’ attitudes toward what is real, Zunshine also discusses the legitimacy of using recent research by cognitive scientists for examining the psychology and interpersonal dynamics of early nineteenth-century fictional characters. (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)

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)

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)

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)

In ‘Sly Pete’ or ‘standoff’ cases, reasonable speakers accept incompatible conditionals, and communicate them successfully to a trusting hearer. This paper uses the framework of dynamic semantics to offer a new model of the conversational dynamics at play in standoffs, and to articulate several puzzles posed by such cases. The paper resolves these puzzles by embracing a dynamic semantics for conditionals, according to which indicative conditionals require that their antecedents are possible in their local context, and update this body (...) of information by eliminating the possibilities where the antecedent is true and the consequent is false. In this way, the dynamic analysis draws on insights from the material conditional and contextualist analyses, while explaining how standoffs are genuine disagreements. (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)

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)

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)

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)

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)

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)

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)

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 this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, (...) the overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal. (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)

Vehicle externalists hold that the physical substrate of mental states can sometimes extend beyond the brain into the body and environment. In a particular variation on vehicle externalism, Susan Hurley (1998) and Alva Noë (2004) have argued that perceptual states, states with phenomenal qualities, are among the mental states that can sometimes spread beyond the brain. Their vehicle externalism about perceptual states will be the main topic of this article. In particular, I will address three strong objections to their vehicle (...) externalism, objections by Ned Block (2005), Jesse Prinz (2006), and Fred Adams & Ken Aizawa (2008). Though in some ways these objections appear disparate, I will argue that all of them depend on a crucial presupposition, one which Hurley, Noë, and their sympathizers should reject. This presupposition is that perceptual character is fixed by an instantaneous snapshot of neural states, a view that Hurley dubbed ‘temporal atomism.’ To put the presupposition in more familiar terms, all three objections are implicitly committed to something like Dennett’s Cartesian Theater (1991). -/- In the first part of the article, I will discuss Hurley and Noë’s views, and include reasons why their views entail the rejection of the Cartesian Theater. In the next part of the article I will introduce the three objections and show how they presuppose something like a Cartesian Theater. I will also show that, if the Cartesian Theater is rejected, the objections all vanish. In the final part of the article I address the charge that Noë and Hurley confuse causation with constitution. This charge reveals a lack of appreciation for the way in which dynamical explanation motivates Hurley’s externalism. (shrink)

"A Little More Logical" is the perfect guide for anyone looking to improve their critical thinking and logical reasoning skills. With chapters on everything from logic basics to fallacies of weak induction to moral reasoning, this book covers all the essential concepts you need to become a more logical thinker. You'll learn about influential figures in the field of logic, such as Rudolph Carnap, Betrrand Russell, and Ada Lovelace, and how to apply your newfound knowledge to real-world situations. (...) Whether you're looking to engage in debates with others, make better decisions in your personal and professional life, or simply want to improve your overall critical thinking skills, "A Little More Logical" has you covered. So why wait? Start learning and become a little more logical today! -/- "A Little More Logical" differs from typical logical textbooks in a number of ways. One key difference is its emphasis on engaging and relatable examples and case studies. Rather than simply presenting dry definitions and concepts, the book uses fables, stories, and real-world situations to illustrate key ideas and make them more relatable for readers. -/- Another unique aspect of "A Little More Logical" is its inclusion of "Minds that Mattered" sections, which highlight the contributions and insights of influential figures in the field of logic and critical thinking. These sections provide readers with a deeper understanding of the history and development of logical principles and offer valuable context for the concepts being discussed. -/- Additionally, "A Little More Logical" covers a wide range of topics beyond the basics of logic and argument evaluation. Chapters on moral reasoning, probability and inductive logic, scientific reasoning, conspiracy theories, statistical reasoning, and the history of formal logic offer a more comprehensive and well-rounded understanding of logic and critical thinking. -/- Overall, "A Little More Logical" stands out as a dynamic and engaging resource for anyone looking to improve their logical reasoning abilities. Its relatable examples, historical context, and broad coverage make it a valuable resource for anyone interested in mastering the principles of logic. -/- This is a free, Creative-Commons-licensed book. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the (...) postulates about modularity are violated, and propose algorith- mic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, mod- ular theories have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change. (shrink)

Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a 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 [1]. The proposed approach has been tested both in the task of goal-driven concept invention (...) [2,3] and has additionally applied within the context of serendipity-based recommendation systems [4]. I will present the obtained results, the lessons learned, and the road ahead of this research path. -/- . (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)

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.

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)

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)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...) one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

Modern fundamental science tends to avoid the principle of physical causality and realism, replacing it with heuristically postulated and separated mathematical constructions that impose their own rules before being adjusted to measurement results. While it is officially accepted as the single possible kind of rigorous knowledge, we argue that another, explicitly extended kind of science can provide the causally complete picture of reality avoiding the glaring gaps, growing problems and persisting stagnation of the artificially reduced knowledge paradigm. The logic of (...) science development and especially its current state call for the urgently needed transition to the extended, causally complete kind of knowledge and related sustainable progress at superior creativity levels of self-aware, reason-based society. (shrink)

György Alajos Szerdahely, the first professor of aesthetics in Pest, publishes his Aesthetica in 1778, a work, written in Latin, that not only engages with the eclectic university aesthetics of late-18th-century Germany and Central Europe, but also marks the beginning of the Hungarian aesthetic tradition. Szerdahely proposes aesthetics as the doctrine of taste, a philosophical discipline that can polish our manners and social conduct through a sensual-affective Bildung offered by art experiences. Highlighting his sources in both British criticism and German (...) aesthetics, the paper traces the development of Szerdahely's concept of beauty from beauty as form (uniformity amidst variety) to beauty in motion (sensibility). Initially, Szerdahely argues for unity and variety as the two main constituents of a beautiful object, evoking disinterested contemplation, but he then turns to sensibility as the third necessary condition of beauty: an object becomes aesthetically beautiful only if it has the power to strike the senses (Lux) and stir the affections (Vivacitas), enlivening the whole embodied person. The paper argues that this third principle of sensibility proves to be more emphatic than the first two, leading to (1) the aesthetic conception of beauty as an experiential quality; but more interestingly to (2) the incorporation of the element of self-preservation and self-love into aesthetic experience. The reason for the latter development lies in Szerdahely’s anthropological argument, which traces back every affection to the instantaneous apprehension of good or evil concerning ourselves, implying desire (Adpetitus) or aversion (Auersi) in our reactions. (shrink)