L’aspirazione a conoscere è radicata nella natura umana. Capire che cos’è la conoscenza significa acquisire consapevolezza della propria identità.

This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...) with standard scholarly interpretations, this way of reading the text provides all the puzzles about being (241c4–251a4) with a definite function in the dialogue. It also reveals that Plato’s methodology includes a plurality of method and is more continuous than what is often believed. (shrink)

An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled states. Recently, however, arguments have (...) been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local law in which (...) a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

The paper discusses the possible implications of the relational framework of Pure Shape Dynamics for the metaphysics of time. The starting point of the analysis is an interpretation of shapes in ontic structural realist terms, which gives rise to the notion of self-subsisting structure. The relational version of a Newtonian-particle toy model is introduced and discussed as a concrete example.

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently applied in (...) the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding. (shrink)

The paper aims at analyzing the inner development of self-identity from its pre-reflective level to the full awareness one. The recent findings of neurosciences and cognitive studies suggest focusing attention on the complex relation between self as consciousness and self as subjectivity, both with regard to their interdependency and to their reference to a shared context. Phenomenology, thanks to the careful consideration of the issues regarding the constitution of mental life articulated by its classic researches and current inquires, offers a (...) valuable opportunity to set the scientific outcomes in an authentically philosophical perspective. (shrink)

The method of the transcendental reduction, which takes place as a return revealing the subjectivity to itself, makes possible to grasp the link connecting the worldly reality and the egological dimension, i.e. the world’s becoming in the ways of the originally subjective constitution. The legitimate aim of the psychological experience to understand the basic structures of the life-consciousness can find in the conceptual figure of the phenomenological reduction both a valid methodological approach and a useful terms of comparison.

The διακριτικὴ τέχνη (the art of separating or discriminating), from which the sixth definition of theSophiststarts (226b1–231b9), is puzzling.Prima faciethe art of separating does not fit the initial division of art between ποιητικὴ τέχνη (production) and κτητικὴ τέχνη (acquisition) at 219a8–c9. Therefore, scholars generally agree that, although mutually exclusive, ποιητική and κτητική are not exhaustive and leave room for a third species of art, διακριτικὴ τέχνη, on a par with ποιητική and κτητική. However, I argue that textual evidence suggests otherwise.

The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

Intuitively, collective nouns are pseudo-singular: a collection of things (a pair of people, a flock of birds, etc.) just is the things that make ‘it’ up. But certain facts about natural language seem to count against this view. In short, distributive predicates and numerals interact with collective nouns in ways that they seemingly shouldn’t if those nouns are pseudo-singular. We call this set of issues ‘the distribution problem’. To solve it, we propose a modification to cover-based semantics. On this semantics, (...) the interpretation of distributive predicates and numerals depends on a cover, where the choice of cover is strongly semantically constrained by the noun with which they interact. (shrink)

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for (...) an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Many natural languages include plural terms, i.e., terms which denote many individuals at once. Are there also superplural terms, i.e., terms which denote many pluralities of individuals at once? Some philosophers say ‘Yes’, citing a range of sentence-types which apparently can’t be analyzed in a first-order plural logic, but which can be analyzed in a superplural one. We argue that all the data presented in favor of the superplural can, in fact, be analyzed using only first-order resources. The key is (...) to add to ordinary plural logic a new notion of a generalized cover. A generalized cover reflects how interlocutors in a conversation may divide a salient plurality into many subpluralities, which can then be involved in reference and predication. With generalized covers in place, all the apparently troublesome sentences can be easily handled. Our approach can also be extended to account, not only for linguistic data which seem to favor the superplural, but also for other phenomena involving plurals. The result is a unified approach to natural language plurals on which superplurals are analyzed away. (shrink)

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

The claim that the observation of a violation of a Bell inequality leads to an alleged alternative between nonlocality and non-realism is annoying because of the vagueness of the second term.

Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to “speak” of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary (...) to develop an alternative mathematical language that is both powerful enough to allow scientists to compute predictions and compatible with indeterminism and the passage of time. We suggest that intuitionistic mathematics provides such a language and we illustrate it in simple terms. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

The aim of this paper is to show that science, understood as pure research, ought not to be affected by non-epistemic values and thus to defend the traditional ideal of value-free science. First, we will trace the distinction between science and technology, arguing that science should be identified with pure research and that any non-epistemic concern should be di­rected toward technology and technological research. Second, we will examine different kinds of values and the roles they can play in scientific research (...) to argue that science understood as pure research is mostly and in any case ought to be value-free. Third, we will consider and dismiss some widespread arguments that aim to defend, especially at a normative level, the inevitable value-ladenness of science. Finally, we will briefly return to the connections among science, technology, and values. (shrink)

