Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial (...) identity is symmetric. Armstrong's standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

In this paper I explore the logical relationship between the question of the reality of qualia and the problem of universals. I argue that nominalism is inconsistent with the existence of qualia, and that realism either implies or makes plausible the existence of qualia. Thus, one's position on the existence of qualia is strongly constrained by one's answer to the problem of universals.

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only (...) presents a more nuanced ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for. (shrink)

One of the most important difficulties facing Kant’s Formula of Universal Law (FUL) is its apparent inability to show that it is always impermissible to kill others for the sake of convenience. This difficulty has led current Kantian ethicists to de-emphasize the FUL or at least complement it with other Kantian principles when dealing with murder. The difficulty stems from the fact that the maxim of convenience killing fails to generate a ‘contradiction in conception’, producing only a ‘contradiction in the (...) will’ when subjected to the two-fold test associated with the FUL. This result is thought to imply that the FUL allows us sometimes to kill for the sake of convenience. In this essay, I argue that the very diagnosis of the problem rests on a mistake, and that if the maxim of convenience killing generates a contradiction in the will, then acting on it is never permissible. (shrink)

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

Nell'alto medioevo vi erano tre possibilità per il filosofo che volesse difendere l'esistenza degli universali: in primo luogo ante rem, seguendo la linea platonico-agostiniana degli universali trascendenti e questa è la via teologica; in secondo luogo la via post rem, cioè la via del concettualismo, conosciuta oggi come astrattismo, per cui gli universali sono il prodotto dell'astrazione della mente e questa è una via logica; la terza via è quella in re e difende gli universali immanenti che esistono negli universali (...) ed è una risposta ontologica. La seconda via fu difesa da Boezio nel secondo commento a Porfirio. La prima teoria è stata generalmente accettata da tutti i filosofi dell'alto medioevo eccetto Abelardo, mentre la terza via, quella degli universali immanenti, che ha come fonti antiche l'Isagoge di Porfirio e le Categoriae di Aristotele, fu difesa principalmente da quattro autori: Giovanni Scoto Eriugena, Anselmo d'Aosta, Odone di Cambrai e Guglielmo di Champeaux. L'A. prende in esame e confronta le soluzioni di Anselmo di Canterbury e Odone di Cambrai. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

The philosophical problem of universals is traditionally framed as the problem about the ontological status of universals. It is often said that the ontological status of universals is a post-Aristotelian problem that was bequeathed to the Middle Ages by a famous sentence in Porphyry's Isagoge. 1 Porphyry raises but then refuses to answer three questions about the ontological status of genera and species, saying that they are too "deep" for the present investigation. 2 Although (...) Porphyry is the first to announce the problem, it was Boethius's commentary on Porphyry, rather than the Isagoge itself, that made this sentence famous and that is therefore responsible for the problem of universals in .. (shrink)

One of the recurring themes in Čapek’s play is the existential question of whether the reductionist materialist worldview – the belief that we can fully explain the world, including ourselves, in terms of nothing but physical processes – can accommodate all that is essential to the human being. The materialist worldview triumphed with the scientific revolution, which in turn laid the foundations for the military-industrial complex. This historical shift is represented in the play by the business-minded young Rossum inheriting the (...) bio-engineering methodology from the mad scientist old Rossum. A key difference between the two is that old Rossum’s materialist stance is an ideological commitment, whereas for young Rossum working within a materialist framework is more a matter of convenience: for him it is sufficient for most practical purposes to replicate the machine-like aspects of a person. Where does this leave the soul, or what we today might prefer to call consciousness? The question of whether human nature goes beyond its physical aspects, and whether these subjective aspects can also be artificially replicated, is extremely challenging to address in scientific theory and practice –100 years ago as much as now. (shrink)

Searle proposes an argument in order to prove the existence of universals and thereby solve the problem of universals: From every meaningful general term P(x) follows a tautology Vx[P(x) v -P(x)], which entails the existence of the corresponding universal P. To be convincing, this argument for existence must be valid, it must presume true premises and it must be free of any informal fallacy. First, the validity of the argument for existence in its non-modal interpretation will be (...) proven with the help of the formal deductive system F. Secondly, it will be shown that a self-contradictory tautology concept is employed, which renders the premises meaningless. Consequently, the inconsistency will be emended through redefinition and the argument's ensuing correctness will be demonstrated. Finally, it will be shown that the argument for existence presupposes the existence of universals in its premise and hence begs the question. (shrink)

