We obtain that Universe space has to be flat, but also, at the same time, it has to be finite, homogeneous (on global scale) and isotropic. So rays of light can be observed moving along parallel trajectories in an expanding finite hypersphere. We show this implies an accelerated expansion of the Universe. Considering the energy conservation problem, also we argue about the necessity of matter-antimatter asymmetry.

This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.

The principle of non-combatant immunity protects non-combatants against intentional attacks in war. It is the most widely endorsed and deeply held moral constraint on the conduct of war. And yet it is difficult to justify. Recent developments in just war theory have undermined the canonical argument in its favour – Michael Walzer's, in Just and Unjust Wars. Some now deny that non-combatant immunity has principled foundations, arguing instead that it is entirely explained by a different principle: that of necessity. (...) In war, as in ordinary life, harms to others can be justified only if they are necessary. Attacking non-combatants, the argument goes, is never necessary, so never justified. Although often repeated, this argument has never been explored in depth. In this article, I evaluate the necessity-based argument for non-combatant immunity, drawing together theoretical analysis and empirical research on anti-civilian tactics in interstate warfare, counterinsurgency, and terrorism. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do (...) not know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies as (...) knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for (...) computing explanatory factors with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

Excerpt: In this essay I explore the nature of the necessity of historical development in Nietzsche’s genealogy of Judeo-Christian moral values. I argue that the progression of moral stages in Nietzsche’s study is ordered in such a way that the failure of each stage is logically and structurally necessary, that each failure structures the resultant system or paradigm, but that the historical manifestation of moral paradigms coinciding with predicted or projected theoretical structures is contingent upon a multitude of (...) other historical factors. Therefore, the systematic internal failures of moral stages allow for, but do not cause, successive events. (shrink)

This thesis develops an account of ethics called the Linguistic Perspective, which is realist in a practical, non-theoretical sense, and is rooted Wittgenstein’s 'On Certainty'. On this account, normativity is intrinsic to human action and language; the norms of ethics are the logical limits of the most basic, unassailable concepts that practical reasoning requires for intelligibility. Part I lays the groundwork for this account by developing a Tractarian Reading of 'On Certainty'. Here, I contend that 'On Certainty' is primarily (...) concerned with the logical requirements and limits of language, and like the 'Tractatus' it develops these concerns in a realist direction. 'On Certainty', I argue, does so by advancing three key claims about logic: Everything descriptive of a language-game is part of logic; the boundary between logical and empirical propositions is not sharp; logic is founded on action. I investigate these claims, with particular emphasis on how natural human reactions provide logical conditions for the possibility of language. Hinge propositions, I argue, are rooted in these reactions; they point us to the limits of intelligibility of our concepts, though these limits are vague and inarticulable. In Part II, I discuss the practical syllogism and its validity. I argue that practical reasoning is distinct from theoretical reasoning and embodies a different standard of logical validity for inference. This standard is not strict and narrow, but creative and wide open; furthermore, it is an intrinsically ethical standard. Then, I advance my Linguistic Perspective on ethics, according to which human reactions provide the conditions for ethical normativity, just as they do for language. I argue that we can access ethical norms by reflecting on those linguistic concepts that are rooted in the most basic patterns of action, and by identifying the norms of behaviour that ensure the development of those concepts without contradiction. (shrink)

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of (...) objects, which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

This paper examines an argument of Saul Kripke for the necessity of theoretical identification statements and defends it against a criticism of M. Perrick ("Are Kripke's Theoretical Identifications Necessary Truths?", Logique et Analyse, Volume 115, September 1986, pages 381-384). It is argued that Perrick's criticism rests on a fallacy of ambiguity. Formal modal logic is used to examine a number of plausible interpretations of Kripke's argument, and Perrick's error is shown to arise from confusion concerning the scope (...) of the modal necessity operator. (shrink)