Dominant views about the nature of health and disease in bioethics and the philosophy of medicine have presumed the existence of a fixed, stable, individual organism as the bearer of health and disease states, and as such, the appropriate target of medical therapy and ethical concern. However, recent developments in microbial biology, neuroscience, the philosophy of cognitive science, and social and personality psychology (Ickes...

Do scientific theories limit human knowledge? In other words, are there physical variables hidden by essence forever? We argue for negative answers and illustrate our point on chaotic classical dynamical systems. We emphasize parallels with quantum theory and conclude that the common real numbers are, de facto, the hidden variables of classical physics. Consequently, real numbers should not be considered as ``physically real" and classical mechanics, like quantum physics, is indeterministic.

Is suffering really bad? The late Derek Parfit argued that we all have reasons to want to avoid future agony and that suffering is in itself bad both for the one who suffers and impersonally. Nietzsche denied that suffering was intrinsically bad and that its value could even be impersonal. This paper has two aims. It argues against what I call ‘Realism about the Value of Suffering’ by drawing from a broadly Nietzschean debunking of our evaluative attitudes, showing that a (...) recently influential response to the debunking challenge (the appeal to phenomenal introspection) fails. It also argues that a Nietzschean approach is well suited to support the challenge and is bolstered by the empirical literature. As strangers to ourselves, we cannot know whether suffering is really intrinsically bad for us. (shrink)

If panpsychism is true, it suggests that consciousness pervades not only our brains and bodies but also the entire universe, prompting a reevaluation of our existential attitudes. Hence, panpsychism potentially fulfills psychological needs typically addressed by religious beliefs, such as a sense of belonging and purpose but also transcendence. The discussion is organized into two main areas: the implications of panpsychism for basic human existential needs, such as feelings of kinship, ommunication, and loneliness; and for greater existential questions relating to (...) mystical experiences including transcendent unity and alleviation of the fear of death. In conclusion panpsychism may provide a deeper meaning in life for some people but its broader impact depends on individual dispositions and the cultural context in which it is embedded. (shrink)

We present a systematic and qualitative review of academic literature on early conceptual development (0–24 months of age), with an emphasis on methodological aspects. The final sample of our review included 281 studies reported in 115 articles. The main aims of the article were four: first, to organise studies into sets according to methodological similarities and differences; second, to elaborate on the methodological procedures that characterise each set; third, to circumscribe the empirical indicators that different sets of studies consider as (...) proof of the existence of concepts in early childhood; last, to identify methodological limitations and to propose possible ways to overcome them. We grouped the studies into five sets: preference and habituation experiments, category extension tasks, object sorting tasks, sequential touching tasks and object examination tasks. In the “Results” section, we review the core features of each set of studies. In the “Discussion” and “Conclusions” sections, we describe, for one thing, the most relevant methodological shortcomings. We end by arguing that a situated, semiotic and pragmatic perspective that emphasises the importance of ecological validity could open up new avenues of research to better understand the development of concepts in early childhood. (shrink)

It’s natural to think of acts of solidarity as being public acts that aim at good outcomes, particularly at social change. I argue that not all acts of solidarity fit this mold - acts of what I call ‘private solidarity’ are not public and do not aim at producing social change. After describing paradigmatic cases of private solidarity, I defend an account of why such acts are themselves morally virtuous and what role they can have in moral development.

We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...) q, t ⟩, where q is an individual quality inhering in o or in one of its parts. Detaching the individuation of events from the property they exemplify results in a fine-grained theory that keeps metaphysics and semantics clearly separate, and lies between the multiplicative and the unitarian approaches. We discuss then the way language refers to events, observing that, in most cases, event descriptions refer to complex, cognitively relevant clusters of co-occurring qualitative changes, which exhibit a synchronic structure depending on the way they are described. Contra Bennett, who famously argued that the semantics of event names ultimately depends on “local context and unprincipled intuitions”, we show how the lexicon provides systematic principles for individuating such clusters and classifying them into kinds. Finally, we address some open challenges in the semantics of locative and manner modifiers. (shrink)

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge (...) from the context (the scene) they occur in. (shrink)

Most people agree that inflicting unnecessary suffering upon animals is wrong. Many fewer people, including among ethicists, agree that painlessly killing animals is necessarily wrong. The most commonly cited reason is that death (without pain, fear, distress) is not bad for them in a way that matters morally, or not as significantly as it does for persons, who are self-conscious, make long-term plans and have preferences about their own future. Animals, at least those that are not persons, lack a morally (...) significant interest in continuing to live. At the same time, some argue that existence itself can be good, insofar as one’s life is worth living. For animals, a good life can offset a quick, if early, death. So, it seems to follow that breeding happy animals that will be (prematurely) killed can be a good thing overall. Insofar as slaughter and sale makes it economically sustainable to raise new ones, who would otherwise not exist, raising and killing animals for food who will have lives worth living is good overall. It benefits them as well as consumers, and makes the world better by adding to the sum of happiness. The process of raising and killing animals with positive welfare produces a sequence of replacement that maintains or increases overall welfare, all else being equal (assuming in particular no overall negative impact on the welfare of other parties). Call this the Replaceability Argument (RA) and the ensuing controversy the Replaceability Problem (RP). This is a problem at the crossroads of the ethics of killing, agricultural ethics, procreation ethics, and population ethics. (shrink)