To provide metaphysical grounds for the physics of her time, Du Châtelet argued for the notion of an active force. This was different from the impressed force in Newton’s second law. The former force was a property of a body, whereas the latter was an external cause. I shall study this discrepancy and argue that the interactive concept of force in Newton’s third law is consistent with Du Châtelet’s standards for an intelligible physics. Consequently, the interaction entailed by the law (...) of universal gravitation complies with Du Châtelet’s principles of human knowledge. (shrink)

Problem of Axiological Legitimization of the Universal System of the Protection of Human Rights Summary In this paper it is argued that legitimization of the universal system (UN-system) of the protection of human rights depends primary not from the content of values recognised as fundamental but rather from metaaxiological solutions related to the way of existence and to the possibility of cognition of these values. Legitimisation is based on the recognition of an objective nature and of cognoscibility of basic (...) values. Realisation of the primary aim of this paper is linked to the problem of different meanings of the notion of universality, used in the context of the universal system of the protection of human rights. First, descriptive and normative (prescriptive) meanings have to be distinguished. In the case of normative sense, there are moral and legal meanings of “universality”. An axiological justification of the universality of human rights in the legal sense leads to the legitimisation of the universal system. It is shown that modifications of – broadly accepted in the Polish theory of law – definitions of an axiological justification of legal norms are needed. These definitions base such a justification on the valuations made by particular groups of subjects. It is argued that it is much more convenient to refer to valuations understood as meanings of sentences of certain kind. -/- Streszczenie W artykule zmierza się do uzasadnienia tezy, że legitymizacja uniwersalnego systemu ochrony praw człowieka jest oparta nie tyle na treści wartości uznawanych w tym systemie, ale na uznanych w nich rozstrzygnięciach metaaksjologicznych, dotyczących tego, jak istnieją wartości podstawowe dla tego systemu i czy są one poznawalne. Walor legitymizacyjny posiada przede wszystkim uznanie obiektywnego charakteru tych wartości i ich poznawalności (uznanie kognitywizmu aksjologicznego). Realizacja zasadniczego celu zakłada uporządkowanie podstawowych pojęć dotyczących problematyki powszechności praw człowieka – termin „powszechność” stosowany w odniesieniu do praw człowieka w kontekście uniwersalnego systemu ochrony ma wiele znaczeń. Przede wszystkim odróżnić trzeba powszechność w aspekcie opisowym i w aspekcie normatywnym. W przypadku powszechności w aspekcie normatywnym w grę może wchodzić powszechność w sensie ideowym (moralnym) i powszechność w sensie pozytywnoprawnym. Uzasadnienie tej ostatniej jest też uzasadnieniem poszukiwanej tu legitymizacji uniwersalnego systemu ochrony praw człowieka. Prowadzone analizy prowadza także do sformułowania postulatów dotyczących sposobu definiowania uzasadnienia aksjologicznego norm prawnych. Modyfikacji wymagają powszechnie przyjmowane w polskiej teorii prawa definicje relatywizujące takie uzasadnienie do ocen przyjmowanych przez konkretne podmioty oceniające lub ich grupy. (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)

The Perennial Philosophy centres around what is said to be a recurring mystical insight: that our inherent nature is actually pure, unconditioned consciousness, identical to the ground of all being. Perennial Idealism, the name I give to a metaphysical system I have been building, extrapolates from the Perennial Philosophy to explain how the world could be configured if it were in fact true. Among the most serious challenges faced is that of articulating and defending the very notion that our world (...) is grounded in universal consciousness. This chapter further develops a line of reply to what I think are four major objections to the idea that universal consciousness grounds all being. I call these the Thales Objection, the Problem of the One and the Many, the Self-defeating Objection, and the Power Challenge. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs (...) are bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