This article affords particular attention to the relationship between memory, the narrativization of news and its linear construction, conceived as journalism’s ‘memory- work’. In elaborating upon this ‘work’, it is proposed that the Hegelian notion of retroactive causation (as used by Slavoj Žižek) can examine how analyses of news journalists ‘retroactively’ employ the past in the temporal construction of news. In fact, such retroactive (re)ordering directs attention to the ways in which journalists contingently select ‘a past’ to confer meaning on (...) the present. With regard to current literature, it is noted that a retroactive analysis can highlight two important dialectics within the practice of news journalism: 1) the relation between contingency and necessity; and, 2) the relation between content and form. Indeed, it is argued that this theoretical account offers a novel approach to examining the significance of memory in news journalism as well as the inconsistencies which underscore journalism’s memory-work. It is in accordance with such inconsistency that broader reflections on time, temporality and our relations to the past can be made. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in (...) detail. Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

[Attached PDF is the Arabic translation, the hyperlink takes you to the original English version] In this paper I argue that the emphasis, which was placed by the PAIGC’s leadership, and specifically by Amílcar Cabral, on the importance of advancing women’s rights and women’s liberation should be understood as being a consequence of Cabral’s modernist philosophical orientation. Moreover, I argue that women played an essential part in the struggle for liberation from Portuguese colonialism. In the first section, I characterize Cabral’s (...) modernist philosophical orientation and the way it influenced his views on the necessity of women’s liberation. I emphasize the philosophical commitment to autonomy as a guiding normative principle. In the second section, I argue that women played a key role in pressuring the PAIGC to integrate them into its structure, i.e., they were active agents and not just passive subjects waiting for somebody to “liberate them.” In the third and concluding section, I describe the limits of the PAIGC’s commitment to women’s liberation, and I discuss why some members of the party’s leadership (e.g., Luis Cabral) disagreed with Amílcar Cabral regarding the importance of women’s liberation. This paper thus approaches the question of feminist anti-colonial imaginaries both from the perspective of the hopes which attended a partially feminist-inflected African liberation struggle, as well the betrayal of these hopes by men in leadership positions. Those leaders never took seriously the idea that the liberation of women was a necessary condition for the creation of a social environment which would allow for the full actualization of the capacities of men and women in Guinea-Bissau and Cape Verde. (shrink)

Necessity can be ascribed not only to propositions, but also to feelings. In the Critique of Judgment (KdU), Immanuel Kant argues that a feeling of beauty is the necessary satisfaction instantiated by the ‘free play’ of the cognitive faculties, which provides the grounds for a judgment of taste (KdU 5:196, 217-19). In contradistinction to the theoretical necessity of the Critique of Pure Reason and the moral necessity of the Critique of Practical Reason, the necessity assigned (...) to a judgment of taste is exemplary necessity (KdU 5:237). Necessity can also be assigned by employing the de re/de dicto distinction, namely, by ascribing entailments of what must necessarily hold to either a thing (de re) or to a proposition (de dicto). Although Kant does not use the distinction in any of the three Critiques, this omission has not prevented Kant scholars from applying the distinction in their analyses of the first two Critiques. In this paper, I examine the role that modality plays in Kant’s third Critique and I attempt to bring the de re/de dicto distinction to bear on Kant’s famous aesthetic theory. Ultimately, I perform a retrospective classification of the modality of taste by arguing that because a judgment of taste is not a statement about an objective fact, a judgment of ‘x is beautiful’ can only be read as de dicto necessary. (shrink)

The thesis of this paper is that utopianism is a theoretical necessity—we couldn’t, for example, engage in normative political philosophy without it—and, further, that in consciously embracing utopianism we will consequently experience an enrichment of our political lives. Thus, the title of my paper has a double meaning: it highlights the fact that utopianism always plays a normative role in political philosophy, as its concern is inevitably the promotion of a certain vision of the good life; and secondly (...) it suggests that there normatively ‘ought to be’ a recognized and respectable role for utopianism within political philosophy. The first meaning, I believe, is self-explanatory. Regarding the second, it expresses my hope to— in short— take what is old, and through a modest process of rehabilitation, make it new again. (shrink)

