In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called equation image without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper (...) a Kripke-style semantics for a subsystem equation image of equation image for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system equation image with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic equation image. We introduce a reational semantics which has the advantage to allow an interpretation of the propositionnal logic equation image using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic equation image. (shrink)

John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. Jeffrey, (...) 5th ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (with A. G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015), and Set Theory (Cambridge Elements, Forthcoming). In this interview, Professor Burgess talks about how his interests in mathematics and philosophy developed and relate to each other. He then answers questions about specific themes of his philosophical work, with a focus on issues pertaining to philosophy of mathematics. (shrink)

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

RESUMENRealizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este modo, definimos operadores que nos permiten expresar distintas modificaciones que puede sufrir una teoría, concretamente ampliaciones y contracciones. Mostramos cómo los tratamientos lógicos tradicionales del razonamiento abductivo pueden ser comprendidos desde nuestra propuesta.PALABRAS CLAVERAZONAMIENTO ABDUCTIVO, LÓGICAS NO CLÁSICAS, LÓGICA MODAL, MODELOS DE KRIPKE, EXPLICACIÓN CIENTÍFICA.ABSTRACTWe propose an (...) approach to explanatory reasoning through modal structures. We use the wellknown formalism of Kripke frames, but associated with each world, there is not an interpretation but a logic. Then, we define operators that allow us to express different modifications of a theory, specially expansions and contractions. We show that traditional logical treatments of abductive reasoning can be understood from our proposal.KEYWORDSABDUCTIVE REASONING, NON-CLASSICAL LOGICS, MODAL LOGIC, KRIPKE FRAMES, SCIENTIFIC EXPLANATION. (shrink)

In this article, we will revisit a motivation to consider the advantages of a theory about structured contents over a semantics of possible worlds. We will argue that a structure represents the strategic organization of the content of “p” under conditions in which asserting it does not imply contradictory consequences. These are the winning conditions for the assertion of ‘p’. When ‘p’ is modally sensitive – it can change its winning parameters – knowledge of the structure thus represents the rational (...) point for assertions (about non-actualized realities) that are organized to maximize what can be deduced from ‘p’. In these cases, the known relevant structure is intensional. We will argue that actualist Possible World Semantics, seeking the conversion of intensional knowledge into a de re representation of possible states, pays the price of being blind to structural divergences; it can only poorly explain these structural divergences between non-actual states of information and correlate it with divergence between winning strategies of assertion. Our argument will begin exposing Frege’s legacy; resort to Dummett’s concept of ingredient sense as an alternative to Kripke’s grade two knowledge; and briefly go through a semantic strategy of Stalnaker and Thomason to represent modal statements. In addition to these authors, we will explore the contribution of Russell, Kaplan and Ecthemendy to our argument. (shrink)