The aim of the article is to show how the use of diagnostic methods allows identifying patterns and problems of corporations functioning, providing identification of directions and strategies for further development of their business. Theoretical and methodological basis of the research is a scientific works of scientists in the field of business diagnostics and strategic development, who studied diagnostics in the system of responding to business development problems, identifying areas for improving strategic management, financial statements of corporations of Daimler Group (...) (Germany), Tesla Motors (USA) and Toyota Motor (Japan) and own research results. The methodological basis of the study is a set of general and special methods used to achieve the goal of the research and includes: theoretical generalization and synthesis – in analyzing the content of scientific works on business diagnostics and strategic management; observation – to obtain primary information about the state of business of automotive companies in the world; indicator and integrated assessment – to assess the state of business and the effectiveness of strategic management of automotive corporations; information and logical analysis – when determining the issues and patterns of business development of corporations; problem-target method – to justify the choice of business development strategies; causation-result method – to obtain definitive conclusions. The results of the study of the state of business of the world's leading automotive corporations revealed the dependence of business efficiency on the degree of efficiency of strategic management of their activities, and identified types of strategies that will promote further development of automotive corporations – integrated, concentrated, diversified or globalized growth. The practical significance of the obtained results lies in their usefulness for strategic management for Daimler Group, Tesla Motors, Toyota Motor Corporation. (shrink)

Is it possible to know anything about life we have not yet encountered? We know of only one example of life: our own. Given this, many scientists are inclined to doubt that any principles of Earth’s biology will generalize to other worlds in which life might exist. Let’s call this the “N = 1 problem.” By comparison, we expect the principles of geometry, mechanics, and chemistry would generalize. Interestingly, each of these has predictable consequences when applied to biology. The (...) surface-to-volume property of geometry, for example, limits the size of unassisted cells in a given medium. This effect is real, precise, universal, and predictive. Furthermore, there are basic problems all life must solve if it is to persist, such as resistance to radiation, faithful inheritance, and energy regulation. If these universal problems have a limited set of possible solutions, some common outcomes must consistently emerge. In this chapter, I discuss the N = 1 problem, its implications, and my response (Mariscal 2014). I hold that our current knowledge of biology can justify believing certain generalizations as holding for life anywhere. Life on Earth may be our only example of life, but this is only a reason to be cautious in our approach to life in the universe, not a reason to give up altogether. In my account, a candidate biological generalization is assessed by the assumptions it makes. A claim is accepted only if its justification includes principles of evolution, but no contingent facts of life on Earth. (shrink)

The scope of Platonism is extended by introducing the concept of a “Platonic computer” which is incorporated in metacomputics. The theoretical framework of metacomputics postulates that a Platonic computer exists in the realm of Forms and is made by, of, with, and from metaconsciousness. Metaconsciousness is defined as the “power to conceive, to perceive, and to be self-aware” and is the formless, con-tentless infinite potentiality. Metacomputics models how metaconsciousness generates the perceived actualities including abstract entities and physical and nonphysical realities. (...) It is postulated that this is achieved via digital computation using the Platonic computer. The introduction of a Platonic computer into the realm of Forms thus bridges the “inverse explanatory gap” and therefore solves the “inverse hard problem of consciousness” in the philosophy of mind. (shrink)

The article "Philosophy is the unborn child of science: in search of a universal commonly used language" explores the problem of creating a universal philosophical language that includes not only the language of classification concepts of natural language that define people's reasoning thinking, but also the language of comparative concepts, which is the basis their mind and wisdom. At the same time, the author divides comparative concepts into two parts, the first of which is determined by particular concepts – (...) concepts of practical mind peculiar to natural and exact sciences, while the second part is determined by extremely general concepts – categories of pure mind, which were supposed to become the beginnings of philosophy as a verifiable rigorous science. Along with the majority of thinking people, the author sees that as a cumulative rigorous science, philosophy has not taken place, and therefore considers it an unborn child of science. In this regard, he analyzes various philosophical traditions and comes to the conclusion that "everything is known in comparison." Therefore, the basis of a language that would facilitate effective communication between different philosophical directions, as well as between natural and humanitarian disciplines, can only be the language of comparative concepts. As a result of using the four types of opposition identified by Aristotle as the principles of philosophy: "contradictory", "correlated", "opposite", "deprivation and possession", the author built a philosophical Matrix from which he approaches the creation of such a universal language. At the same time, the Matrix includes other more complex comparative concepts than those of Aristotle – concepts of pure mind found by the author in the teachings of outstanding thinkers of the past: Lao Tzu, Pythagoras, Heraclitus and K. Marx, but today misunderstood or forgotten. The comparative concepts returned from oblivion, in the author's opinion, represent a valuable contribution to many areas of philosophy and linguistics, and can be useful for philosophers, psychologists, educators, linguists and anyone interested in the problem of language in philosophy and their undeniable role in the development of mind and wisdom. (shrink)

