Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities (...) and the propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

Michael Ryan's Literary Theory: A Practical Introduction, Second Edition introduces students to the full range of contemporary approaches to the study of literature and culture, from Formalism, Structuralism, and Historicism to Ethnic Studies, Gender Studies, and Global English. Introduces readings from a variety of theoretical perspectives, on classic literary texts. Demonstrates how the varying perspectives on texts can lead to different interpretations of the same work. Contains an accessible account of different theoretical approaches An ideal resource for use in (...) introductory courses on literary theory and criticism. Designed to function both as a stand-alone text and a companion to Rivkin and Ryan’s Literary Theory: An Anthology, Second Edition. (shrink)

Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity (QG), where novel empirical data is lacking. One principle widely adopted in the search for QG is UV completion: the idea that a theory should (formally) hold up to all possible high energies. We argue---/contra/ standard scientific practice---that UV-completion is poorly-motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. (...) For this, we explore the reasons for expecting, or desiring, a UV-complete theory, as well as analyse how UV completion is used, and how it should be used, in various specific approaches to QG. (shrink)

We have ignored for a century that the incompleteness of Quantum Theory (QT) is inseparable from the incompleteness of Special Relativity (RT). In this article, I claim that the latter has been gravely incomplete vis à vis the former from 1927 until today. But completing RT in the light of QT is not as simple as merely postulating nonlocality and stochasticity as “elements of reality” (which is de facto done by most physicists and pragmatic philosophers); otherwise, RT would not (...) still be in a “peaceful” conflict with QT after a century. Vice versa, I contend that QT is incomplete vis à vis RT, though not for the reasons claimed in the iconic EPR paper. We then show how to complete the Ontology, Foundation, and Structure of both RT and QT and merge them into an internally consistent embracive theory I call QR/TOPI. This theory offers a more cogent and simpler avenue to integrate RT with QT than positing exotic causal structures like ‘retrocausality’, ‘future-input dependence’, ‘superdeterminism’ – not to mention the extravagant ‘Many-Worlds’, ‘Many-Minds’, ‘Parallel-Lives’, and other interpretations of QT like Many-Histories, QBism, etc. -/- QR/TOPI provides the “radical conceptual renewal” wished by John Bell so as to integrate probability and nonlocality into an upgraded RT and, reciprocally, to integrate Frame-Invariance into QT while at the same time, as demanded by 2022 Nobel laureate Anton Zeilinger, providing basic physical meaning to the resulting encompassing theory. The old outcast notion of absolute simultaneity is resurrected without any conflict with Einstein’s relative simultaneity, while Frame-Invariance is preserved via our Quantumlike Transformation (QLT), which is an extension of the Lorentz Transformation (LT): QLT includes what LT excludes: nonlocality. -/- Section 1 examines the philosophical foundations of Space and Time, focusing on RT, its plethora of empirical validations, and the tenets which make it incompatible with QT. Section 2 incorporates stochasticity into RT. Sections 3 through 5 gradually introduce QR/TOPI for mono-, bi-, and tri-quanton systems, with full consideration of Bell Theorem, nonlocality, teleportation, and their implications. Section 6 attempts to review the current status quo. Section 7 makes the case for the incompleteness of RT and QT. Section 8 explains how to complete and integrate both theories so as to formally develop QR/TOPI. Finally, in Section 9, via multiple experimental setups, I zero in on Zeilinger’s basic question: “what does this really mean in a basic way?”. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition (...) for granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

On the one hand, theories of modern physics are very successful in their areas of application. But on the other hand, the irreconcilability of General Relativity (GR) and Quantum Electrodynamics (QED) suggests that these theories of modern physics are not the final answer regarding the fundamental workings of the universe. This monograph takes the position that the key to advances in the foundations of physics lies in the hypothesis that massive systems made up of antimatter are repulsed by the gravitational (...) field of a body of ordinary matter: this hypothesis takes us to an uncharted territory where GR and QED do not hold up. From there the Elementary Process Theory (EPT) is developed: this is a collection of seven generalized process-physical principles that do hold up if the hypothesis is a fact of nature. Using four-dimensionalistic terminology, the EPT abstractly describes an elementary process in the temporal evolution of a massive system that interacts with its environment. The idea is that these elementary processes take place at Planck scale and are essentially all the same, regardless of the type of interaction that takes place: the EPT is thus intended as a candidate for a unifying scheme that applies to all four basic interactions. By mathematical modeling, the relation is explored between the EPT and classical mechanics, quantum mechanics, special relativity and GR. (shrink)