EI artículo comienza con un análisis de la estructura de la teoría semántica de Kripke y Putnam para términos de génera natural. A continuación, se someten a crítica algunos principios de esta teoría. Tomando pie en lo anterior, la segunda mitad del artículo esta dedicada a una reflexión sobre la relación entre intension y extensión. Tras constatar que los conceptos asociados con términos de genera natural están sujetos a evolución, se concluye que la intensión determina o no determina la (...) extensión dependiendo de la etapa en la que el térmono se encuentre. Esto vendría a significar que tanto ladoctrina tradicional del significado corno la de Kripke y Putnam se basan en intuiciones certeras pero sobre situaciones semánticas diferentes.The paper begins with an analysis of the structure of Kripke and Putnam’s semantic theory in relation to natural kind terms. It then goes on to criticise some of the principles on which their study is based. From the standpoint of this critique, the second part of the article is devoted to a reflection on the relationship between intension and extension. After stablishing that the meaning of natural kind terms is subject toevolution, the thesis, stipulating that the intension determines or does not determine the extension depending at the stage in whieh the term is, is then defended. This seems to indicate that both the traditional doctrine of meaning and that put forward by Kripke and Putnam are based on sound intuitions, but these last ones are targeted towards different semantic situations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:russell: the Journal of Bertrand Russell Studies n.s. 34 (summer 2014): 67–78 The Bertrand Russell Research Centre, McMaster U. issn 0036–01631; online 1913–8032 c:\users\kenneth\documents\type3401\rj 3401 193 red.docx 2014-05-14 8:54 PM aiscussion THE STRUCTURE, SEMANTICS, AND USE OF DESCRIPTIONS Jolen Galaugher Philosophy / McMaster U. Hamilton, on, Canada l8s 4l6 [email protected] / [email protected] he division of designators into denoting expressions and referring expressions has become a familiar feature of the (...) Russellian orthodoxy in the philosophy of language. At a glance, expressions of the referring kind seem to be unstructured, lacking independently meaningful proper parts, while those of the denoting kind seem to be structured quantifiers, having molecular complexity. Most examples fit this pattern: proper names, indexicals, and demonstratives are unstructured, while definite descriptions and other quanti fier phrases are typically structured. On Russell’s 1903 theory of denoting, the semantic structure (independently meaningful proper parts) of denoting complexes had proved a source of difficulty for his logic of propositions. The early theory was not only incapable of explaining both how we are supposed to designate complex meanings and how complex meanings are supposed to denote, but was also at odds with the view that proposition and constituent are logically basic, introducing further functional complexes into the propositional complex. Russell’s 1905 theory of descriptions reconstrued these apparently structured referring expressions as quantified noun phrases. On the new theory, knowing the meaning of such expressions does not require acquaintance with a specific object, but rather a grasp of the truth-conditions of the sentences in which they occur.1 One might say that on the new theory, denoting is linked to object-independent truth-conditions, while referring is linked to object-dependent truth-conditions—a connection elaborated and extended by Kripke and Kaplan. This is the situation as Arthur Sullivan paints it in his new book, Reference and Structure in the Philosophy of Language: a Defense of the 1 Russell articulated the dichotomy in “Knowledge by Acquaintance and Knowledge by Description” (1911), ML, p. 226; Papers 6: 158. For Sullivan’s use of this passage, see his anthology, Logicism and the Philosophy of Language, pp. 79–80, and Reference and Structure in the Philosophy of Language, pp. 13–14, 137, 140 n.15. q= 68 Discussion c:\users\kenneth\documents\type3401\rj 3401 193 red.docx 2014-05-14 8:54 PM Russellian Orthodoxy (2013). In this work, Arthur Sullivan defends a stronger set of claims than the denoting /referring distinction might historically have entailed. Building on Neale’s sharp distinction between semantically unstructured rigid referring expressions and semantically structured restricted quantifiers,2 Sullivan takes it to be crucial that these categories are exhaustive and exclusive, so that all and only referring expressions are unstructured designators, and all and only denoting expressions are structured designators (p. 13). Adopting a distinction from Bach,3 Sullivan maintains that the semantic mechanism of referring designators is simply to conventionally relate the utterance of the designator to the designatum, and hence to express object-dependent propositions, while the semantic mechanism of denoting designators is satisfactional, expressing a compositional condition which may or may not be satisfied by any object and which thus expresses object-independent propositions (p. 11). In Part 1, Sullivan articulates the orthodox theory of reference in terms of these two exhaustive and exclusive categories of designator and the distinct, corresponding semantic mechanisms by which they designate. In Part 2, he provides arguments in favour of the orthodoxy. In Part 3, he deals with apparent counter -examples, reinterpreting complex demonstratives and referential uses of definite descriptions to bring them into conformity with the strict referringversus -denoting dichotomy. In Part 4, he offers a synopsis and some general conclusions. Importantly, in Part 2, Sullivan argues that semantic structure is a necessary but not sufficient condition of non-rigidity, that only denoting designnators are non-rigid, that all unstructured designators are rigid designators, and that the lack of semantic structure is necessary and sufficient for status as a referring expression. Contrary to the view which is now popular, Russell regarded ordinary proper names as... (shrink)

Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book (...) -- including the striking claim that fiction cannot provide a test for theories of reference and naming. In addition, these lectures provide a glimpse into the transition to the pragmatics of singular reference that dominated his influential paper, " Speaker's Reference and Semantic Reference " -- a paper that helped reorient linguistic and philosophical semantics. Some of the themes have been worked out in later writings by other philosophers -- many influenced by typescripts of the lectures in circulation -- but none have approached the careful, systematic treatment provided here. The virtuosity of Naming and Necessity -- the colloquial ease of the tone, the dazzling, on-the-spot formulations, the logical structure of the overall view gradually emerging over the course of the lectures -- is on display here as well. (shrink)