Chance and necessity are mainstays of explanation in current biology, dominated by the neo-Darwinian outlook, a blend of the theory of evolution by natural selection with the basic tenets of population genetics. In such a framework the form of living organisms is somehow a side effect of highly contingent, historical accidents. Thus, at a difference of other sciences, biology apparently lacks theoretical principles that in a law-like fashion may explain the emergence and persistence of the characteristic forms of (...) living organisms that paradoxically, given the current importance attributed to chance, can be grouped into organized structural typologies. Nevertheless, the present essay shows that since its origins in Aristotelian natural history, biology aimed at achieving rational, non-accidental, explanations for the wide variety of living forms endowed with characteristic behaviors that constitute the landscape of biological species. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous (...) passage in the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It (...) is shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Summary The article substantiates the possibility and meaningfulness of a coherent theoretical system for psychotherapy, as it is strived for in Gestalt Theoretical Psychotherapy and presented in several articles in this issue of the journal "Gestalt Theory". The necessity of consistency in the theoretical assumptions and concepts of a psychotherapy method is not derived from scientific considerations alone, but already arises from the elementary role of consistency in human life. This also results in the requirements for (...) the consistency of theoretical foundations of psychotherapy. It is not fulfilled in a mere internal, logical consistency of its models, but only in the actual fitting together with the critical-phenomenal and naive-phenomenal worlds of the therapists and their clients in the reality test of life. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, (...) which appeals to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

Separation of powers is one of the ideas with profound theoretical and practical significance, especially in the field of political science. The birth of the theory of separation of powers marked the transition from the barbaric use of power in authoritarian societies to the exercise of civilized power in democratic societies. Therefore, separation of powers is considered an objective necessity in democratic states, a condition to ensure the promotion of liberal values, and a criterion for assessing the existence (...) and development of the Rule of Law where people's sovereignty plays a paramount role. On the way to perfecting political thinking, the theory of separation of powers has developed into a complete system in the main philosophy of John Locke. Within the scope of the article, the author focuses on analyzing Locke's ideology of separation of powers in terms of the nature of separation of powers, the basis and some principles of power division, and the roles of the different parts of government power and the relationship between them. (shrink)

The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the (...) necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz's original account. (shrink)

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an assertability (...) conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism (...) that seeks to precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

The arguments are exhibited in favour of the necessity to modify the history of the genesis and advancement of general relativity (GR). I demonstrate that the dynamic creation of GR had been continually governed by internal tensions between two research traditions, that of special relativity and Newton’s gravity. The encounter of the traditions and their interpenetration entailed construction of the hybrid domain at first with an irregular set of theoretical models. Step by step, on eliminating the contradictions between (...) the models contrived, the hybrid set was put into order. It is contended that the main reason of the GR victory over the rival programmes of Abraham and Nordström was a synthetic character of Einstein’s programme. Einstein had put forward as a basic synthetic principle the principle of equivalence that radically differed from that of rival approaches by its open, flexible and contra-ontological character. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

One of the most important cultural and philosophical subject of the last century is the reflection on the crisis state of Western culture. In search of the causes of philosophical and socio-cultural upheavals, philosophers turned to the spiri­tual origins of European civilization and saw the conflict between philosophical rationality and biblical faith as the event that determined the spiritual shape of Western culture and explains its current crisis. The article is devoted to the problem of confrontation of ancient Greek and (...) biblical beginnings of Euro­pean culture in the works of Leo Strauss and Leo Shestov. The theoretical framework of the study is the method of conceptual analysis, which allows us to identify the conceptual content of the concepts of Athens and Jerusalem in the phi­losophical projects of Strauss and Shestov. Analyzing Strauss’s and Shestov’s views on the conflict between philosophical reason and the religion of revela­tion, the author identifies the peculiarities of their interpretation of the images of Athens and Jerusalem, as well as the contexts in which the philosophers ad­dress their confrontation. The author concludes that the idea of Strauss and Shestov as apologists of rational and religious principles of European culture does not exhaust the actual content of their philosophical projects. Both philoso­phers share a common understanding of the problem, but view it from different perspectives. Strauss focuses on the political-philosophical aspects of the con­flict between Athens and Jerusalem, expressed in the necessity of choosing philosophy and religion as the ultimate images of human life and the problem of their applicability as principles for organizing the political community. Shestov’s main interest is the existential significance of faith as a guide in the li­beration of the human spirit from the shackles of metaphysical necessity. Based on these views, the author draws conclusions about Strauss’s and Shestov’s un­derstanding of the essence of the contemporary cultural crisis and formulates a possible strategy for overcoming it. (shrink)