The paper addresses the problem, which quantum mechanics resolves in fact. Its viewpoint suggests that the crucial link of time and its course is omitted in understanding the problem. The common interpretation underlain by the history of quantum mechanics sees discreteness only on the Plank scale, which is transformed into continuity and even smoothness on the macroscopic scale. That approach is fraught with a series of seeming paradoxes. It suggests that the present mathematical formalism of quantum mechanics is (...) only partly relevant to its problem, which is ostensibly known. The paper accepts just the opposite: The mathematical solution is absolute relevant and serves as an axiomatic base, from which the real and yet hidden problem is deduced. Wave-particle duality, Hilbert space, both probabilistic and many-worlds interpretations of quantum mechanics, quantum information, and the Schrödinger equation are included in that base. The Schrödinger equation is understood as a generalization of the law of energy conservation to past, present, and future moments of time. The deduced real problem of quantum mechanics is: “What is the universal law describing the course of time in any physical change therefore including any mechanical motion?”. (shrink)

We review the recently proposed universal concept of dynamic complexity and its new mathematics based on the unreduced interaction problem solution. We then consider its progress-bringing applications at various levels of complex world dynamics, including complex-dynamical nanometal physics and living condensed matter, unreduced nanobiosystem dynamics and the integral medicine concept, causally complete management of complex economical and social dynamics, and the ensuing concept of truly sustainable world governance.

The problem of free will has persistently resisted a solution throughout centuries. There is reason to believe that new elements need to be introduced into the analysis in order to make progress. In the present physicalist approach, these elements are emergence and information theory in relation to universal limits set by quantum physics. Furthermore the common, but vague, characterization of free will as "being able to act differently" is, in the spirit of Carnap, rephrased into an explicatum more suitable (...) for formal analysis. It is argued that the mind is an ontologically open system; a causal high-level system, the future of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will is subsequently outlined. (shrink)

The drive for human connection and to discover one’s identity is not limited to the online world: It is a universal human need that we all share. It is crucial to understand that problems we typically attribute to gaming platforms (like self-radicalisation) are not special tech problems or gaming problems. They can and do happen offline as well. What we are dealing with is essentially a human problem that so happens to occur on technological platforms.

Husserl presents a scheme of his philosophy of physics in paragraphs 40 to 52 of treatise Ideas1, relying on the foundations of the idea of transcendental phenomenology. The main pillar of his theory is the discussion of the nature and existence of unobservable and theoretical entities in mathematical physics. He expands his opinion while rejecting and violating two theories of primary-secondary qualities and critical realism and tries to propose an alternative model. In this article, I will first reread the clear (...) and explicit aspect of Husserl's theory about unobservable entities by referring to the text of Ideas1, then by proposing an epistemological framework based on transcendental phenomenology, I will try to complete and reconstruct the ambiguous and controversial aspects of Husserl's theory. In this regard, I will argue that theoretical entities in physics have a "Universal" status, and therefore the discussion of what they are should be done using the doctrine of categorial intuition. In the following, while paying attention to the two ways of realizing universals in Husserl's view (Platonic and Kantian) and emphasizing the role of a ‘primary imaginary given’ in the constitution of universals, I will consider theoretical entities as universals in the Kantian sense and I will give evaluate the advantages and limitations of this interpretation. (shrink)

Each well-known proposed solution to the mind-body problem encounters an impasse. These take the form of an explanatory gap, such as the one between mental and physical, or between micro-subjects and macro-subject. The dialectical pressure to bridge these gaps is generating positions in which consciousness is becoming increasingly foundational. The most recent of these, cosmopsychism, typically casts the entire cosmos as a perspectival subject whose mind grounds those of more limited subjects like ourselves. I review the dialectic from materialism (...) and dualism through to panpsychism, suggesting that explanatory gaps in the latter stem from assuming foundational consciousness to be perspectival. Its renunciation may yield the notion of an aperspectival, universal, “non-dual” consciousness that grounds all manifestation and is unstructured by subject, object or any differentia. Not only is such consciousness suggestive of a natural successor to cosmopsychism, but it has also been reported to be the direct experience of mystics who claim to have transcended the individual perspective. Their purported insight — that our aperspectival conscious nature is identical to the ground of all being — has been termed “the Perennial Philosophy”. Believing this Perennial Philosophy to offer the most promising way forward in the mind-body problem, I construct from it the foundations of a metaphysical system that I call “Perennial Idealism”. This attempts to account for manifestation in terms of dispositional, imagery-bound subjects. I then address an age-old “Parmenidean” conundrum that I refer to as “the problem of the one and the many”: How can an undifferentiated substratum ground differentia without the ground itself differentiating? The proposed solution takes its cue from mystico-philosophical writings in the Advaita Vedānta tradition, known as the ajāta doctrine. (shrink)