Imagine that your body has become attached, without your permission, to that of a sick violinist. The violinist is a human being. He will die if you detach him. Such detachment seems, nonetheless, to be morally permissible. Thomson argues that an unwantedly pregnant woman is in an analogous situation. Her argument is considered by many to have established the moral permissibility of abortion even under the assumption that the foetus is a human being. Another popular argument is that presented by (...) Singer and Unger to the effect that even those who are moderately prosperous are morally obliged to help the poor if they can do so at relatively small cost to themselves. The paper (published under the pseudonym 'Nicola Bourbaki') considers the question whether these two arguments can be simultaneously valid. (shrink)

There seems to be an inconsistency at the heart of Aristotle’s Metaphysics: a differentia is said both to presuppose its genus (in vii 12) and to be logically independent from it (in x 7). I argue that the relation of analogy resolves this inconsistency, restores the coherence of the concepts of differentia and species, and gives x 7 its rightful place in the development of the Metaphysics.

In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...) when research ethics committees assess whether the social value of the research is sufficient to justify the risks and burdens to research participants and others. In assessing how far a proposed research project will advance the interests of people who are more disadvantaged, research priority setters and RECs should examine the diseases that the research targets and the type of research. Just as certain diseases impose a greater burden on people who are more disadvantaged, so certain types of intervention and forms of research are more likely to benefit people who are more disadvantaged. We outline which populations are likely to be representative of the global worst off and identify what types of health research, and which disease categories, are priorities for these populations. (shrink)

—Commentary on Mikhalevich and Powell on invertebrate minds.— Whether or not arthropods are sentient, they can have moral standing. Appeals to sentience are not necessary and retard progress in human treatment of other species, including invertebrates. Other increasingly well-documented aspects of invertebrate minds are pertinent to their welfare. Even if arthropods are not sentient, they can be agents whose goals—and therefore interests—can be frustrated. This kind of agency is sufficient for moral status and requires that we consider their welfare.

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

In this article we examine the role of Entscheider (decision-makers) in the German asylum procedure, both legally and ethical. As the responsibility for deciding on asylum applications lies exclusively with them, their significance for the German asylum procedure can hardly be underestimated. However, over the last few decades the situation of Entscheider changed significantly: While the number and complexity of the cases they have to decide on has increased due to the growing immigration, the requirements for their education have been (...) lowered, owed to critical amendments to the relevant law. We analyze how the law currently defines the role of Entscheider, whether the legal framework is constitutional, and what modifications morality requires. Although the law defining their role seems to be constitutional, Entscheider’s education must be improved and they must be entrusted with the hearing of the applicants to meet what morality requires, we conclude. DOI: 10.17879/95189429199. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

We aim to do two things in this article. On the positive end, our goal is to explain how some seemingly incompatible aspects of belief live together, by presenting distinct mechanistic explanations of each of them: in particular we want to show how belief can be discerning, credulous, rational, and irrational. After clarifying our positive view, we take aim at some competitor views in the second half of the paper, particularly offering critiques of epistemic vigilance and social marketplace accounts of (...) belief. We conclude by inviting proponents to provide an architecture for belief that can be tested against existing models. (shrink)

This article explores the phenomenology of time and eschatology in the thought of Jean-Yves Lacoste, including his recent book on the philosophy of history. Lacoste’s idea of “the hidden present” is examined within the context of his broader theological and philosophical framework, with a particular focus on the way it addresses the intersection of temporality and eternity. Human temporality is characterized by finitude and death, which are interpreted both philosophically—under the influence of Heidegger’s philosophy—and theologically. Using Husserlian and Heideggerian concepts, (...) Lacoste proposes a theologically inspired conceptual network: phenomenological reduction versus theological reduction, world versus creation, death versus resurrection, care (Sorge) versus eschatological restlessness, and time versus eschaton. All of these describe the liturgical experience of man before God and the possibility of an eternity which, from the point of view of the world and of our experience in the world, can only take on the ever-provisional figure of anticipation. The present article argues for the existence of a theological paradox of eschatology in the writings of the French phenomenologist: even if eschatology is only anticipated, the liturgical man, situated before God (coram Deo), experiences it in an incomplete and apophatic manner. (shrink)