The new theoretical perspective proposed by the Open Theism theologians, compels us to study in depth and to evaluate the “classic” argumentative tools used to solve the ancient antinomy between divine omniscience and human freedom, to which the thesis of the Open Theism try to give an innovative solution. Among these tools – invoked by many authors in the contemporary debate about omniscience, in analytic philosophy of religion – several ones are part of Thomas Aquinas’ thought: the division in (...) primary and secondary causes, the division of God’s knowledge, the distinction between propositions understood in sensu composito or in sensu diviso, the division between necessity de dicto or de re, and others. This paper aims to analyze the interpretation of these tools developed in the contemporary context and tries to draw some conclusions on the overall efficacy of the “Thomistic Solution” that we can build starting from these tools. La nuova prospettiva teoretica proposta dai sostenitori dell’Open Theism ha reso necessario un approfondimento e una valutazione degli strumenti argomentativi “classici” utilizzati per risolvere l’antica antinomia tra onniscienza divina e libertà umana, alla quale le tesi dell’Open Theism cercano di dare una soluzione innovativa. Tra questi strumenti – recuperati da molti autori nel contemporaneo dibattito sull’onniscienza, all’interno della filosofia analitica della religione – ve ne sono molti attribuiti a Tommaso d’Aquino: la divisione in causa prima e cause seconde, la suddivisione della conoscenza di Dio, la distinzione tra proposizioni intese in senso composto o in senso diviso, quella tra necessità de dicto e necessità de re, e altri. Il presente contributo si propone di analizzarne l’interpretazione sviluppata nel contesto contemporaneo e trarre alcune conclusioni sull’efficacia complessiva della “soluzione tomistica” che si può delineare a partire da questi strumenti. (shrink)

Avicenna, beside his theoretical discussions about experimentation, practically applied his experimental method to natural sciences studies such as medicine, biology, and meteorology. His theoretical discussions subsume propositions concerning the conditions under which experimental knowledge is attained, the components of this knowledge and its functions. Some of these propositions are as follows: necessity of recurrent observations for acquiring experimental knowledge, certainty plus conditional universality of such knowledge, and its role as demonstrative premises. Investigating the application of his theory (...) in natural sciences propound two new features which were not elaborated in the theoretical discussions: fallibility of experimental knowledge and necessity of systematic observation. This research, using the analytic method and referring to both philosophical and scientific works of Avicenna, clarifies that a comprehensive definition of experimentation is dependent on considering extracted points from practical application of experimental knowledge, beside its theoretical components. (shrink)

This study aims to look at the role of the practice of excellence strategies in education in achieving sustainable competitive advantage for the Higher educational institutions of the faculty of Engineering and Information Technology at Al-Azhar University in Gaza, a model, and the study considered the competitive advantage of educational institutions stems from the impact on the level of each student, employee, and the institution. The study was based on the premise that the development of strategies for excellence in education, (...) and its implementation is a vital important prerequisite to achieve sustainable competitive advantage in higher educational institutions. The study followed a systematic exploratory descriptive methodology through review of the theoretical literature, and the adoption of the experience of the Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as a model for its unique experience in the field of excellence in education. The study results showed that the most important are: There is a strong correlation between the level of exercising excellence strategies in education and the achievement of higher educational institutions to the sustainable competitive advantage. The results include a general required number of important sub results on the subject of the model - Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as follows: - The student considered the academic focus of the operation in the development process of the workers’ skills, particularly academics at the university helps to distinguish students and increase the employment rate after graduation. - The existence of consistency in development efforts and quality improvement for all three levels (student, employee, and the university), and this contributes to the Faculty excellence. - The Faculty has been able to achieve competitive advantages by offering excellent services without harming the efficiency, and this alone is a great success because improving service properties requires great investments, which negatively affect the continued institutional development. The study also reached a set of recommendations as follows: - The need to exercise excellence strategies in education, excellence reward at the national level, and those higher educational institutions follow the criteria for measuring the competitive advantages of its institutions always. - There is a need to increase efforts to implement programs of excellence, the allocation of adequate time, reward outstanding efforts as well. There is a necessity for each faculty to achieve competitive advantage and sustainability, using the general philosophies of competitive advantage, but with a different strategically content from what is in the private commercial sector, it reflects the Faculties mission and objectives, depending on making improvements and excellence in processes that ensure the safety of its outputs. As well as the need to find a balance between the work of teaching and research work of the faculty members, this has important implications regarding the criteria used in the process of excellence evaluation. The study recommended the adoption of strategies for excellence in education on a national public policy level mainly in the processes of change in higher education institutions. The need to support the existence of a common understanding of the efforts of excellence to create a general culture that appreciates excellence in faculties and universities. This underlines the need for transparent, fair rewards systems, to encourage innovation in education. The need to conduct a comprehensive surveys on the graduates of faculties and universities including the areas of employment and skills, because that will give accurate indications of the graduates and will help to establish a link to a more precise about the relationship of excellence strategies with the competitive advantages. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations (...) of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