This Paper addresses the problem of statelessness, a problem which remains despite treaties and judicial decisions elaborating distinct rules to protect stateless persons. I explain why this has been so. Drawing from the work of Bernhard Waldenfels, I argue that international and domestic courts have presupposed a territorial sense of space, a territorial knowledge and the founding date for the territorial structure of a state-centric international legal community. I then focus upon the idea that an impartial third party (...) can resolve a dispute involving stateless persons by deferring to a universal rule. I call the third party the ‘rule of law third’. Such a rule, I argue, presupposes a presupposed knowledge over stateless persons. The Third takes for granted the territorial boundary of a legal structure, a boundary which excludes the recognition of outsiders to the boundary. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act (...) as if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k (...) : Is there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

Mircea Eliade’s ideas developed in the scientific and literary works had considerable influence over the past century, both among historians of religions, imposing the discipline that he promoted in many prestigious universities from America and from around the world, and among other researchers in related fields of the history of religions. The question today is about what is left of Eliade’s work after a careful analysis according to the grids of thought of our century. The question that has not yet (...) found a definitive answer is of special interest, because the themes dealt by the Romanian scientist are universal and permanent. Among them, the problem of the timeliness of myth occupies the essential rank closely related with all the concepts developed by Eliade in his works. In this sense, the relationship between the man of archaic societies, often called homo religious, and the Christian man is also defined by how the myth is perceived by the two of them. Through its exact understanding human religiosity from forever and everywhere can always be redefined. (shrink)

The problem of synthetic judgements touches on the question of whether philosophy can draw independent statements about reality in the first place. For Kant, the synthetic judgements a priori formulate the conditions of the possibility for objectively valid knowledge. Despite the principle fallibility of its statements, modern science aims for objective knowledge. This gives the topic of synthetic a priori unbroken currency. This paper aims to show that a modernized version of transcendental philosophy, if it is to be feasible (...) at all, must “bid farewell” to the concept of being “free of empiricism” or the “purity” of the a priori. Approaches to this end can already been found in Kant’s reflections on non-pure synthetic knowledge. Moreover, the a priori validity of knowledge does not exclude the possibility that it can be discovered empirically. In keeping with Kant, Fries and Nelson anticipated this separation (usually first attributed to Reichenbach) between the validity and discovery context of knowledge and pointed out that the a priori could be discovered empirically, but never proven. There are currently still good reasons why transcendental philosophical concepts are of fundamental importance for modern science, although it must not be overlooked that even within the framework of a modernized transcendental philosophy, several unsolved problems remain or are raised. For example, the irredeemability of the universal validity and necessary claims of the a priori, the problem of a clear demarcation between the phenomenal and noumenal world. Moreover, the “beautiful structure” or the Kantian system, which constituted its persuasive power, is lost. (shrink)

We propose a novel interpretation of consciousness and an enlarged definition of locality, which provide a solution to the problem of the consistency of measurements in quantum mechanics: consciousness is a characteristics of the Universe as a whole. Besides its physical consequences, this interpretation has also moral implications: individuality comes out naturally to be just an accident functional to evolution which shaped past and present history through competition, and realizing this fact should enforce cooperation.

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind (...) the whole discussion of these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

This paper contends that some of the recent critical appraisals of universals theories of natural laws, namely, van Fraassen's analysis of Armstrong's probabilistic laws, are largely ineffective since they fail to disclose the incompatibility of universals and any realistic natural law setting. Rather, a more profitable line of criticism is developed that contests the universalists' claim to have resolved the induction problem (i.e., the separation of natural laws from mere accidental regularities), and thereby reveals the universals' (...) philosophically inadequate concept of a physical property. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather (...) a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