The article argues the thesis that institutions have aprima facieobligation to fund the feedback of individual findings in genomic research conducted on the African continent by drawing arguments from an underexplored Afro-communitarian view of distributive justice and rights of researchers to be aided. Whilst some studies have explored how institutions have a duty to support return as a form of ancillary care or additional foreseeable service in research by mostly appealing to dominant principles and theories in the Global North, this (...) mostlynormative studyexplores this question by appealing to underexplored African philosophy. This is a new way of thinking about institutional responsibility to fund feedback and responds to the call to decolonise health research in Africa. Further studies are required to study how thisprima facieobligation will interact with social contexts and an institution’s extant relationships to find an actual duty. The research community should also work out procedures, policies and governance structures to facilitate feedback. In our opinion, though the impacts of feeding back can inform how institutions think about their actual duty, these do not obliterate the binding duty to fund feedback. (shrink)

Since in Heyting Arithmetic all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical structures models of Peano Arithmetic ? And dually: if a collection of models of PA, partially ordered by the submodel relation, is regarded as a Kripke model, is it a model of HA? Some (...) partial answers to these questions were obtained in [6], [3], [1] and [2]. Here we present some results in the same direction, announced in [7]. In particular, it is proved that the classical structures at the nodes of a Kripke model of HA must be models of IΔ1 and that the relation between these classical structures must be that of a Δ1-elementary submodel. MSC: 03F30, 03F55. (shrink)

Les questions qui ont suscité le présent texte concernent la relation entre la théorie et le réel empirique: comment peut-on identifier le contenu empirique d'une théorie? Dans quelle mesure sa prétention à révéler le réel estelle justifiée? La première tâche que ces interrogations commandent est celle d'exposer les conceptions de la structure des théories scientifiques les plus marquantes de ce siècle. Dans cette période la philosophie des sciences a d'abord été dominée par l'empirisme logique et son approche formelle de la (...) structure des théories scientifiques. L'empirisme logique est certes un mouvement qui a eu une histoire mouvementée et qui a été le théâtre de nombreuses modifications, mais une de ses thèses les plus persistantes peut le caractériser de façon générale: sa représentation de la théorie sous la forme d'un système d'énoncés. Pour désigner cette position, nous utiliserons l'expression «conception assertive» comme traduction de statement view. L'approche sémantique est une conception plus récente de la structure de la théorie qui semble peu à peu vouloir prendre la place de la conception assertive. Nous décrirons donc dans un premier temps ces deux approches afin de déterminer chaque fois la fagon dont le rapport de la théorie au réel est envisagé. (shrink)

Je soutiens que Kripke n'a pas réussi à montrer que certains principes plausibles gouvernant l'attribution de croyances, tels que les principes de décitation et de traduction, pouvaient nous conduire à attribuer des croyances de dicto contradictoires à un sujet réfléchi et linguistiquement compétent sans présupposer une théorie descriptive des noms propres ou des termes désignant des espèces naturelles. Les cas décrits par Kripke se réduisent à des variantes du problème de Quine concernant les croyances de re ou à (...) des variantes du puzzle de Mates concernant l'intersubstiruabilité des synonymes dans les contextes de croyance.I claim that Kripke failed to show that certain plausible principles governing belief ascription, such as the disquotation and translation principles, could lead one to ascribe contradictory de dicto beliefs to a reflexive and linguistically competent agent without presupposing a descriptive theory of names or natural kind terms. Kripke's examples are nothing but variants either of Quine's problem about de re beliefs, or of Mates' puzzle concerning the interchangeability of synonyms in belief contexts. (shrink)

Some wag reported the following story: Scholars have recently established that the Iliad and the Odyssey were not, after all, written by Homer. They were actually written by another author, of the same name.The majority of current theories of naming and reference, including ones as divergent in other respects as those of Russell and Searle, would rule this story impossible. They would do so on roughly these grounds: the sense and reference of the name ‘Homer’ is determined, given the absence (...) of other reliable testimony, by the sole description: ‘Author of the Iliad and the Odyssey’. ‘Homer is the author of the Iliad and the Odyssey’ is therefore known a priori, hence necessarily true. There could not be another author of that name and claim to fame.In lectures delivered at Princeton in the Winter of 1970, Saul Kripke offered a lucid alternative to such theories. (shrink)