The Enhanced Indispensability Argument appeals to the existence of Mathematical Explanations of Physical Phenomena to justify mathematical Platonism, following the principle of Inference to the Best Explanation. In this paper, I examine one example of a MEPP—the explanation of the 13-year and 17-year life cycle of magicicadas—and argue that this case cannot be used defend the EIA. I then generalize my analysis of the cicada case to other MEPPs, and show that these explanations rely on what I will call ‘optimal (...) representations’, which are representations that capture all that is relevant to explain a physical phenomenon at a specified level of description. In the end, because the role of mathematics in MEPPs is ultimately representational, they cannot be used to support mathematical Platonism. I finish the paper by addressing the claim, advanced by many EIA defendants, that quantification over mathematical objects results in explanations that have more theoretical virtues, especially that they are more general and modally stronger than alternative explanations. I will show that the EIA cannot be successfully defended by appealing to these notions. (shrink)

The purpose of this paper is to analyze the theoretical commitments of autopoietic enactivism in relation to Errol E Harris’s dialectical holism in the interest of establishing a common metaphysical ground. This will be undertaken in three stages. First, it is argued that Harris’s reasoning provides a means of developing enactivist ontology beyond discussions limited to cognitive science and into domains of metaphysics that have traditionally been avoided by phenomenologists. Here, I maintain enactivist commitments are consistent with Harris’s reasoning (...) from certain synthetic a priori first principles, to his derivation of a teleological anthropic principle, which asserts the necessity of consciousness within the cosmos. Second, it is proposed that Steven Rosen’s long-standing proposal for a topology of phenomenology may provide a common logical foundation for both Harris and enactivists regarding anthropic reasoning. Third, it is argued that a pragmatic approach to process ontology is the most rigorous way of responding to the realism/anti-realism concerns that inevitably follow. If successful, this work will update Harris’s arguments with contemporary scientific and philosophical terminology and extend enactivism from philosophy of mind, into a general phenomenological ontology. (shrink)

Theory development is an important component of academic research since it can lead to the acquisition of new knowledge, the development of a field of study, and the formation of theoretical foundations to explain various phenomena. The contribution of qualitative researchers to theory development and advancement remains significant and highly valued, especially in an era of various epochal shifts and technological innovation in the form of Artificial Intelligence (AI). Even so, the academic community has not yet fully explored the (...) dynamics of AI in research and there are significant gaps in our understanding of how AI can be used most effectively in the context of theory building. The aim of this paper, which is driven by critical and conceptualization methodological dynamics, is to investigate the role of AI in the theory development process. As such, it critically evaluates the opportunities and limitations of AI in theory building, delivers a conceptual map of the nexus between AI and theory development, and presents key considerations for the use of AI in the creation of new theories or the advancement of existing ones. Though the necessity of AI tools in theory creation is contested given that the researchers' cognitive and evaluative skills are regarded as critical in this process, the value of AI in advancing theory is not to be underestimated. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, (...) empirical and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be posed prior to (...) and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and (...) Wright 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