The rapid advancements in artificial intelligence, particularly in natural language processing, have brought to light a critical challenge, i.e., the semantic grounding problem. This article explores the root causes of this issue, focusing on the limitations of connectionist models that dominate current AI research. By examining Noam Chomsky's theory of Universal Grammar and his critiques of connectionism, I highlight the fundamental differences between human language understanding and AI language generation. Introducing the concept of semantic grounding, I emphasise the need (...) for AI to connect language with real-world experiences and context to achieve true understanding. While multi-modal models represent a step forward, they fall short of addressing the core issue. The article concludes with a call for a course correction in AI development, advocating for the integration of embodied cognition, dynamic learning, hybrid models, and ethical practices. This shift is essential for creating AI systems that can meaningfully interact with the world, reducing the incidence of hallucinations and enhancing their reliability and utility. (shrink)

This article presents a critical analysis of two influential readings of Kant’s Second Analogy, namely, Gerd Buchdahl’s “modest reading” and Michael Friedman’s “strong reading.” After pointing out the textual and philosophical problems with each, I advance an alternative reading of the Second Analogy argument. On my reading, the Second Analogy argument proves the existence of necessary and strictly universal causal laws. This, however, does not guarantee that Kant has a solution for the problem of induction. After I explain why (...) the empirical lawfulness of nature does not guarantee the empirical uniformity of nature, I examine the modal status of empirical laws in Kant and argue contra Buchdahl and Friedman that empirical laws express two different kinds of necessity that are not reducible to each other. -/- . (shrink)

The purpose of this paper is to show that, if Kant’s universalization formulations of the Categorical Imperative are our only standards for judging right from wrong and permissible from impermissible, then we have no obligations. I shall do this by examining five different views of how obligations can be derived from the universalization formulations and arguing that each one fails. I shall argue that the first view rests on a misunderstanding of the universalization formulations; the second on a misunderstanding of (...) the concept of an obligation; the third on a misunderstanding of the concept of a maxim; the fourth on a misunderstanding of the limits of action description; and the fifth on a misunderstanding of the universalization formulations again. (shrink)

In The Problems of Philosophy, Russell presented his famous regress argument against the nominalist denial of universals. In this paper I explore the origin of the argument in Russell and explore its relevance in contemporary metaphysical debate. I argue that a hundred years on, the argument still presents a powerful tool for realists in their debate with nominalists and trope theorists.

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem (...) does not entail that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

This thesis focuses on Abelard’s solution to the problem of understanding universals as presented in the Tractatus de Intellectibus. He examines this issue by asking what is understood when we consider the term ‘man’, a problem I call the ‘homo intelligitur [man is understood]’ problem. This is an important question, since earlier in the Treatise, Abelard states that understandings paying attention [attendens] to things otherwise than they are are empty, and thus, cannot be true. The challenge (...) is therefore to explain how understandings about universals, such as genera and species, can be sound, given that Abelard is a nominalist and, as such, does not believe in the existence of universal entities. His own answer to the problem is that such understandings attend to natures. However, since natures are, on his view, nothing more than the individuals they belong to, it is unclear how his solution is intended to work. I propose two ways to understand Abelard’s solution to the ‘homo intelligitur’ problem, identifying their respective merits and drawbacks. The first one is to treat ‘nature’ as meaning ‘status’. I explore this solution in Chapters 2 and 3, and conclude that while it has the advantage of establishing links between De Intellectibus and previous logical works by Abelard, it has some significant drawbacks, most notably that it is unclear how we can have epistemic access to status given that status are not things, which renders unclear how the criteria for the soundness of understandings can be met. The second one involves treating natures as referring to behaviors typical of members of a given genus or species. These behaviors come from the particular essential forms possessed by individuals, i.e. their differentiae understood as analogous to nuclear tropes in Peter Simons’ trope theory. I conclude that this solution is more intuitive than the first one and has the advantage of not depending on a specific interpretation of the evolution of Abelard’s thought. However, it is unclear how to treat behaviors and regularities in his ontology. (shrink)