Según Kripke, las aproximaciones tradicionales acerca de la presuposición no funcionan en ciertos casos de oraciones compuestas porque habitualmente se ha considerado que las partes antecedentes de las mismas asignan presuposiciones a cada una de sus partes consecuentes por separado. Estoy de acuerdo con las críticas que Kripke dirige contra esta interpretación, pero defiendo la necesidad de tener en cuenta elementos y procesos pragmáticos a la hora de determinar el significado de las presuposiciones incluidas en dichas oraciones compuestas, (...) algo que podría solucionar ciertas dificultades que atañen a las aproximaciones puramente semánticas al problema de la proyección de la presuposición, como la de Kripke. (shrink)

This perspective article explores the use of digital twins (DTs) in medicine, highlighting its capacity to simulate risks and personalize treatments while examining the emerging bioethical concerns. Central concerns include power dynamics, exclusion, and misrepresentation. We propose adopting a relational bioethical approach that advocates for a comprehensive assessment of DTs in medicine, extending beyond individual interactions to consider broader structural relations and varying levels of access to power. This can be achieved through two key relational recommendations: acknowledging the impact of (...) uneven relational structures on access to medical care and promoting social justice by evaluating resource allocation. While DTs in medicine offer promising advancements, a relational bioethical lens may provide a nuanced understanding, fostering equitable, inclusive and responsible integration of DTs into medical practice. (shrink)

This paper offers an analysis of scientific creativity based on theoretical models and experimental results of the cognitive sciences. Its core idea is that scientific creativity - like other forms of creativity - is structured and constrained by prior ontological expectations. Analogies provide scientists with a powerful epistemic tool to overcome these constraints. While current research on analogies in scientific understanding focuses on near analogies - where target and source domain are close - we argue that distant analogies where target (...) and source domain differ widely are especially useful in periods of intense conceptual change. To argue this point, we discuss three case studies from the history of science: early physiologists like Harvey, early evolutionary biologists like Darwin, and recent theorists on the evolution of the human mind like Mithen. (shrink)

Thomas Kuhn's philosophy of science, which he developed by focusing on physics, was later applied by other authors to virtually all areas or disciplines of culture. What interests me here, however, is the movement in the opposite direction: the role that one of these disciplines, history of art, played in the conception of Kuhn'stheoryof science.In a 1969 article, his only published text concerning science and art, Kuhn makes a brief and intriguing observation about The Structure of Scientific Revolutions. He says (...) the book was a belated product of his discovery of the parallels between science and art. This is a retrospective assertion about Structure, as well as that of the... (shrink)

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics (...) define the same consequence relations for a given spi-logic. (shrink)

The purpose of this study is to analyse the structure of written argumentative texts produced by pupils in grades 3, 5, 7 and 11 in relation to three different tasks: Group A — subjects are assigned a topic question consisting of a single statement ; Group B — subjects are given a topic question consisting of both a statement and its opposite ; Group C — subjects are given an initial and a final sentence of a text, which they have (...) to complete, and which refers to opposite opinions . Six different types of text organization were evidenced on the basis of the argumentative moves presented in the texts, the linguistic indexes used to express the relationships between the moves, the presence or absence of counter-arguments and the type of argumentation or reasoning used. The organization of the texts range from a simple affirmation of a position to a use of data or reasons to support a position, to others still in which two positions are presented in the body of a unitary structure, developed ‘in parallel’ and interconnected regularly. Our analysis found a well-defined tendency corresponding to the age levels in the types of texts produced by the subjects. The texts produced by the younger group, the pupils in elementary school, contained a fairly simple structural organization, characterized by very few argumentations or a lack of explicitness of the essential moves and a juxtaposing of arguments. The older subjects, in particular those attending secondary school, were able to produce texts which were more complex with regard to the presence and the organization of the argumentative moves, and more coherent and cohesive with respect to their articulation of opinions and use of adequate linguistic indices to analyze t topic. As regards the different types of tasks, when the subjects were presented explicitly with two opposite opinions , they developed both positions in their responses, contrary to the situation in which they produced one position when only one of two opinions was presented. (shrink)