Various theories concerning how to speak positively about God have been proposed. One such theory, the theory of complete univocity, states that although the mode of existence between God and human beings is different, there are, in principle, ontological commonalities between God and humans in existence and His attributes. These ontological commonalities make it possible to attribute a single meaning to both God and human beings univocally. In this article, it is attempted to both explain and defend (...) the theory of complete univocity, while also critiquing the theory of partial univocity, a theory which believes solely in semantic univocity and ontologically assumes that God is absolutely different and separate from humans. Further, as the commonality of meaning between God and humans requires the existence of an ontological commonality between them, the theory of analogy is also not acceptable. Because, firstly, the denial of shared attributes between God and humans has many unsatisfactory theological implications. Secondly, there is no middle term between univocity and equivocality. Therefore, the only theologically defensible theory is that of complete univocity. (shrink)

This paper is part of a project that is based on the notion of a dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In Amidei et al. (2016, Rev. Symb. Logic, 9, 1–26) and Amidei et al. (2016, Rev. Symb. Logic, 9, 299–324), we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasi-dialectical systems, that enrich Magari’s systems with a natural mechanism (...) of revision. In the present paper we consider a third class of systems, that of p-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about p-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and q-dialectical systems coincide with respect to the completions that they can represent. Yet, p-dialectical systems are more powerful; we exhibit a p-dialectical system representing a completion of Peano Arithmetic that is neither dialectical nor q-dialectical. (shrink)

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of (...) all infinite sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

The claim defended in the paper is that the mechanistic account of explanation can easily embrace idealization in big-scale brain simulations, and that only causally relevant detail should be present in explanatory models. The claim is illustrated with two methodologically different models: Blue Brain, used for particular simulations of the cortical column in hybrid models, and Eliasmith’s SPAUN model that is both biologically realistic and able to explain eight different tasks. By drawing on the mechanistic theory of computational explanation, (...) I argue that large-scale simulations require that the explanandum phenomenon is identified; otherwise, the explanatory value of such explanations is difficult to establish, and testing the model empirically by comparing its behavior with the explanandum remains practically impossible. The completeness of the explanation, and hence of the explanatory value of the explanatory model, is to be assessed vis-à-vis the explanandum phenomenon, which is not to be conflated with raw observational data and may be idealized. I argue that idealizations, which include building models of a single phenomenon displayed by multi-functional mechanisms, lumping together multiple factors in a single causal variable, simplifying the causal structure of the mechanisms, and multi-model integration, are indispensable for complex systems such as brains; otherwise, the model may be as complex as the explanandum phenomenon, which would make it prone to so-called Bonini paradox. I conclude by enumerating dimensions of empirical validation of explanatory models according to new mechanism, which are given in a form of a “checklist” for a modeler. (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas (...) provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and (...) questions about their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Orthodox decision theory gives no advice to agents who hold two goods to be incommensurate in value because such agents will have incomplete preferences. According to standard treatments, rationality requires complete preferences, so such agents are irrational. Experience shows, however, that incomplete preferences are ubiquitous in ordinary life. In this paper, we aim to do two things: (1) show that there is a good case for revising decision theory so as to allow it to apply non-vacuously to (...) agents with incomplete preferences, and (2) to identify one substantive criterion that any such non-standard decision theory must obey. Our criterion, Competitiveness, is a weaker version of a dominance principle. Despite its modesty, Competitiveness is incompatible with prospectism, a recently developed decision theory for agents with incomplete preferences. We spend the final part of the paper showing why Competitiveness should be retained, and prospectism rejected. (shrink)

What is the nature of reality? The truth is that no academic anywhere in the world really knows the answer to this question. As long as this remains the case, one can exclude neither the possibility that parallel universes, spirit ontologies, or telepathy exist nor the possibility that reality could be a time-space transcending non-local awareness. Neither scientists nor scholars can, therefore, ever reject epistemologies based on any of these presumptions. Enlightenment-based rationalists and empiricists, however, did just that. The point (...) of departure of Roothaan’s deconstructionist environmental philosophy is, on the contrary, that since reality itself is unknown, the question of what nature remains undefined at best. Human relationships towards nature in various cultures and eras can then be perceived as the outcome of an ongoing negotiation. In this way, Roothaan aims to open up a space for intercultural philosophical and dialogical thinking about the contributions and limitations of various epistemologies that philosophers and others have used to discuss the relations to their environment. (shrink)

According to the sufficiency theory of justice in health, justice requires that people have equal access to adequate health. In this article, I lay out the structure of this view and I assess its distributive implications for setting priority (i) between health needs across persons and (ii) between health care spending and other societal goods. I argue, first, that according to the sufficiency theory, deficiency in health cannot be completely offset by providing other societal goods. And, second, that (...) it can prevent the medicalization of societies by stressing that improvements beyond the level of adequate health have relatively little weight, if any, from the standpoint of justice. (shrink)

A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model (...) of ‘possibilistic’ (Molinist) complete concepts. They ground middle knowledge within the very being of the agents themselves. Molinist Complete Concepts can thus serve to reject consequence-style arguments against Molinism. They also allow the Molinist to safeguard a robustly libertarian notion of the ability to do otherwise. (shrink)

In the present paper, these authors argue on actual reasons why Hilbert’s axiomatic program to unify gravitation theory and electromagnetism failed completely. An outline of plausible resolution of this problem is given here, based on: a) Gödel’s incompleteness theorem, b) Newton’s aether stream model. And in another paper we will present our calculation of receding Moon from Earth based on such a matter creation hypothesis. More experiments and observations are called to verify this new hypothesis, albeit it is inspired (...) from Newton’s theory himself. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