Thomas Hobbes was, rather famously, a nominalist. The core of that nominalism is the belief that the only universal things are universal names: there are no universal objects, or universal ideas. This paper looks at what Hobbes's views about universal names were, how they evolved over time, and how Hobbes argued for them. The remainder of the paper considers two objections to Hobbes's view: a criticism made by several of Hobbes's contemporaries, that Hobbes's view could not account for people saying (...) the same thing in different languages; and a more recently popular criticism of Hobbes, that his nominalism's reliance on similarity implicitly (and inconsistently) involves reliance on a universal. (shrink)

Karl Popper (1902-1994) was one of the most influential philosophers of science of the 20th century. He made significant contributions to debates concerning general scientific methodology and theory choice, the demarcation of science from non-science, the nature of probability and quantum mechanics, and the methodology of the social sciences. His work is notable for its wide influence both within the philosophy of science, within science itself, and within a broader social context. Popper’s early work attempts to solve the problem (...) of demarcation and offer a clear criterion that distinguishes scientific theories from metaphysical or mythological claims. Popper’s falsificationist methodology holds that scientific theories are characterized by entailing predictions that future observations might reveal to be false. When theories are falsified by such observations, scientists can respond by revising the theory, or by rejecting the theory in favor of a rival or by maintaining the theory as is and changing an auxiliary hypothesis. In either case, however, this process must aim at the production of new, falsifiable predictions. While Popper recognizes that scientists can and do hold onto theories in the face of failed predictions when there are no predictively superior rivals to turn to. He holds that scientific practice is characterized by its continual effort to test theories against experience and make revisions based on the outcomes of these tests. By contrast, theories that are permanently immunized from falsification by the introduction of untestable ad hoc hypotheses can no longer be classified as scientific. Among other things, Popper argues that his falsificationist proposal allows for a solution of the problem of induction, since inductive reasoning plays no role in his account of theory choice. Along with his general proposals regarding falsification and scientific methodology, Popper is notable for his work on probability and quantum mechanics and on the methodology of the social sciences. Popper defends a propensity theory of probability, according to which probabilities are interpreted as objective, mind-independent properties of experimental setups. Popper then uses this theory to provide a realist interpretation of quantum mechanics, though its applicability goes beyond this specific case. With respect to the social sciences, Popper argued against the historicist attempt to formulate universal laws covering the whole of human history and instead argued in favor of methodological individualism and situational logic. Table of Contents 1. Background 2. Falsification and the Criterion of Demarcation a. Popper on Physics and Psychoanalysis b. Auxiliary and Ad Hoc Hypotheses c. Basic Sentences and the Role of Convention d. Induction, Corroboration, and Verisimilitude 3. Criticisms of Falsificationism 4. Realism, Quantum Mechanics, and Probability 5. Methodology in the Social Sciences 6. Popper’s Legacy 7. References and Further Reading a. Primary Sources b. Secondary Sources -/- . (shrink)

The hard problem – focusing essentially on vision here – is in fact the problem of the origin of our image of the external world. This formulation in terms of the “image” is never seen stated, for the forms populating our image of the world are considered computable, and not considered qualia – the “redness” of the cube is the problem, not the cube as form. Form, however, cannot be divorced from motion and hence from time. Therefore (...) we must examine the classical, spatial metaphysic of space and time, for practical purposes initiated by Galileo, wherein the real has been equated with the quantitative and wherein quality has been stripped from the material world. In this metaphysic, which sees form as quantitative or computable, the origin of qualia is problematic, with a problem of even greater primacy becoming the “memory” that supports the transforming events of perception, e.g., rotating cubes, buzzing flies, twisting leaves. It is this memory, supporting time-extended, flowing events, that necessarily supports all qualia. The concept of storage of “snapshots” of time-flowing events, a notion which the classic metaphysic engenders, is unworkable as a solution to the perception of these flows. Form, in fact being dynamic and defined over flowing fields, equally is a quality, equally requires this memory, and since forms populate the image, the origin of the entire image is indeed a problem. The counter-proposal becomes Bergson’s temporal metaphysic wherein motion is indivisible (or non-differentiable), the global motion of the universal field itself then carrying an intrinsic form of memory. In this framework, with this field viewed as holographic, Bergson provides a unique solution – one that leaves the problem of representation behind – as to how the brain specifies the qualitative image of the dynamically transforming external world. (shrink)