The automobile has reshaped our conceptions of space and our modes of accessing and penetrating the urban and non-urban territory in multiple ways, revolutionizing how architects perceive the city and contributing significantly to the transformation of the relationship between architecture and the city. Despite the fact that many architects and architectural critics and theorists have been attracted to automobile vision, in the field of history and theory of architecture and urban design, many questions concerning the impact of the automobile on (...) our perception of the city and its territory have not yet been explored in depth. This is surprising when one considers that no other single factor changed the city so drastically during the twentieth century as the pervasive presence of the automobile. The article examines three different cases of architects—John Lautner, Alison and Peter Smithson, and Aldo Rossi—who tried to construct new visual regimes in photography from the car. The main objective is to present how new visual regimes in photography from the car informed in various ways the visual attitudes in their designs of buildings. The interexchange between the ways of capturing the views from the car and the formation of new design methods can explain the necessity to establish a new theoretical framework offering the possibility to historians of architecture and urban design to address in a sharp and concrete way the reciprocal relation between automobile vision and design approaches. (shrink)

Amidst the broad divergence in opinion of philosophers and scientists at understanding reality that has lent character to the historical epochs of the Philosophical enterprise, the crucial realization has always been, of the necessity of Epistemology in our entire program of making inquiry into ‘What Is’. This realization seems born out of the erstwhile problem of knowing. Epistemology, which investigates the nature, sources, limitations and validating of knowledge, offers a striking challenge here. Since we have no direct access to (...) our world around us, outside of the subjective experience offered us by our senses, we are handicapped at making comparisons of our beliefs with a concrete world, out there, or with elements of the world. Our statements about the world seem to stand alone, buffeted against the intimidating tide of possible contradicting circumstances. Our putative claims to knowledge, therefore, face the exigency of justification. Ayer, expressing the urgency of resolving this persisting lacuna, provides an alternative criterion of knowing, as ‘having the right to be sure’. Thus, it is this deep-seated concern that has evolved, over time, to become the primary thrust of the project of Epistemology, raising the controversy over which, of Epistemology or Metaphysics, is to be accorded the prime status of first philosophy. However, Aquinas is wise to build his epistemological premise on a firm metaphysical support, clarifying the needed development from being to knowledge. For, being has to first exist to constitute the object of perception, belief, and knowledge. Accordingly, our exposition of Aquinas’ epistemology will first take a cursory look at the theoretical and historical background to Aquinas’ Philosophy, before offering a general characterization of his theory of knowledge. Then, the paper will discuss his concept of sense perception as a basis for all knowing, followed closely by an analysis of cognition and Scientia. (shrink)