Robert Brandom claims that the theory of meaning he presents in Making It Explicit is expressively complete—i.e., it successfully applies to the language in which the theory of meaning is formulated. He also endorses a broadly Kripkean approach to the liar paradox. I show that these two commitments are incompatible, and I survey several options for resolving the problem.

Summary Giancarlo Trombini presents the continuation of his research on the question of which criteria can be used to assess the progress of therapy in an objectively verifiable way and to make the decision on the completion of therapy. In the first phase of his research, the phenomenological criterion of a qualitative change in the patient’s relations toward the positive and higher complexity was proposed for this purpose. In terms of the working method in analytic therapy, this meant concretely: attention (...) should be paid to what development is shown in the comparison of the relationships that occur in the dream narrative and in the subsequent associations. This criterion was therefore given the name manifest dream/association comparison (MDAC)—comparison between the manifest dream and the subsequent associations. The idea can easily be transferred to those therapy methods, which do not primarily work with reports of dream memories and subsequent associations—also, in other ways of working, it is possible to pay attention, in the way suggested by Trombini, to the qualitative development of the relationships which are thematized by the clients in the course of an hour. To this first criterion, another phenomenological criterion is now added in the present article: that of the “concluding therapeutic turn” (CTT). If the patient’s development reaches this turn in the course of the therapy in one session, this indicates, according to Trombini, that the therapy can soon be concluded. The fulfillment of this criterion can be recognized by the fact that in the sequence of dream narration and subsequent associations in a session, a relational dynamic toward the positive and higher complexity becomes recognizable and that is, at the same time, connected with a reconciliation of the three temporal reference systems (past, present, and future). The achievement of this CTT indicates that the patient is aware of the changes made in therapy and makes it evident to the therapist that the therapy is nearing completion. (shrink)

In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate for (...) a general theory of explanation due to its significant omissions of explanatory content and subsequent incompleteness. (4) I present arguments for the indispensable explanatory power of mathematics in science, noting that much of NME's failures are owed to its poor integration of mathematical explanation as applied to science. (5) I propose a Rational-Relational theory of explanation(“RRE”). I present RRE in detail and demonstrate it as a true working general theory of explanation which best meets the motivating criteria presented in (1). I disambiguate RRE from structural explanation ("SE"). I show that historical models of explanation, including the deductive nomological (DNE) model, statistical relevance ("SRE") model, structural model (SE) and unification model ("UE") may be successfully treated as sub-classes of explanation within the scope of RRE. I provide a rubric for selecting amongst sub-theories of explanation under RRE in the purpose of highlighting particular features of relational explanations. (6) In conclusion, I argue that philosophers of science should move forward using RRE as a general model of scientific explanation as a working alternative to the incomplete model of NME. (shrink)

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the four (...) classes of trees mentioned above. (shrink)