Both philosophers of perception and analytic metaphysicians apply the tropes/universals distinction when considering the ontological status of visual properties. One way of arguing in favor of the trope interpretation of visual properties is to claim that the way in which we visually experience properties makes it plausible to characterize them as tropes. In this paper, I argue for a different position, namely that the way in which we visually experience properties provides a serious challenge for the trope interpretation, but (...) not for an interpretation in terms of universals. More specifically, I claim that the trope interpretations of visual properties have problems accounting for the fact that ordinary, veridical visual experiences can present the properties of two objects as strictly similar. (shrink)

The problem of universals remains a philosophical theme not only in ontology but also in epistemology. In Husserl, there are particular universals, the noematic ‘X’, the identical, and universals stricto sensu, atemporal universal names. In this paper, I present the theme as it is analyzed by Husserl in Ideas I. In the first section, I describe the trajectory to the universals highlighting the parallelism between noese and noema. In the second section, I draw the reflection (...) of this problem on the philosophy of language which is also affected by the noeticnoematic correspondence. In the third and last section, I show how the investigation about the universals moves in the noematic sphere, and conclude defending the possibility of reaching the universal strict sense departing from the noematic ‘X’. (shrink)

This is a technical treatise for the scientific-minded readers trying to expand their intellectual horizon beyond the straitjacket of materialism. It is dedicated to those scientists and philosophers who feel there is something more, but struggle with connecting the dots into a more coherent picture supported by a way of seeing that allows us to overcome the present paradigm and yet maintains a scientific and conceptual rigor, without falling into oversimplifications. Most of the topics discussed are unknown even to neuroscientists, (...) biologists, philosophers, and yet are based on the findings published in their own mainstream peer reviewed literature or on deep insights of the scientific, philosophical and spiritual giants of the past. -/- A scientific, philosophical, and spiritual overview of the relationship between science and spirituality, neuroscience and the mystery of consciousness, mind and the nature of reality, evolution and life. A plaidoyer for a science that goes beyond the curve of reason and embraces a new synthesis of knowledge. The overcoming of the limitations of the intellect into an extended vision of ourselves and Nature. A critique of physicalism, the still-dominant doctrine that believes that all reality can be reduced to matter and the laws of physics alone. A review and reassessment of the old and new philosophical and metaphysical ideas which attempts to bring closer Western and Eastern traditions where science, philosophy, consciousness, Spirit and Nature are united in a grand vision that transcends the limited conventional scientific and philosophical paradigm. A possible answer to the questions of purpose and meaning and the future evolution of humankind beyond a conception that posits a priori a purposeless and meaningless universe. A report of the new scientific discoveries of a basal intelligence in cells and plants, on the question if mind is computational, the issue of free will, the mind-body problem, and the so called ‘hard problem of consciousness’. An essay on ancient as modern philosophical conceptions, from the One of Plotinus, the God of Spinoza until the recent revival of panpsychism or the universal consciousness. A journey into quantum physics from the perspective of philosophical idealism and an invitation to adopt new ways of seeing that might help us to transform our present understanding, expanding it into an integral cosmology, with a special emphasis on the spiritual and evolutionary cosmology of the Indian seer Sri Aurobindo. -/- Not just a philosophical and metaphysical meditation but, rather, an appeal to work towards a change of consciousness, a widening of our perspective towards a new way of seeing beyond a purely mechanistic worldview to avoid a social, environmental and economic collapse. Humans are transitional beings that will have to make a choice: relapse into a pre-rational state or evolve towards a new trans-rational species supported by an ideal of human unity in diversity as the expression of a spiritual evolutionary process, the call of the Spirit on Nature. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for (...) the automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

The author undertakes the problem of the identity of Western civilization in the light of a correlation between politics and religion. First, he traces the theoretical debates about the mutual correspondence of politics and religion in ancient Greece. Following two extreme errors depicted by Sophocles in his “Antigone,” and by Plato in his “Apology of Socrates,” he infers that the “Golden Mean” is necessary in resolving the problem of politics and religion. Then, he examines the underlying errors put (...) forward in the history. His investigations show the erroneousness of endowing either politics or religion with sovereign status in culture. There is always a conflict between politics and religion unless man regains his own sovereignty from them. Ultimately the author arrives at the conclusion that the “Golden Mean” correlating politics and religion distinctly strengthens the identity of the Western Civilization, and consists in respecting all real and universal parameters of human person life, such as cognition, freedom (and responsibility), love, agency in law, ontological sovereignty, and religious dignity. (shrink)