Qu’est-ce que l’un qui fait l’objet de la deuxième partie du Parménide? C’est-à-dire le long « exercice » que l’Éléate entreprend pour « muscler » le jeune Socrate? Cet article vise à montrer qu’une réponse attentive et articulée à cette question épineuse mais absolument centrale est en mesure de définir les traits principaux d’une lecture unitaire du Parménide de Platon, capable non seulement de raccorder de manière efficace les deux parties de l’œuvre mais aussi de rendre raison de la grandiose (...) complexité de la deuxième partie, à commencer par ce qu’on appelle traditionnellement la « deuxième hypothèse ». J’entends à cette fin montrer que l’un peut être assimilé à l’idée, comme de plus en plus de chercheurs semblent l’affirmer, mais tout en soulignant qu’il est aussi et à la fois le premier nombre, la monade, et l’être monadique que le Parménide historique décrit dans son poème. Ce qui en ressort est une conception de l’un qui, en plus de permettre l’unification de trois domaines d’étude apparemment différents, la mathématique, l’ontologie et la dialectique, est en mesure d’éclairer d’un jour nouveau notre compréhension de la notion d’idée, de sa genèse et des nombreuses difficultés qu’il fallait résoudre pour arriver à la perfectionner. (shrink)

Francisco de Aquino Júnior ,Yves Carrier | : L’article traite de l’actualité de la Théologie de la libération. Il débute par une explication du double sens de l’expression Théologie de la libération (praxis théologale — théorie théologique) et des « intuitions centrales » qui la caractérisent et la structurent intérieurement (primat de la praxis et de la perspective du pauvre et de l’opprimé). Ensuite, il confronte la problématique de l’actualité de cette théologie (présence, visibilité, importance, pertinence). Enfin, il aborde ce (...) que nous considérons comme ses défis les plus importants et les plus fondamentaux : partialité de Dieu pour les pauvres, foi comme réalisation de la volonté de Dieu, problématique des médiations, caractère théologal-prophétique des luttes populaires et relation entre théorie et praxis. | : This article deals with the current state of Liberation Theology. It begins with an explanation of the double meaning of the expression “Theology of Liberation” (theologal praxis — theological theory) and of the leading ideas which characterize and internally structure it (primacy of practice and a decision to view the world from the perspective of the poor and oppressed). It continues with a consideration of the current state of this theology (presence, visibility, importance and relevance). The article moves on to a consideration of the most important and fundamental challenges posed by this theological option : the partiality of God for the poor, faith understood as carrying out the will of God, the problem of means, the prophetic-theologal character of popular struggles and the relationship between theory and practice. (shrink)

Aristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined (...) functions that construct alpha-structures and ladders out of each other. In order to achieve this, we point out the crucial importance of imposing an ordering on the elements in the diagrams involved, and thus formulate all our results in terms of ordered versions of alpha-structures and ladders. These results shed interesting new light on the prospects of developing a systematic classification of Aristotelian diagrams, which is one of the main ongoing research efforts within logical geometry today. (shrink)

In this paper we intend to discuss the importance of providing a physical representation of quantum superpositions which goes beyond the mere reference to mathematical structures and measurement outcomes. This proposal goes in the opposite direction to the project present in orthodox contemporary philosophy of physics which attempts to “bridge the gap” between the quantum formalism and common sense “classical reality”—precluding, right from the start, the possibility of interpreting quantum superpositions through non-classical notions. We will argue that in order (...) to restate the problem of interpretation of quantum mechanics in truly ontological terms we require a radical revision of the problems and definitions addressed within the orthodox literature. On the one hand, we will discuss the need of providing a formal redefinition of superpositions which captures explicitly their contextual character. On the other hand, we will attempt to replace the focus on the measurement problem, which concentrates on the justification of measurement outcomes from “weird” superposed states, and introduce the superposition problem which focuses instead on the conceptual representation of superpositions themselves. In this respect, after presenting three necessary conditions for objective physical representation, we will provide arguments which show why the classical representation of physics faces severe difficulties to solve the superposition problem. Finally, we will also argue that, if we are willing to abandon the presupposition according to which ‘Actuality = Reality’, then there is plenty of room to construct a conceptual representation for quantum superpositions. (shrink)

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal (...) entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal Logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)