It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and transparency (...) are not reasonable conditions for ideal understanding. (shrink)

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical (...) behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

As this book makes clear, current use of data structures such as frames, scripts, and stereotypes in psychology, artificial intelligence, and all the other disciplines now grouped together as Cognitive Science develop ideas already explored by Husserl who believed that the analysis of mental representations was the proper subject of philosophy, psychology, and other disciplines that deal with the mind. This new anthology will serve as an ideal introduction to phenomenology for analytic philosophers, both as a text and as the (...) single most useful source book on Husserl for cognitive scientists. An MIT Press/Bradford Book. (shrink)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

This paper investigates the historical origin and ancestors of typicality, which is now a central concept in Boltzmannian Statistical Mechanics and Bohmian Mechanics. Although Ludwig Boltzmann did not use the word typicality, its main idea, namely, that something happens almost always or is valid for almost all cases, plays a crucial role for his explanation of how thermodynamic systems approach equilibrium. At the beginning of the 20th century, the focus on almost always or almost everywhere was fruitful for developing measure (...) theory and probability theory. It was apparently Hugh Everett III who first mentioned typicality in physics in 1957 while searching for a justification of the Born rule in his interpretation of quantum mechanics. The historically closest concept before these developments is moral certainty, which was invented by the medieval French theologian Jean Gerson, and it became a standard concept at least until the Age of Enlightenment, when Jakob Bernoulli proved the Law of Large numbers. (shrink)

I present and explain the Bohmian account of collapse in quantum mechanics.

We argue that the asymmetry between diverging and converging electromagnetic waves is just one of many asymmetries in observed phenomena that can be explained by a past hypothesis and statistical postulate (together assigning probabilities to different states of matter and field in the early universe). The arrow of electromagnetic radiation is thus absorbed into a broader account of temporal asymmetries in nature. We give an accessible introduction to the problem of explaining the arrow of radiation and compare our preferred strategy (...) for explaining the arrow to three alternatives: (i) modifying the laws of electromagnetism by adding a radiation condition requiring that electromagnetic fields always be attributable to past sources, (ii) removing electromagnetic fields and having particles interact directly with one another through retarded action-at-a-distance, (iii) adopting the Wheeler-Feynman approach and having particles interact directly through half-retarded half-advanced action-at-a-distance. In addition to the asymmetry between diverging and converging waves, we also consider the related asymmetry of radiation reaction. (shrink)

I propose an account of probability in the Everett interpretation of quantum mechanics. According to the account, probabilities are objective chances of centered propositions. As I show, the account solves a number of problems concerning the role of probability in the Everett interpretation. It also challenges an implicit assumption, concerning the aim and scope of fundamental physical theories, that is made throughout the philosophy of physics literature.

Philosophy is sometimes perceived as an abstract and nerdy discipline dealing with problems of its own creation in an isolated chamber of the Ivory Tower. And there is some truth to this view. But philosophy can help us deal with common problems, such as the disagreements we have in our everyday lives.

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence properties of (...) those items. (shrink)

If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: so ultimately, the Typical Principle (...) may be the more fundamental of the two. (shrink)