The book "Theory of Forms: The Construction of Plato and Aristotle’s Criticism" focuses on two main aspects, construction and criticism. The constriction of Forms theory is the basis on which Plato built all of his philosophy and which influenced all forms of ideas philosophy that emerged after Plato. The research topic was completed by adding Aristotle's critique of the theory of Forms in order to put a clear picture in front of the reader, which was presented by (...) Plato himself and Aristotle's criticism of this theory. -/- Therefore, the book consists four chapters, the first chapter covers the following topics; The philosophical roots of Plato's theory of Forms, The numbers in the Pythagorean school, The Heraclitus' idea of change, Anaxagoras’ idea of Mind, Sophists. Chapter two, Plato's theory of Forms. Definitions of the Forms. The importance of the Forms, The existential and logical significance, Evidence of Forms, Evidence that knowledge is remembering. Chapter Three, Forms and Levels of Knowledge, Dialectic ,Inferential knowledge, Mental knowledge The fourth chapter, The nature of the Forms existence and its being Causes. Forms as numbers and their relationship to movement. The problem of Participation. The final Evaluation of Forms. (shrink)

Philosophical debate about the meaning of normative terms has long been pulled in two directions by the apparently competing ideas: (i) ‘ought’s do not describe what is actually the case but rather prescribe possible action, thought, or feeling, (ii) all declarative sentences deserve the same general semantic treatment, e.g. in terms of compositionally specified truth conditions. In this paper, I pursue resolution of this tension by rehearsing the case for a relatively standard truth-conditionalist semantics for ‘ought’ conceived as a necessity (...) modal and proposing a revision to it motivated by the distinctively prescriptive character of some deontic modals. In my view, this puts pressure on a popular conception of one of the core debates of metanormative theory between realists and antirealists. To make good on this claim, I go on to explore two very general ways we might interpret the results of compositional semantics—“representationalism” and “inferentialism”—in order to argue that, contrary to what is generally assumed, both can capture the special prescriptivity of ‘ought’ and both can countenance compositionally specified and informative truth-conditions for ought-sentences. Hence, my main thesis is that the deciding factor between them should not be which of ideas (i) and (ii) we are more impressed by but rather what we think of the relative merits of how representationalism and inferentialism respect these ideas. I’m inclined to favor an antirealist form of inferentialism, but the task I’ve set myself here is mainly to articulate the view in the context of metanormative theory and the semantics of deontic modals rather than try to defend it fully. To this purpose, towards the end I also briefly compare and contrast inferentialism with a third “ideationalist” metasemantic view, which may be an attractive home for some sophisticated versions of metanormative expressivism. Depending on how expressivism is worked out, it may be completely compatible with and so perhaps usefully combined with inferentialism or it may offer a competing way to respect ideas (i) and (ii). (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of (...) reference or intentionality; it provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we (...) propose to tackle both syntactic and semantic underspecification using descriptions. (shrink)

This article serves as either an addendum or as an expansion of ideas and work developed in my 2024 book, The Rationality Project: Across the Millennia, issued by Palgrave Macmillan. The book explores 21 potential theories for explaining rationality in terms of why and how one among these can serve in the position of explanatory power. The book does not fully explain all of these candidate theories, assigning that complete role to this addendum or work-in-progress. The main reason for (...) this abbreviation in assessing all the theories in the book is that the complete coverage—which this addendum allows—of all 21 theories would become too detailed for some philosophical readers. This addendum; one may consider, is then for the more technically minded reader—although certainly not-too-technically minded readers are welcome to explore it. If it becomes too bogged in detail for those latter kinds of readers, they may end up skimming the material in this addendum, trying at least to get the general idea of how these addendum sections fit into the book's goals. (shrink)

In 1957, Feyerabend delivered a paper titled ‘On the Quantum-Theory of Measurement’ at the Colston Research Symposium in Bristol to sketch a completion of von Neumann's measurement scheme without collapse, using only unitary quantum dynamics and well-motivated statistical assumptions about macroscopic quantum systems. Feyerabend's paper has been recognised as an early contribution to quantum measurement, anticipating certain aspects of decoherence. Our paper reassesses the physical and philosophical content of Feyerabend's contribution, detailing the technical steps as well as its overall (...) philosophical motivations and consequences. Summarising our results, Feyerabend interpreted collapse as a positivist assumption in quantum mechanics leading to a strict distinction between the uninterpreted formalism of unitary evolution in quantum mechanics and the classically interpreted observational language describing post-measurement outcomes. Thus Feyerabend took the no-collapse completion of the von Neumann measurement scheme to show the dispensability of the positivist assumption, leading the way to a realistic interpretation of quantum theory. We note, however, that there are substantial problems with his account of measurement that bring into question its viability as a legitimate foil to the orthodox view. We further argue that his dissatisfaction with the von Neumann measurement scheme is indicative of early views on theoretical pluralism. (shrink)

Effective Field Theory (EFT) is the successful paradigm underlying modern theoretical physics, including the "Core Theory" of the Standard Model of particle physics plus Einstein's general relativity. I will argue that EFT grants us a unique insight: each EFT model comes with a built-in specification of its domain of applicability. Hence, once a model is tested within some domain (of energies and interaction strengths), we can be confident that it will continue to be accurate within that domain. Currently, (...) the Core Theory has been tested in regimes that include all of the energy scales relevant to the physics of everyday life (biology, chemistry, technology, etc.). Therefore, we have reason to be confident that the laws of physics underlying the phenomena of everyday life are completely known. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between (...) them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand (...) function of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

A new advanced systems theory concerning the emergent nature of the Social, Consciousness, and Life based on Mathematics and Physical Analogies is presented. This meta-theory concerns the distance between the emergent levels of these phenomena and their ultra-efficacious nature. The theory is based on the distinction between Systems and Meta-systems (organized Openscape environments). We first realize that we can understand the difference between the System and the Meta-system in terms of the relationship between a ‘Whole greater than (...) the sum of the parts’ and a ‘Whole less than the sum of its parts’, i.e., a whole full of holes (like a sponge) that provide niches for systems in the environment. Once we understand this distinction and clarify the nature of the unusual organization of the Meta-system, then it is possible to understand that there is a third possibility which is a whole exactly equal to the sum of its parts that is only supervenient like perfect numbers. In fact, there are three kinds of Special System corresponding to the perfect, amicable, and sociable aliquot numbers. These are all equal to the sum of their parts but with different degrees of differing and deferring in what Jacques Derrida calls “differance”. All other numbers are either excessive (systemic) or deficient (metasystemic) in this regard. The Special Systems are based on various mathematical analogies and some physical analogies. But the most important of the mathematical analogies are the hypercomplex algebras, which include the Complex Numbers, Quaternions, and Octonions, with the Sedenions corresponding to the Emergent Meta-system. However, other analogies are the Hopf fibrations between hyperspheres of various dimensions, nonorientable surfaces, soliton solutions, etc. These Special Systems have a long history within the tradition since they can be traced back to the imaginary cities of Plato. The Emergent Meta-system is a higher order global structure that includes the System with the three Special Systems as a cycle. An example of this from our tradition is in the Monadology of Gottfried Wilhelm von Leibniz. There is a conjunctive relationship between the System schema and the Special Systems that produce the Meta-system schema cycle. The Special Systems are a meta-model for the relationship between the emergent levels of Consciousness (Dissipative Ordering based on the theory of negative entropy of Prigogine), Living (Autopoietic Symbiotic based on the theory of Maturana and Varela), and Social (Reflexive based on the theory of John O’Malley and Barry Sandywell). These different special systems are related to the various existenitals identified by Martin Heidegger in Being and Time and various temporal reference frames identified by Richard M. Pico. We also relate the special systems to morphodynamic and teleodynamic systems of Terrence Deacon in Incomplete Nature to which we add sociodynamic systems to complete the series of Special Systems. (shrink)

Instead of postulated fixed structures and abstract principles of usual positivistic science, the unreduced diversity of living world reality is consistently derived as dynamically emerging results of unreduced interaction process development, starting from its simplest configuration of two coupled homogeneous protofields. The dynamically multivalued, or complex and intrinsically chaotic, nature of these real interaction results extends dramatically the artificially reduced, dynamically single-valued projection of standard theory and solves its stagnating old and accumulating new problems, “mysteries” and “paradoxes” within the (...) unified and causally complete picture of intrinsically evolving, dynamically complex reality. The permanently unfolding complexity progress thus revealed is fundamentally unlimited and does not need to stop at the directly observed diversity of usual matter complexity. The exciting, but rigorously substantiated and objectively inevitable prospects of further civilisation complexity development towards its superior levels of genuine sustainability and global Noosphere are outlined, with practically important conclusions for today’s critical problem solution. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown (...) to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

The paper addresses the formation of striking patterns within originally near-homogenous tissue, the process prototypical for embryology, and represented in particularly purist form by cut sections of hydra regenerating, by internal reorganisation of the pre-existing tissue, a complete animal with head and foot. The essential requirements are autocatalytic, self-enhancing activation, combined with inhibitory or depletion effects of wider range – “lateral inhibition”. Not only de-novo-pattern formation, but also well known, striking features of developmental regulation such as induction, inhibition, and (...) proportion regulation can be explained on this basis. The theory provides a mathematical recipe for the construction of molecular models with criteria for the necessary non-linear interactions. It has since been widely applied to different developmental processes. (shrink)

In this paper, I explore several versions of the bundle theory and the substratum theory and compare them, with the surprising result that it seems to be true that they are equivalent (in a sense of 'equivalent' to be specified). In order to see whether this is correct or not, I go through several steps : first, I examine different versions of the bundle theory with tropes and compare them to the substratum theory with tropes by (...) going through various standard objections and arguing for a tu quoque in all cases. Emphasizing the theoretical role of the substratum and of the relation of compresence, I defend the claim that these views are equivalent for all theoretical purposes. I then examine two different versions of the bundle theory with universals, and show that one of them is, here again, equivalent to the substratum theory with universals, by examining how both views face the famous objection from Identity of Indiscernibles in a completely parallel way. It is only the second, quite extreme and puzzling, version of the bundle theory with universals that is not be equivalent to any other view; and the diagnosis of why this is so will show just how unpalatable the view is. Similarly, only a not-so-palatable version of the substratum theory is genuinely different from the other views; and here again it's precisely what makes it different that makes it less appealing. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

This paper provides a brief introduction to quantum theory and the proceeds to discuss the different ways in which the relationship between quantum theory and mind/consciousness is seen in some of the main alternative interpretations of quantum theory namely by Bohr; von Neumann; Penrose: Everett; and Bohm and Hiley. It briefly considers how qualia might be explained in a quantum framework, and makes a connection to research on quantum biology, quantum cognition and quantum computation. The paper notes (...) that it is widely agreed that conscious experience has dynamical and holistic features. It asks whether these features might in some way be a reflection of the dynamic and holistic quantum physical processes associated with the brain that may underlie (and make possible) the more mechanistic neurophysiological processes that contemporary cognitive neuroscience is measuring. If so, these macroscopic processes would be a kind of shadow, or amplification of the results of quantum processes at a deeper (pre-spatial or "implicate") level where our minds and conscious experience essentially live and unfold. The macroscopic, mechanistic level is of course necessary for communication, cognition and life as we know it, including science; but perhaps the experiencing (consciousness) of that world and the initiation of our actions takes place at a more subtle, non-mechanical level of the physical world, which quantum theory has begun to discover. At the very least a quantum perspective will help a “classical” consciousness theorist to become better aware of some of the hidden assumptions in his or her approach. Given that consciousness is widely thought to be a “hard” problem, its solution may well require us to question and revise some of our assumptions that now seem to us completely obvious. This is what quantum theory is all about – learning, on the basis of scientific experiments, to question the “obvious” truths about the nature of the physical world and to come up with more coherent alternatives. (shrink)

Attempting to compare scientific theories requires a philosophical model of meaning. Yet different scientific theories have at times—particularly in early chemistry—pre-supposed disparate theories of meaning. When two theories of meaning are incommensurable, we must say that the scientific theories that rely upon them are meta-incommensurable. Meta- incommensurability is a more profound sceptical threat to science since, unlike first-order incommensurability, it implies complete incomparability.

We will argue here, that one of the salient messages of standard quantum formalism implies a failure of Classical Theory of Knowledge (hereafter CTK) which is primarily based on the presumption that, our knowledge is predetermined by Nature. This failure provides pointers against the classically held ontological definiteness of future. Quantum formalism admits interpretation , that suggests, that there is no such thing as ‘universal global present’ in the sense of being able to confirm a complete set of (...) facts of matter about it, unless this is coupled with a specific observation recipe. (shrink)

Sir Roger Penrose and prof. Stuart Hameroff had substantiated a theory that a human brain performs quantum computations. Logically, a question comes what information does then the brain compute and what is the result of such a quantum computing? To answer this, it is tempting to exploit isomorphism between complex hermitian 2 × 2 matrices and R4, more specifically a real vector representation of qubit states. P Arrighi proposed that "qubit states may be viewed as spatio-temporal objects, or indeed (...) as four-vectors of a Minkowski space-time." Under Orch OR theory assumptions, a very large number of entangled qubits is involved in a massive and highly complex computing task. What does this gigantic quantum computing machinery produce as the final outcome of its coordinated computations? The answer is obvious - it is the physical world as we see it, or the so called an external, to the human brain, reality (Minkowski space). Accordingly, underlying Orch OR brain computing concept is a mathematical connection between a qubit (qm) and relativity (Minkowski space). It is a connection between our mind, or the consciousness, and a physical reality the way we see it as the result of quantum computations of our brain. Does this mean that a physical reality as we see it, is being internally quantum computed and represented to us as a Minkowski space? That is, can a physical classical world be viewed as the result of our internal measurement leading to collapse of the quantum computed wave function? This abstract omits this question as irrelevant to the subject matter of a paper. The most important question is the aforementioned mathematical connection between quantum mechanics and relativity, it is a foundation which proves that Orch OR theory is correct. I propose that enormous quantum computing power in human brain does produce the Minkowski space, a representation of the physical reality. Mathematically, it is done by integrating, or encoding, the information about external physical world, into a qubit wave function vectors. I believe that probability distribution functions of pairs of fermions and bosons serve as the hidden variables encoding information about external world, into a qubit wave function vectors. They are hidden for two reasons. First is that these variables are not obvious as an intrinsic part of a qubit equation defining human brain quantum computing. Traditional way of thinking does not easily accommodate these variables into a qubit equation. The second reason they are hidden is because Einstein was desperately looking for them to make quantum mechanics complete. Simply, Sir Roger Penrose and prof. Stuart Hameroff had made a breakthrough that will have a very far reaching implications, including but not limited to Einstein hidden variables discovery. Quantum mechanics and relativity can be easily unified should indeed these variables be encoded into qubit as the carriers of information of the classical physical world. (shrink)

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

Since 2019, I have been accompanying the development of the Mindsponge Theory (MT). In 2023, the book Mindsponge Theory was officially published, marking a significant milestone. During this period, I completed my doctoral research and explored new methods to enhance work efficiency. The journey was filled with challenges. Surprisingly, the difficulties arose from concepts that seemed small and basic, almost taken for granted as "already known." I was entrusted by my co-author—the father of the mindsponge mechanism—with the task (...) of further developing the theory. He was not satisfied with what seemed like the final form, encapsulating Mindsponge theory as an information mechanism of biological systems. This was a significant challenge because the next form could only be approached using scientific information from quantum physics, as predicted by Erwin Schrödinger. Indeed, our exploration traversed many realms of physics and information. This journey was greatly supported by books like Reality Is Not What It Seems by Rovelli and On the Origin of Time by Hertog, along with Shannon's principles of information theory. The more valuable information we gathered, the more we realized the vast contributions left by countless brilliant minds, highlighting our own limitations. I was driven by a seemingly simple yet profoundly challenging question: • What is value? What approach is needed to reach its deepest essence? (shrink)

A very influential idea in the epistemology of modality is that we acquire knowledge of metaphysical modality through knowledge of essence. As a consequence, the epistemology of essence becomes crucial in the attempt to answer the question of how we come to know modal propositions. In this paper I investigate Lowe’s and Hale’s approach to the epistemology of essence and argue that both of them remain in a crucial, structural sense incomplete. Systematizing this criticism against Lowe and Hale, I then (...) break down desiderata of what I call a structurally complete picture of the epistemology of essence. Finally, I discuss Husserl’s epistemology of essence and defend it against a notorious objection. However, Husserl’s approach also seems to remain incomplete, due to its appeal to imagination, which operates on the basis of background assumptions that are themselves in need of justification. I indicate, however, that a Husserlian theory of intuitive awareness of universals might supply us with (direct) justification of these background assumptions and, hence, that we might be able to paint a structurally complete picture of the epistemology of essence with Husserlian means. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close (...) of the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + (...) A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

The importation of Lacanian psychoanalysis into film theory in the 1970s and 1980s ushered in a new era of cinema scholarship and criticism. Figures including Raymond Bellour, Laura Mulvey, and Christian Metz are often considered the pioneers of applying Lacanian psychoanalysis in the context of film theory, most notably through their writings in Screen Journal. However, where French and British scholarship on Lacan and film reached its limits, American Lacanianism flourished. When Joan Copjec’s now classic essay “The Orthopsychic (...) Subject: Film Theory and the Reception of Lacan” was published in 1989, the trajectory of Lacanian film theory would become radically altered; as Todd McGowan recently put it, the “butchered operation” on Lacan committed by Mulvey and (quoting Copjec) the “Foucaultianization” of Lacan under the auspices of Screen Journal were finally indicted in one gesture through Copjec’s critique. Copjec and McGowan’s unique American view of Lacan marks a pivotal point in the convergence of psychoanalytic theory and cinema studies; by seeking to wrest Lacan from historist/deconstructionist theories of the subject, and by revisiting Lacan beyond the mirror stage, Copjec and McGowan can be said to have instantiated a resuscitation or even a renaissance of Lacanian theory in film studies in particular and in American scholarship more generally. In this essay, this renaissance of Lacanian theory is examined, focusing on the innovations these two American thinkers brought to psychoanalytic film theory and the multiple paths carved out into other disciplines that followed. First, a detailed summation of the contentions between screen theory and Copjec’s position is introduced, as well as McGowan’s assessment thereof. Then, the trajectory of psychoanalytic film theory after Copjec’s arrival is the focus, including the major innovations in her thought from cinematic subjectivity to sexual difference (most notably from Read My Desire) and the way her position spread to philosophy and ontology. Finally, the article identifies the limitations of Copjec’s and McGowan’s thought and seeks new possibilities through which we may continue to apply psychoanalysis to the cinema in the wake of these two important thinkers. L’importation de la psychanalyse lacanienne dans la théorie du film au cours des années 1970 et 1980 a apporté une nouvelle ère de recherche et de critique cinématographiques. Des figures comme Raymond Bellour, Laura Mulvey et Christian Metz sont souvent considérées comme étant les pionniers dans l’application de la psychanalyse lacanienne au contexte de la théorie du film, surtout dans leurs écrits pour le Screen Journal. Par contre, là où les recherches françaises et britanniques sur Lacan et la cinématographie ont atteint leurs limites, le lacanisme américain a prospéré. La publication en 1989 de « The Orthopsychic Subject: Film Theory and the Reception of Lacan », l’essai classique de Joan Copjec, a complètement changé la trajectoire de la théorie lacanienne du film; comme Todd McGowan l’a récemment exprimé, « l’opération massacrée » commise sur Lacan par Mulvey et (citant Copjec) la « Foucaultisation » de Lacan sous les auspices de Screen Journal avaient finalement été accusées d’un seul coup par la critique de Copjec. Le point de vue uniquement américain de Copjec et de McGowan sur Lacan marque un tournant dans la convergence de la théorie psychanalytique et des études cinématographiques. En cherchant à arracher Lacan des théories historicistes/déconstructivistes du sujet, et en revisitant Lacan au-delà du stade du miroir, Copjec et McGowan ont instancié une ressuscitation, voire une renaissance, de la théorie lacanienne dans les études cinématographiques en particulier et dans les études américaines en général. Dans cet article, cette renaissance de la théorie lacanienne est examinée, mettant l’accent sur les innovations que ces deux penseurs américains ont apportées à la théorie psychanalytique du film et les multiples chemins tracés dans d’autres disciplines subséquentes. Premièrement, un résumé détaillé des différends entre la théorie du film et la position de Copjec est présenté, ainsi que l’évaluation de McGowan à ce sujet. Puis, la trajectoire de la théorie psychanalytique du film après l’arrivée de Copjec est mise de l’avant, notamment les innovations importantes de sa pensée de la subjectivité à la différence sexuelle (particulièrement dans Read My Desire) et la manière dont sa position s’est propagée dans la philosophie et l’ontologie. Finalement, l’article identifie les limites de la pensée de Copjec et de McGowan et cherche de nouvelles possibilités à travers lesquelles nous pourrions continuer d’appliquer la psychanalyse au cinéma après ces deux grands penseurs. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...) Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)