The emerging contemporary natural philosophy provides a common ground for the integrative view of the natural, the artificial, and the human-social knowledge and practices. Learning process is central for acquiring, maintaining, and managing knowledge, both theoretical and practical. This paper explores the relationships between the present advances in understanding of learning in the sciences of the artificial (deep learning, robotics), natural sciences (neuroscience, cognitive science, biology), and philosophy (philosophy of computing, philosophy of mind, natural philosophy). The question is, what (...) at this stage of the development the inspiration from nature, specifically its computational models such as info-computation through morphological computing, can contribute to machine learning and artificial intelligence, and how much on the other hand models and experiments in machine learning and robotics can motivate, justify, and inform research in computational cognitive science, neurosciences, and computing nature. We propose that one contribution can be understanding of the mechanisms of ‘learning to learn’, as a step towards deep learning with symbolic layer of computation/information processing in a framework linking connectionism with symbolism. As all natural systems possessing intelligence are cognitive systems, we describe the evolutionary arguments for the necessity of learning to learn for a system to reach human-level intelligence through evolution and development. The paper thus presents a contribution to the epistemology of the contemporary philosophy of nature. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spinoza and the Theory of Organism HANS JONAS I CARTESIANDUALISMlanded speculation on the nature of life in an impasse: intelligible as, on principles of mechanics, the correlation of structure and function became within the res extensa, that of structure-plus-function with feeling or experience (modes of the res cogitans) was lost in the bifurcation, and thereby the fact of life itself became unintelligible at the same time that the explanation (...) of its bodily performance seemed to be assured. The impasse became manifest in Occasionalism : its tour de force of an extraneous, divine "synchronization" of the outer and the inner world (the latter denied to animals) not only suffered from its extreme artificiality, the common failing of such ad hoc constructions, but even at so high a cost failed to accomplish its theoretical purpose by its own terms. For the animal machine, like any machine, raises beyond the question of the "how" that of the "what for" of its functioning---of the purpose for which it had thus been constructed by its maker.1 Its performance, however devoid of immanent teleology, must serve an end, and that end must be someone's end. This end may (directly) be itself, as indeed Descartes had implied when declaring self-preservation to be the effect of the functioning of the organic automaton. In that case the existence as such of the machine would be its end--either terminally, or in turn to benefit something else. In the former case, the machine would have to be more than a machine, for a mere machine cannot enioy its existence. But since, by the rigorous conception of the res extensa, it cannot be more than a machine, its function and/or existence must serve something other than itself. Automata in Descartes ' time were mainly for entertainment (rather than work). But the raison d'etre of the living kingdom could not well be seen in God's indulging his mechanical abilities or in the amusement of celestial spectators--especially since mere complexity of arrangement does not create new quality and thus add something to the unrelieved sameness of the simple substratum that might enrich the spectrum of being. For quality, beyond the primitive determinations of the extended per se, is the subjective creature of sensation, the confused representation of quantity in a mind; and thus organisms cannot harbor it because as mere machines they lack mentality, and pure spirits cannot because they lack sensuality, or the privilege of confusion and thereby of illusion with its possible enjoyment. And as to their intellectual enjoyment, even that, deprived of the thrill of discovery by the same token, would pale in the contemplation of what to sufficiently large The concept of "machine," adopted for its strict confinementto efficientcause, is still a finalisticconcept,even thoughthe final cause is no longer internal to the entity, as a mode of its own operation,but external to it as antecedent design. [43] 44 HISTORY OF PHILOSOPHY intellects is nothing but the ever-repeated exemplification of the same few, elementary (and ultimately trivial) truths. There remained, then, the time-honored--Stoic as well as Christian--idea that plants and animals are for the benefit of Man. Indeed, since the existence of a living world is the necessary condition for the existence of any of its members, the self-justifying nature of at least one such member (= species) would justify the existence of the whole. In Stoicism, Man provided this end by his possession of reason, which makes him the culmination of a terrestrial scale of being that is also self-justifying throughout all its grades (the end as the best of many that are good in degrees) ; in Christianity, by his possession of an immortal soul, which makes him the sole imago Dei in creation (the end as the sole issue at stake) ; and Cartesian dualism radicalized this latter position by making man even the sole possessor of inwardness or "soul" of any kind, thus the only one of whom "end" can meaningfully be predicated as he alone can entertain ends. All other life then, the product of physical necessity, can be considered his means. However, this traditional idea, in its anthropocentric vanity never a... (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show (...) how epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the (...) main tendencies of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

Open peer commentary on the article “Circularity and the Micro-Macro-Difference” by Manfred Füllsack. Upshot: The target article defends the fundamental role of circularity for systems sciences and the necessity to develop a conceptual and methodological approach to it. The concept of circularity, however, is multifarious, and two of the main challenges in this respect are to provide distinctions between different forms of circularities and explore in detail the roles they play in organizations. This commentary provides some suggestions in this (...) direction with the aim to supplement the perspective presented in the target article with some insights from theoretical biology. (shrink)

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

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper (...) I explain how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

The conditional analysis of ability faces familiar counterexamples involving cases of volitional incapacity. An interesting response to the problem of volitional incapacity is to try to explain away the responses elicited by such counterexamples by distinguishing between what we are able to do and what we are able to bring ourselves to do. We argue that this error-theoretic response fails. Either it succeeds in solving the problem of volitional incapacity at the cost of making the conditional analysis vulnerable to obvious (...) counterexamples to its necessity. Or, it avoids the counterexamples to its necessity but fails to solve the problem of volitional incapacity. (shrink)