I show that centered propositions—also called de se propositions, and usually modeled as sets of centered worlds—pose a serious problem for various versions of Lewis's Principal Principle. The problem, put roughly, is that in scenarios like Elga's `Sleeping Beauty' case, those principles imply that rational agents ought to have obviously irrational credences. To solve the problem, I propose a centered version of the Principal Principle. My version allows centered propositions to be objectively chancy.

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for the (...) status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

I propose an account of possible worlds. According to the account, possible worlds are pluralities of sentences in an extremely large language. This account avoids a problem, relating to the total number of possible worlds, that other accounts face. And it has several additional benefits.

There is not much of a consensus on almost anything about quantum mechanics. I take it, however, that the minimum consensus is that "although quantum mechanics is empirically successful, quantum mechanics is hard to understand." Quantum mechanics, in the way it is presented in most textbooks, does indeed not provide a clear picture of reality that would make it a theory to be understood. In her new book, "The World in the Wave Function: A Metaphysics for Quantum Physics," Alyssa Ney (...) tries to make this blurry picture of reality more precise, even if this picture will turn out to be heterodox and unfamiliar. (shrink)

We show that in the Maxwell–Lorentz theory of classical electrodynamics most initial values for fields and particles lead to an ill-defined dynamics, as they exhibit singularities or discontinuities along light-cones. This phenomenon suggests that the Maxwell equations and the Lorentz force law ought rather to be read as a system of delay differential equations, that is, differential equations that relate a function and its derivatives at different times. This mathematical reformulation, however, leads to physical and philosophical consequences for the ontological (...) status of the electromagnetic field. In particular, fields cannot be taken as independent degrees of freedom, which suggests that one should not add them to the ontology. (shrink)

Roughly put, explanatory circles — if any exist — would be propositions such that (i) each explains the next, and (ii) the last explains the first. In this paper, I give two arguments for the view that there are explanatory circles. The first argument appeals to general relativistic worlds in which time is circular. The second argument appeals to special science theories that describe feedback loops. In addition, I show that three standard arguments against explanatory circles are unsuccessful.

This is the BJPS Short Read version of the article When Fields Are Not Degrees of Freedom. In our article, Vera Hartenstein and I show that the world of classical electromagnetism might differ radically from the one we see in physics textbooks and experience day-to-day. First, light may not exist; second, the laws of electromagnetism are either incomplete or completely different; and, third, the mathematics needed to make exact calculations with these novel laws is in early development and not part (...) of the general mathematics curriculum at colleges and universities. (shrink)

We discuss the no-go theorem of Frauchiger and Renner based on an "extended Wigner's friend" thought experiment which is supposed to show that any single-world interpretation of quantum mechanics leads to inconsistent predictions if it is applicable on all scales. We show that no such inconsistency occurs if one considers a complete description of the physical situation. We then discuss implications of the thought experiment that have not been clearly addressed in the original paper, including a tension between relativity and (...) nonlocal effects predicted by quantum mechanics. Our discussion applies in particular to Bohmian mechanics. (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

Amazon Book Review Series of “Better Economics for the Earth: A Lesson from Quantum and Information Theories”.

A logic is paraconsistent if it allows for non-trivial inconsistent theories. Given the usual definition of inconsistency, the notion of paraconsistent logic seems to rely upon the interpretation of teh sign '¬'. As paraconsistent logic challenges properties of negation taken to be basic in other contexts, it is disputable that an operator lacking those properties will count as real negation. The conclusion is that there cannot be genuine paraconsistent logics. This objection can be met from a substructural perspective, since paraconsistent (...) sequent calculi can be built from the same operational rules as classical logic but with slightly different structural rules. (shrink)

The centered Everett interpretation solves a problem that various approaches to quantum theory face. In this paper, I continue developing the theory underlying that solution. In particular, I defend the centered Everett interpretation against a few objections, and I provide additional motivation for some of its key features.

the purpose of this paper is to o er a logico‐philosophical critical overview of the theory of multiple realities (tWr). the paper is divided into three sections. In the rst section I present a brief history of the development of some ideas, which combined together form the conceptual amework of the theory in question, whose main thesis is that there is more than one reality. In the second part I present (and try to address) some interpretations of tWr, which can (...) be described as: ontological; epistemological; esthetical; logical ad mixed interpretations. When do‐ ing so, a special emphasis is laid on the presentation of an explication of tWr based on theory of models, an explication authored by teresa Kostyrko. this explication rests on a conditional recognition of the particular ‘realities’ of Chwistek’s theory as proper models (i.e. those, which ful ll the condition of the identity of meaning of theory’s fundamental notions) of the theories of reality, with the provision that such models are indeed constructible. In the last section of my paper I propose a preliminary appraisal of the tWr as well as a way to reengineer this theory in order to avoid some of its di culties. By appealing to Kostyrko’s idea on one hand and the spirit Quinean ontological relativism on the other, I wish to argue as follows: ‘reality’ is the name of the set comprising all meanings of the term ‘reality’; under particular conditions these meanings can be arranged in a theory, which posseses a proper model (scienti c discourse, some forms of the common talk); model proper designate by de nition classes of objects, which we regard as existent on the grounds of a given theory. the above set of theses forms the core of a concept, which I propose to call the ‘manifold reality’ in order to di erentiate it om tWr, the development of which theory it is, as well as its modi cation towards a new kind of ontology. (shrink)

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (shrink)

What is the meaning of the wave-function? After almost 100 years since the inception of quantum mechanics, is it still possible to say something new on what the wave-function is supposed to be? Yes, it is. And Shan Gao managed to do so with his newest book. Here we learn what contemporary physicists and philosophers think about the wave-function; we learn about the de Broglie-Bohm theory, the GRW collapse theory, the gravity-induced collapse theory by Roger Penrose, and the famous PBR (...) theorem; we learn about Schrödinger's original idea that the wave-function represents charge densities; we learn about the notorious measurement problem and its consequences; we learn about the challenges to find a consistent relativistic quantum theory; and we learn, of course, Gao's own suggestion for the status of the wave-function. Above all, Gao shows us the significance of protective measurements for our search of the ontology of quantum mechanics. Still not widely recognized among physicists and philosophers, protective measurements let us look deeper into quantum mechanics. For Gao this is the main tool to settle the issue on the ontological status of the wave-function: the wave-function is real because one can measure it. (shrink)

Instances of the law of large numbers are used to model many different physical systems. In this paper, I argue for a particular interpretation, of those instances of that law, which appeals to typicality. As I argue, the content of that law, when used to model physical systems, is that the probability of an event typically—rather than probably—approximates the frequency with which that event occurs.

The Generalized Poisson Distribution (GPD) adds an extra parameter to the usual Poisson distribution. This parameter induces a loss of homogeneity in the stochastic processes modeled by the distribution. Thus, the generalized distribution becomes an useful model for counting processes where the occurrence of events is not homogeneous. This model creates the need for an inferential procedure, to test for the value of this extra parameter. The FBST (Full Bayesian Significance Test) is a Bayesian hypotheses test procedure, capable of providing (...) an evidence measure on sharp hypotheses (where the dimension of the parametric space under the null hypotheses is smaller than that of the full parametric space). The goal of this work is study the empirical properties of the FBST for testing the nullity of extra parameter of the generalized Poisson distribution. Numerical experiments show a better performance of FBST with respect to the classical likelihood ratio test, and suggest that FBST is an efficient and robust tool for this application. (shrink)

In their paper "How Fundamental Physics represents Causality", Andreas Bartels and Daniel Wohlfarth maintain that there is place for causality in General Relativity. Their argument contains two steps: First they show that there are time-asymmetric models in General Relativity, then they claim to derive that two events are causally connected if and only if there is a time-asymmetric energy flow from one event to the other. In our comment we first give a short summary of their paper followed by a (...) section introducing and pondering different conceptions of causation since Bartels and Wohlfarth don’t explicitly declare which notion of causation they build on in the paper. In order to analyze their argument in detail we formalize their crucial step in logical terms. This helps to pose the question whether their proposed derivation is not just a definition in a more precise way. (shrink)

Amazon Book Review Series of “Wild Wise Weird”.

It is often assumed that theorizing in terms of natural properties is more objectively valuable than theorizing in terms of non-natural properties. But this assumption faces an explanatory challenge: explain the greater objective value of theorizing in terms of natural properties. In this paper, I answer that challenge by proposing and exploring three different accounts of the objective value of naturalness. Two appeal to constitutive natures: it is part of the constitutive nature of explanation, or of objective value, that theorizing (...) in terms of natural properties is more objectively valuable. The third appeals to the theoretical role that naturalness plays. (shrink)

This volume contains more than 60 original translations of papers written by the German philosopher Gottfried Wilhelm Leibniz (1646-1716). As well as contributing to Leibniz scholarship, it is intended to function as an introductory text for students.

In this chapter, we explore some ways in which reasoning based on mysticism can be rational, focusing on the episode “The Fortuneteller,” in which Aang, Katara, and Sokka save a village from a volcanic eruption. Throughout this episode, Sokka advocates a purely empirical approach to reasoning. The villagers, however, believe that no source of knowledge is more reliable than Aunt Wu, the local fortuneteller. At several points in the episode, Sokka claims that the villagers’ reliance on Aunt Wu is irrational. (...) The villagers claim otherwise: since Aunt Wu has never led them astray, it is rational to rely on her. As we will see, the villagers are right. Their approach to reasoning – based on Aunt Wu’s fortunetelling – is more rational than it initially seems to be. Roughly put, despite their belief in the mystical, the villagers behave in accord with a standard philosophical theory of rational decision-making, a theory of what makes some decisions rational and other decisions not. So Sokka is wrong to claim that the villagers’ reliance on Aunt Wu is irrational. The villagers behave quite rationally. (shrink)

Amazon Book Review Series of “Meandering Sobriety”.

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

LEIBNIZ AND THE TWO SOPHIES is a critical edition of all of the philosophically important material from the correspondence between the philosopher Gottfried Wilhelm Leibniz (1646-1716) and his two royal patronesses, Electress Sophie of Hanover (1630-1714), and her daughter, Queen Sophie Charlotte of Prussia (1668-1705). In this correspondence, Leibniz expounds in a very accessible way his views on topics such as the nature and operation of the mind, innate knowledge, the afterlife, ethics, and human nature. The correspondence also contains (...) the only known philosophical writings by Sophie and Sophie Charlotte, and thus provides a valuable insight into their views and concerns, as well as throwing light on their characters. The texts are accompanied by a substantial introductory essay which sets the context for the correspondence and analyzes its main philosophical themes. (shrink)

This paper aims to argue for, else illustrate the epistemological significance of the use of non transitive similarity relations, mapping only to "types", as methodologically being on a par with the use of transitive similarity relations (equivalence relations), mapping as well to "predicates". -/- In this paper the sketch of an exact but simple geometrical model of the above construct is followed by mentioning respective use cases for non transitive similarity relations from science and humanities. A well known metaphysics example (...) is elaborated along these lines to some extent. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the primitive (...) stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...) for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

La traducción al latín de la obra de Maimónides Moreh Nevukhim | Guía para Perplejos, ha sido la obra judía más influyente en los últimos milenios (Di Segni, 2019; Rubio, 2006; Wohlman, 1988, 1995; Kohler, 2017). Ésta marcó el comienzo de la escolástica, «hija del judaísmo nutrida por pensadores judíos, » según el historiador Heinrich Graetz (Geschichte der Juden, L. 6, Leipzig 1861, p. xii). Impresa por la primera imprenta mecánica de Gutenberg, su influencia en Occidente se extendió hasta el (...) Quinto Concilio de Letrán (1512-1517) « donde se instó a los eruditos a eliminar las dificultades que parecían dividir el conjunto de la teología y la filosofía (Leibniz, Teodicea, 11 ). » Durante siglos, la Guía revolucionó el currículo de estudios de la instrucción escolar al reintegrar en el ámbito de la fe las leyes del pensamiento (la cuarta de las cuales se convirtió en el principio de la razón suficiente de Leibniz). La colección completa de las notas que exponen las ideas de la Guía incluye todos los pasajes seleccionados y reescritos por Leibniz. Esta primera traducción bilingüe completa y anotada de los manuscritos originales en latín sirve como una puerta de entrada a la fe conforme a la Razón. -/- « El excelente libro del rabino Moisés Maimónides, Guía para perplejos, es más filosófico de lo que había imaginado y merece una lectura atenta. El autor, distinguido por su inteligencia filosófica, fue versado en matemáticas, en el arte de la medicina, y también en el conocimiento de las Sagradas Escrituras. » — GW LEIBNIZ, 1685. Antología de Leibniz de la Guía de Maimónides, Capítulo III. (shrink)

La traduction latine du livre de Maïmonide Moreh Nevukhim | Guide des égarés, a été l'ouvrage juif le plus influent des derniers millénaires (Di Segni, 2019 ; Rubio, 2006 ; Wohlman, 1988, 1995 ; Kohler, 2017). Elle marqua le début de la scolastique, fille du judaïsme élevée par des penseurs juifs, selon l'historien Heinrich Graetz (Geschichte der Juden, L. 6, Leipzig 1861, p. xii). Imprimée par la première presse mécanique de Gutenberg, son influence en Occident s'étendit jusqu'au Vème concile du (...) Latran (1512-1517) « où les savants furent encouragés à lever les difficultés qui semblaient diviser l'ensemble de la théologie et de la philosophie — (Leibniz, Théodicée, 11 ) ». Pendant des siècles, le Guide a révolutionné le programme d'instruction scolaire en réintégrant dans le domaine de la foi les lois de la pensée (dont la quatrième est devenue le principe de la raison suffisante de Leibniz). Cette collection complète de notes qui expose les idées du Guide fournit tous les passages sélectionnés et réécrits par Leibniz. Cette première traduction complète bilingue annotée des manuscrits originaux en latin sert de porte d'entrée à la foi conforme à la Raison. -/- « L'excellent livre du Rabbin Moïse Maïmonide, le Guide des égarés, est plus philosophique que je ne l'avais imaginé et mérite une lecture attentive. L'auteur, distingué par son intelligence en philosophie, était versé dans les mathématiques, l'art médical, et aussi dans la connaissance de Saintes Écritures. » — G. W. LEIBNIZ, 1685, Anthologie de Leibniz du Guide de Maïmonide, Chapitre III. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text we (...) assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)