In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, (...) Kleingeld and Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

Dialectica: Mathematica and Physica, Truth and Justice, Trick and Life. Mathematica as the Constructive Metaphysica and Ontology. Mathematica as the constructive existential method. Сonsciousness and Mathematica: Dialectica of "eidos" and "logos". Mathematica is the Total Dialectica. The basic maternal Structure - "La Structure mère". Mathematica and Physica: loss of existential certainty. Is effectiveness of Mathematica "unreasonable"? The ontological structure of space. Axiomatization of the ontological basis of knowledge: one axiom, one principle and one mathematical object. The main ideas and concepts (...) of the ontological construction/ "Point with a vector germ" and "heavenly triangle". "Ordo geometricus" and "Ordo onto-topological". Architecture of the onto-topological basis of knowledge: general framework structure, carcass and foundation. The absolute space and the absolute field. The absolute (natural) system of coordinates of Universum. Eidos of "idea of ideas", the symbol and the "formula of Justice". (shrink)

My aim in this paper is to explore different ways of understanding Kant’s Formula of Humanity as a formal principle. I believe that a formal principle for Kant is a principle that is constitutive of some domain of cognition or rational activity. It is a principle that both constitutively guides that activity and serves as its internal regulative norm. In the first section of this essay, I explain why it is desirable to find a way to understand the (...) class='Hi'>Formula of Humanity as a formal principle in this sense. In sections II and III I discuss two interpretive approaches to Kant’s idea that rational nature or humanity is an end in itself, both of which may be construed as treating the Formula of Humanity as a formal principle. By focusing on the notion of formal principle, I hope to raise a set of issues about how to understand the idea of rational nature or humanity as an end in itself, and about the relation of the Formula of Humanity [FH] to the Formula of Universal Law [FUL]. I do not resolve the issues in this paper, though I briefly sketch some resolution at the end. (shrink)

A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and three medial parallelograms, which will be referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at (...) which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to n-dimensional simplices for all n>3. Part III explains how, for n=3, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to ℤ42, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank 3 chirotope, aka affine oriented matroid. (shrink)

You can be convinced that something is true but still desire to see it for yourself. A trusted critic makes some observations about a movie, now you want to watch it with them in mind. A proof demonstrates the validity of a formula, but you are not satisfied until you see how the formula works. In these cases, we place special value on knowing by what Sosa (2021) calls “firsthand insight” a truth that we might already know in (...) some other way such as by testimony, the balance of evidence, or proof. This phenomenon raises two questions. First, what is the nature of firsthand insight? Second, what value motivates us to pursue firsthand insight when other kinds of knowledge are readily available? In the two central parts of this paper, I develop answers to these questions. I argue that firsthand insight that a proposition is true is knowledge based on experience of what makes that proposition true, and I argue that desires for firsthand insight are motivated by concerns with alienation. In a concluding section, I briefly illustrate how the resulting view of the nature and value of firsthand insight might bear on broader topics in the theory of value. (shrink)

Misrepresentations can be innocuous or even useful, but Kant’s corollary to the formula of universal law appears to involve a pernicious one: “act as if the maxim of your action were to become by your will a universal law of nature”. Humans obviously cannot make their maxims into laws of nature, and it seems preposterous to claim that we are morally required to pretend that we can. Given that Kant was careful to eradicate pernicious misrepresentations from theoretical (...) metaphysics, the imperative to act as if I have this supernatural power has typically been treated as an embarrassment meriting apology. The wording of the corollary may be vindicated, however, by recognizing that “as if” (als ob) is a technical term both in the Critique of Pure Reason and here. It signals a modal shift from the assertoric to the problematic mode of cognition, one that is necessitated by the attempt to incorporate the natural effects of a free will into a universal moral imperative that is philosophically practical. In this paper I sketch how the modal shift makes sense of the corollary as a subjectively necessary, philosophically practical idealization of the extension of human freedom into nature, one that accurately represents a necessary parameter of moral conduct: moral ambition. (shrink)

Kant’s Formula of Universal Law (FUL) is generally believed to require you to act only on the basis of maxims that you can will without contradiction to become universal laws. In “Contradiction and Kant’s Formula of Universal Law” (2017), I have proposed to read the FUL instead as requiring that, for any maxim on which you act, you can will two things simultaneously, without volitional self-contradiction: (1) willing the maxim as your own action principle and (2) willing that (...) it become a universal law. In the present essay, I reply to comments by Mark Timmons, Michael Walschots, Paola Romero, and Stefano Lo Re. In response to their comments concerning the application of the FUL, I expand the interpretive framework of the Volitional Self-Contradiction Interpretation. I argue that Kant also constructs the diagnostic volitional self-contradiction as a contradiction between (1) willing a tested maxim to become a universal law and (2) willing what humans, qua finite rational beings, necessarily will, namely the means to their actual and possible future ends. I also clarify how the two ways in which Kant specifies the test are related. Furthermore, I clarify the relation between the Volitional Self-Contradiction interpretation and other interpretations of the FUL, in particular the ‘Practical Contradiction’ and ‘Logical Contradiction’ interpretations, as well as its difference from the Golden Rule. I also address the objection that the volitional self-contradiction is superfluous, clarify the relation between the Formula of Universal Law and the Formula of the Law of Nature, and explain why the will of an immoral agent does not contain a volitional self-contradiction of the type at issue. (shrink)

Life is supported by a myriad of chemical reactions. To describe the overall process we have formulated entropy for an open system undergoing chemical reactions. The entropy formula allows us to recognize various ways for the system to move towards more probable states. These correspond to the basic processes of life i.e. proliferation, differentiation, expansion, energy intake, adaptation and maturation. We propose that the rate of entropy production by various mechanisms is the fitness criterion of natural selection. The quest (...) for more probable states results in organization of matter in functional hierarchies. (shrink)

This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...) lectures on logic, and that understanding this strategy gains us interpretive insight into Kant’s moral metaphysics. At the most general level of methodology, Kant says there are four steps for the establishment of any science: 1) make distinct the idea of the natural unity of its material 2) determine the special content of the science 3) articulate the systematic unity of the science 4) critique the science to determine its boundaries The first two of these steps are accomplished by the genetically scholastic method of analysis, paradigmatically the method whereby confused and obscure ideas are made clear and distinct, thereby logically perfecting them and transforming them into possible grounds of cognitive insight that are potentially complete and adequate to philosophical purposes. The analysis of Groundwork I is a paradigmatic analysis that makes distinct what is contained in common understanding, i.e. its Inhalt or intension, making distinct the higher partial concepts that together define the concept of morality. The analysis of Groundwork II is an employment more specifically of the method of logical division, which makes distinct what is contained under the concept, i.e. its Umfang, by which the extension or object of morality is determined. Part I introduces Kant’s conception of moral metaphysical science and why he took it to be in need of establishment, explains the general method for establishing science and the scholastic method of analysis by which its first two steps are to be accomplished, then provides an interpretation of Groundwork I as an execution of this method. Part II details Kant’s determination of the special content of moral science in Groundwork II in relation to the central problem for moral metaphysics – how synthetic a priori practical cognition is possible. (shrink)

The fine structure constant appears in several fields of physics and its value is experimentally obtained with a high accuracy. Its physical origin however is unsolved long-standing problem. Richard Feynman expressed the idea that it could be similar to the natural irrational numbers, pi, and e. Amongst the proposed theoretical expressions with values closer to the experimental one is the formula of I. Gorelik which is based on rotating dipole with two empirically suggested coefficients, while the physical origin is (...) unknown. BSM-Supergravitation Unified Theory suggests a physical mechanism defining the fine structure constant. The mathematical expression is based on a spatial precession mode of vibrations in a tetrahedron of spheres with specific properties. The value from the derived expression differs from the CODATA 98 value by 0.000008% only. The conclusion is that the fine structure constant is a natural irrational number. While the irrational number pi, is defined in a 2D space, the fine structure constant is related to a vibration property of a specific formation in 3D space. (shrink)

For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.

My goal in this piece is to show that there is a problem lurking in the shadows of recent attempts to derive positive duties from Kant’s so-called universalizability tests and, further, to show that the most obvious way of fixing these attempts renders them unable to fulfill their function. I shall begin by motivating and explaining such an attempt.

The paper argues that Toni Rønnow-Rasmussen’s fitting-attitude analysis of ‘good’ and ‘good for’ allows us to interpret and justify Kant’s Formula of Humanity (FH) in a constructive way. His classification of ‘good’ as a non-relational intrinsic final value and ‘good for’ as a relational extrinsic final value sheds light on two main features of FH, namely that it requires us to display a specific attitude to human beings, while also obligating us to recognize this value in the relational dimension. (...) Based on a reflection of what attitudes toward persons are fitting, we might well come to endorse that persons are “ends in themselves” and merit respect and recognition. I then argue (by way of an ethical reading of Kant’s demand to leave the state of nature and move to a rightful civil condition) that we have, in addition to a fitting attitude, deontic normative reasons (not mere pro tanto reasons) for making this very attitude toward persons the principal standard for our relations to others and to ourselves. (shrink)

This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...) dispersion of meanings (Foucault) made it possible to formulate a notion of it as a meaning that is constituted by the relation between the discursive practice and the worldview, regarded as a meta-discourse or a global discursive formation. In consequence of this relationship, a discrete and simultaneous scattering of meanings arises, the procedural side of which is a concrete discourse, and its productive aspect is linked with the creation of a local discursive formation. Based on this view it is proposed a logical formula of discourse, which takes into account the entropy of the language and the entropy of the worldview, as a particular manifestation of the mind entropy. Using this formula and considering the reactive nature of discourse, it was developed a classification, which included such types of discourses as reactive, suggestive, synthetic and creative. In turn, the proposed types of discourses are correlated with the specific characteristics of certain activities, as a psychological category. Also, it was considered the translation of the structure of discourse dissipation from the cognitive plan into the affective sphere because of which it is formed a hierarchy of significances, which performs the sense-forming function. It was analyzed the inverse influence of the hierarchy of significances on the structure of meanings dispersion and for respective account it was introduced a conditional coefficient of the value deviation of the significance of the meanings. This parameter reflects the sense correction of the meaning that occurs in the process of the emergence of discourse from discursive practice. Thus, the discourse is presented as a complex dynamic formation of the mind arising at the maturity stage of the system as a result of the combined effect of entropic dispersion of meanings and the value deviation of their significances. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set (...) of theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Each of us is a measure. The project of advocates of change in Plato’s Theaetetus as compared with sophistic thought -/- Summary -/- One of the most intriguing motives in Plato’s Theaetetus is its historical-based division of philosophy, which revolves around the concepts of rest (represented by Parmenides and his disciples) and change (represented by Protagoras, Homer, Empedocles, and Epicharmus). This unique approach gives an opportunity to reconstruct the views of marginalized trend of early Greek philosophy - so called „the (...) sophistic movement”. Paradoxically, previous research shows little interest in sophistic thought as a source of the standpoint of advocates of change („the secret doctrine”). The roots of „the secret doctrine” were investigated in the works of Heraclitus, Aristippus, and Antisthenes or those related to “neoheracliteanism”. However, researchers did not make any significant attempt to confront this concept with the contemporary research on the sophistic movement. The conviction that sophistry was primarily humanistically oriented was one of the main reasons why researches were opposed to the fact that „the secret doctrine” could represent a true expression of Protagoras’ views. This is why J. Burnet and F. M. Cornford in their seminal works assumed that “the secret doctrine” should be attributed to Plato, who simply combined a series of loose statements into one single project. In this work, we argue that the thesis which questions the parallels between the sophists’ interests and the philosophers of nature requires a significant revision. There is ample evidence to suggest that the philosophy of nature was a part of sophists’ research. This is supported by two main arguments. First, the tutors of sophists were philosophers of nature. Second, there are numerous sources that explicitly show sophists’ interest in the physical issues. These sources include anecdotal evidence about the fact that sophists wrote works On nature. There is also information confirming that they deliberated on detailed physical issues. The analogies between the concepts attributed to the advocates of change and our knowledge about sophists from other sources is very wide and contains most elements, which are included in the project of “changeable reality” presented in Theaetetus. The deliberations on the mechanism of perception, which are close to those of flux theory of perception in Theaetetus, are present in the sources referring to Gorgias of Leontinoi, the famous sophist and rhetorician. Also, the second element of “the secret doctrine” that is the metaphysics of flux matches up with what we know about the sophists’ views from other sources. On this basis, one can deduce that – contrary to the tradition which marginalized the role of sophistic considerations on the issue of being and non-being – it was one of the major subjects of sophistic research. Its main point was the criticism of the Eleatic conception of a single and unchangeable being, which also plays a key role in the doctrine of flux in Theaetetus. The epistemological theses which are presented in Theaetetus are borne out in sophistic sources. They include the definition of knowledge as perception, the „Man-measure” formula and a number of principles, which result from these foundational theses. Sophists’ empirical preferences resonate with the theses of the advocates of change in Theaetetus. Special attention that is given to the issues of differences among people, and even to cognitive differences in one person depending on the changeable states to which a person is subject, goes well together with what we know about reciprocal influence between the sophistry and medicine. The consequences of the epistemological conception present in Theaetetus have their equivalents in sophists’ works and other testimonies. An example of these consequences may be the abolition of truth and falsehood or the abolition of contradiction, which finds its expression in the thesis ouk estin antilegein. The analogies also concern reflections on the language itself. The project of the “new language” uses categories, which were developed by sophists. These include the antithesis of nomos and physis. The general intentions of this project reflect Protagoras’ ideas, at least to the extent to which they are known from the sources reporting his thoughts on language. Plato’s Theaetetus can thus be considered a veritable treasury of sophistic motifs. Even though the problem remains unsolved and one is still not able to unambiguously decide about the author of “the secret doctrine”, one can come to a certain conclusion – even if Plato synthesized various doctrines, he must have relied in his project mostly on the elements that he borrowed from sophists. Moreover, the value of reconstructing the project of the advocates of change in Theaetetus does not consist of mere enumeration of sophistic motifs. The dialogue is key to understanding the sophistic movement, whose separate doctrines – for the lack of sources and as a result of centuries-old disregard – are usually treated as rhetorical formulae that are interpreted in many ways and have no philosophical foundations. If it is really the case that the theses attributed to Protagoras in Theaetetus were actually a part or a derivative of Protagoras’ thought, or – speaking more conservatively – if they constitute a synthesis of sophistic thought done by Plato, they could represent philosophical foundations for the most important sophistic theses: the “Man-measure” formula, the ouk estin antilegein principle, the concept of language as a tool, the idea of the relativity of good and the whole practical sphere of sophists’ activity. Contrary to the views of many researchers, we are certain that the representatives of the sophistic movement did not limit themselves only to the application of practical rules, which determined the extent of their educational or rhetorical-political activity. They were capable of creating – indeed, they did create comprehensive projects that embraced the whole thematic scope subject to philosophical reflection. (shrink)

The Universal Formula: Solving the Problem of Free Will Through the Law of Balance By Angelito Malicse Introduction The problem of free will has puzzled humanity for centuries, often viewed as a philosophical or metaphysical enigma. This essay presents a universal formula that resolves this dilemma by focusing on the law of karma and the universal law of balance. It explores the interconnectedness of systems, the critical role of accurate knowledge, and the evolution of emotions in maintaining harmony. (...) By examining real-world examples such as overpopulation, environmental degradation, economic instability, and the flaws of capitalism, this essay demonstrates how the universal formula can guide human decision-making to achieve a balanced and sustainable world. The Law of Karma: Systems and Balance The universal formula begins with the law of karma, which extends beyond cause and effect to encompass the integrity of systems, both natural and man-made. Every system—whether ecological, social, or economic—operates according to the universal law of balance. When imbalances arise, the system becomes dysfunctional, leading to adverse consequences. For example, while humans sit at the top of the food chain, the Earth's ecosystem cannot sustain unchecked overpopulation of our species. Overpopulation leads to the destruction of natural resources as humans consume everything, including plants, animals, and even insects. This voracious consumption damages ecosystems, accelerates deforestation, depletes biodiversity, and disrupts the delicate balance of the natural world. To ensure the sustainability of life on Earth, it is crucial to regulate population growth, conserve natural resources, and refrain from exploiting all animals on land and in the sea. By preserving biodiversity and maintaining the integrity of ecosystems, we protect the foundation of life that supports all species, including humans. Free Will and the Dependence on Correct Knowledge Human free will is not an autonomous force but is entirely dependent on correct knowledge and information. Errors in decision-making, often caused by ignorance, false beliefs, and distorted theories, disrupt the balance of systems. For instance, the failure to regulate overpopulation creates cascading problems, including climate change, pollution, and resource depletion. Without accurate knowledge about the consequences of overpopulation, individuals and societies continue to make decisions that exacerbate these imbalances. Education and government policy play vital roles in addressing these issues. Policies that promote population regulation can maintain a sustainable economy, while education fosters awareness of the need to protect ecosystems and biodiversity. Correct information empowers individuals to make decisions that align with the universal law of balance, preventing errors that destabilize systems. The Flaws of Capitalism and the Need for Balance The efficiency of the capitalistic system increases over time, leading to significant flaws if left unchecked. Private companies continually strive to reduce overhead and operating expenses, often by automating processes and replacing human labor with robotics. While this enhances profitability, it also reduces employment opportunities, suppresses wages, and widens income inequality. These principles, central to the management strategies of most private companies, create systemic imbalances in the economy. The solution lies in adopting a mixed economic system that counterbalances the excesses of capitalism with socialist principles. Governments must play a pivotal role in addressing these imbalances by implementing the following measures: Creating High-Salary Government Jobs: These jobs provide stable income and stimulate local economies. Providing Unemployment Benefits or Universal Basic Income (UBI): These measures ensure that individuals who lose jobs due to automation and efficiency gains still have the purchasing power to meet their needs. Offering Free Healthcare and Education: These fundamental services reduce the financial burden on families, enabling them to invest in other areas of life. Promoting Government Spending: By investing in infrastructure, renewable energy, and public services, governments can create new jobs and maintain the flow of money in the economy. Government spending serves as a balancing mechanism by injecting funds into the economy, which in turn supports private companies through increased consumer demand. This feedback loop creates private-sector jobs, stabilizes the economy, and ensures a balanced flow of resources between public and private sectors. The Role of Emotions in Balancing Systems Human emotions, both positive and negative, serve as essential feedback mechanisms for maintaining balance. Positive emotions, such as love and joy, encourage cooperative behavior and strengthen familial and social bonds. Negative emotions, such as fear and anger, signal imbalances that require corrective action. For example, the unconditional love within a family fosters a nurturing environment that supports the emotional and psychological development of children. This foundation contributes to a high-quality next generation of parents, capable of fostering further generational improvement. Conversely, the absence of such love or a dysfunctional family structure often leads to crime, substance abuse, and other societal problems. These negative outcomes are the effects of systemic imbalances, whether caused by poor parenting, economic hardship, or the lack of a government safety net. Addressing Environmental and Social Imbalances The universal formula underscores the importance of a holistic education system in addressing systemic imbalances. Education must instill values such as cleanliness, discipline, ethics, and good manners while fostering a respect for nature. Teaching children the importance of not harming wildlife and preserving ecosystems is critical to protecting biodiversity and ensuring a harmonious coexistence with other species. Government policies also play a crucial role. Regulations that protect natural resources, reduce pollution, and promote renewable energy can prevent environmental degradation. Policies that provide social safety nets can alleviate poverty and reduce crime by addressing the root causes of economic and social imbalance. The Importance of Holistic Systems Thinking The universal formula emphasizes the interconnectedness of systems, demonstrating that imbalances in one area often ripple through others. For instance, a lack of holistic education contributes to ignorance, which leads to poor decision-making. This, in turn, exacerbates issues such as overpopulation, resource depletion, and social unrest. Producing a high-quality young generation requires a combination of good parenting, access to education, and supportive government policies. By fostering an environment that values balance, discipline, and ethics, societies can produce individuals capable of making decisions that align with the universal law of balance. Conclusion The universal formula offers a comprehensive solution to the problem of free will by integrating the law of karma, the universal law of balance, and the evolutionary role of emotions. By understanding and addressing the root causes of imbalance—whether environmental, social, or economic—humanity can achieve harmony within and across systems. Real-world examples, such as overpopulation, economic instability, environmental destruction, and the flaws of capitalism, highlight the urgent need to apply this formula. Through holistic education, informed policies, and an unwavering commitment to balance, individuals and societies can prevent errors, correct existing imbalances, and create a sustainable and harmonious future. The time to act is now. By embracing the universal formula, humanity can unlock the full potential of free will, ensuring a balanced and equitable world for generations to come. ---. (shrink)

This article addresses three paradoxes of biomimicry. First of all: how can biomimicry be as old as technology as such and at the same time decidedly innovative and new? Secondly: how can biomimicry both entail a ‘naturalisation’ of technology and a ‘technification’ of nature? And finally: how can biomimicry be perceived as nature-friendly but at the same time (potentially at least) as a pervasive biotechnological assault on nature? Contemporary (technoscientific) biomimicry, I will argue, aims to mimic (...) class='Hi'>nature at the level of biomolecular processes and structures: contemporary biomimicry as micro-biomimicry. Moreover, building on Aristotle, Delbrück and Schrödinger, I will emphasise that what is mimicked by contemporary (technoscientific) biomimicry, in contrast to traditional (artisanal) instances of biomimicry, is not the morphological form (εi~δος), but rather the program or formula (δóγOς) of living systems. Contemporary biomimicry is ‘in accordance with nature’, but not in the traditional sense. Rather, building on decades of biomolecular research, it strives to reconcile nature and technology against the backdrop of advanced technicity. But biomimetics will only achieve its goals if it is not pursued purely as a technological endeavour, but complemented by an ethos of sustainability and respect for nature. These claims will be elucidated with the help of two case studies: a research project (namely the BaSyC project, launched in 2017 and aimed at producing a synthetic cell) and a science novel (namely Ian McEwan's Solar, which concerns the epistemic and moral challenges involved in artificial photosynthesis). (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological (structural) Memory (OntoMemory), the measure of being of the whole, “the soul of matter”, qualitative quantity of the absolute forms of existence of matter (absolute states). “Information” (...) and “time” are multivalent phenomena of Ontological Memory substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, semantic attractor of the new conceptual structure of the world of the Information Age, which is based on Absolute generating structure («general framework structure»), the representant of onto-genetic code and algorithm of the Universe. (shrink)

The paper will explicate the Sache or matter of the dialectic of the founder of Kyoto School philosophy, Nishida Kitarō (1870-1945), from the standpoint of his mature thought, especially from the 1930s and 40s. Rather than providing a simple exposition of his thought I will engage in a creative reading of his concept of basho (place) in terms of chiasma and chōra, or a chiasmatic chōra. I argue that Nishida’s appropriation of nineteenth century German, especially Hegelian, terminology was inadequate in (...) expressing what he strove to say—for his concept of basho confounds traditional metaphysical discourse. Because of its chiasmatic and chōratic nature, the Sache he strove to capture and express through the language of dialectical philosophy, perpetually slips away from any systemic bounds. His “dialectic” (benshōhō) implies a chiasma or a criss-crossing of multiple factors on multi-dimensional levels that exceed in complexity simplistic binomial oppositions or the triadic formula of traditional dialectics. The complexity is one of over-determination that threatens to undermine the very language of such a dialectic. As the deep complexity of over-inter-determinations would deconstruct any notion of a substance, what Nishida offers—as opposed to an ousiology (or logic of substance)—is a chiasmology. I thus argue that his so-called dialectic is really an unfolding of that chiasma. And if chiasma expresses the over-determinate aspect of Nishida’s matter of thinking, chōra would express its under-determinate aspect. Nishida himself based his concept of basho or “place” on Plato’s notion of the chōra from the Timaeus. I take Nishida’s basho in its chōratic nature as what simultaneously unfolds and enfolds the chiasma. But in the case of the chōra it is its under-determinate nature that refuses reduction to any of the terms of opposition. In its self-withdrawal, it provides a clearing, a space, for the chiasmatic unraveling of the many. Like the chiasma it undermines any claim to a first substance or the hegemony of a universal First. For in its indeterminateness, it is “nothing” (mu). The unfolding it enfolds is, as Nishida states, “a determination without determiner.” In concrete terms, however, we might develop Nishida’s concept further by returning to the original pre-Platonic Greek meaning of chōra in the sense of “region” or “country,” to understand chōra or basho here as the very space of co-existence provided by this very earth. As a chiasmatic chōra irreducible, in its over- and under-determinations, to being or non-being, Nishida’s basho qua mu proves to be the an-ontological origin of both on and meon (being and non-being). Rejecting the culture-nature dichotomy this notion of our place of being as chiasma and chōra underscores our holistic symbiosis with the earth as the anontological (un)ground and clearing for our co-existence in a concrete milieau with one another and with nature. It is this earth as our ultimate contextual wherein that provides a clearing for co-dwelling and mutual encounter with one’s other, that we must acknowledge today if we are to co-exist authentically and freely vis-à-vis our global neighbors and vis-à-vis the surrounding nature. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

A general mathematical framework, based on countable partitions of Natural Numbers [1], is presented, that allows to provide a Semantics to propositional languages. It has the particularity of allowing both the valuations and the interpretation Sets for the connectives to discriminate complexity of the formulas. This allows different adequacy criteria to be used to assess formulas associated with the same connective, but that differ in their complexity. The presented method can be adapted potentially infinite number of connectives and truth values, (...) therefore, it can be considered a general framework to provide semantics to several of the known logic systems (eg, LC, L3 LP, FDE). The presented semantics allow to converge to different standard semantics if the separation complexity procedure is annulled. Therefore, it can be understood as a framework that allows greater precision (in complexity terms) with respect to formula satisfaction. Naturally, because of how it is built, it can be incorporated into non-deterministic semantics. The presented procedure also allows generating valuations that grant a different truth value to each formula of propositional language. As a positive side effect, our method allows a constructive proof of the equipotence between N and N^n for all Natural n. (shrink)

The aim of this article is to address the problem of what is usually called “self-consciousness” by studying Charles S. Peirce’s semeiotic treatment of self-referential statements. Peirce believes that an adequate study of the mind requires “to reduce all mental action,” including “self-consciousness,” “to the formula of valid reasoning” (W 2:214, EP 1:30, 5:267, 1868) and its semeiotic nature. While Peirce makes frequent use of the notion of “consciousness,” he is at the same time distant from the understanding (...) of the “conscious mind” that Descartes invented and made canonical (e.g., W 1:491, 1866), and which from the modern epoch stretches out to the contemporary discussion on, as David Chalmers put it, the “hard problem” of the mind. In what follows, I argue that Peirce puts forth a powerful theory of self-consciousness based on his semeiotic understanding of self-reference and indexicality. To the question, “How can we elucidate the phenomenon of self-consciousness?”, we should answer, with Peirce, “What we call self-consciousness corresponds to the practice of narratives and descriptions ultimately based on indexical self-referential statements, which are in turn rooted in very specific dimensions of human experience.” It is also important to underscore from the outset that the problem of indexical self-reference cannot be separated from Peirce’s concept of experience, which is one of the most interesting insights of Peirce’s philosophy and classical American pragmatism. In particular, it will be essential to see what are the experiential-perceptual conditions under which indexical self-referential statements can work as such. (shrink)

This paper explores the cosmology of St Maximus the Confessor and its relevance for contemporary ethics. It takes as it’s starting point two papers on Maximus’ cosmology and environmental ethics (Bordeianu, 2009; Munteanu, 2010) and from there argues that we can not consider environmental ethics in isolation from other ethical issues. This, as both Ware and Keselopoulos have also pointed out, is because the environmental crisis is actually a crisis in the human heart and in human attitudes toward everything about (...) us. The paper goes through some key areas in Maximus’ cosmology according to his own formula of creation – movement – rest and considers at each stage the implications of this theology for the way the human should be living and treating other beings. The main sources for this exploration are Ambiguum 7, Ambiguum 41, and The Mystagogia with especial focus on the doctrine of the logoi and the divisions of nature. The paper concludes that Bordeianu and Munteanu are right to consider Maximus’ theology to be of ecological relevance, but that this relevance comes from the radical ethical statement being made about human activity. Maximus’ theology points the human toward becoming in the likeness of Christ who unites heaven and earth through love. The love of Christ when considered in an ethical context stands as a formidable challenge to current attitudes and institutions that advocate the exploitation and destruction of human or non-human creation. (shrink)

The main aim of this thesis is to defend moral realism. In chapter 1, I argue that moral realism is best understood as the view that moral sentences have truth-value, there are moral properties that make some moral sentences true, and moral properties are not reducible to non- moral properties. Realism is contrasted with non-cognitivism, error-theory and reductionism, which, in brief, deny, and, respectively. In the introductory chapter, it is also argued that there are some prima facie reasons to assume (...) that non-cognitivism and error-theory are erroneous. In chapters 2 and 3, I suggest that the two main forms of reductionism, analytic and synthetic reductionism, are mistaken. In chapter 4, I argue that the considerations in the previous chapters in relation to non-cognitivism, error-theory and reductionism provide support to moral realism. It is also suggested that these considerations make it plausible to hypothesise that moral properties depend on non- moral properties in a way I refer to as ‘the realist formula’. The realist formula confirms moral realism since it implies that moral properties are not reducible to non- moral properties. In chapters 5, 6 and 7, I argue that moral realism, much owing to the realist formula, is able to explain significant meta-ethical issues regarding moral disagreement, moral reason and moral motivation. Among other things, externalism concerning moral motivation is defended. The explanatory value of moral realism in relation to these meta-ethical issues is taken to suggest that this view is preferable to non-cognitivism, error-theory and reductionism. Some of the meta-ethical issues discussed in these chapters, particularly moral disagreement and motivation, have been thought to provide support to non-cognitivism and error-theory. I maintain that since realism, unlike reductionism, is able to counter these arguments, it justifies us in upholding the view that moral sentences have truth-value and the view that there are moral properties. In chapter 8, various objections against realism with regard to the dependence of moral properties on non- moral properties are responded to. In chapter 9, I consider an influential argument to the effect that moral properties are not involved in causal explanations. I maintain that this argument fails and that it therefore is reasonable to assume that moral properties are natural properties. However, the discussions in chapters 8 and 9 also suggest that moral realism might face problems that cannot be thoroughly discussed in this thesis. (shrink)

Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...) a collaboration between Jacques Derrida and a group of architects interested in his concepts is commenced, and the third one, in which completed or only designed objects or new concepts of deconstruction created by architects gain their supremacy over philosophy. The following book analyses these three possible ways, first of all with the reference to Peter Eisenman and Bernard Tschumi. -/- Peter Eisenman -/- Misreading… and Other Errors -/- The issue of relations between Peter Eisenman’s work and philosophy of deconstruction may be referred to his activity more than ten years preceding his direct collaboration with Jacques Derrida (in 1985) and organisation of the exhibition Deconstructivist Architecture at Museum of Modern Art in New York (in 1988). As soon as at the stage of designing the first houses (House I-III, 1967-1970), which almost entirely inscribed in formalistic aesthetics of Modernism, the architect analysed the problem of architecture dependence on its assumptions. All his later designs may be treated as consequence of this initial interest in relations between practice and theory, and at the same time as an introduction to manipulations later on led at the level of metaphysics of architecture. Beginning with the issue of presence, considered in comments to House VI (1972), the number of ideas having their analogies in philosophy of deconstruction increased. The text entitled The End of the Classical: The End of the Beginning, The End of the End (1984), in which Eisenman criticised questions of representation in architecture, its delusive strive for truth and comparably unattainable attempts at ultimate definition of elementary rules, should be acclaimed the breaking point. This attitude was extended by numerous strategies disturbing architecture rules defined at metaphysical level in an essay Moving Arrows, Eros, and Other Errors: an Architecture of Absence (1986). The issue of Eisenman’s passage from formalism to deconstruction has already been much discussed in the literature (Rosalind Krauss, Thomas Patin among others), still it should be mentioned that the threads similar to Derrida’s concept included in Eisenman’s writing reveal untranslatability of architecture and philosophy. -/- Choral Works or Separate tricks -/- In 1985-1986 a series of seven disputes between Jacques Derrida and Peter Eisenman took place. The pretext for them were designs concerning Parc de la Villette in Paris. The situation of many months of collaboration between a notable philosopher of the second half of the 20th c. and an architect that already had a huge theoretical oeuvre, ended up with a publication of a large volume entitled Chora L Works and it became at the same time a vast study area for historians of contemporary architecture and philosophers. Derrida’s contribution to concept works were his considerations over the idea of chôra, the properties related to this concept were about to be reflected in shapes of the park. Therefore, Chora L Works became an example of the abilities of contemporary art, both in its capability of translation from philosophical ideas to artistic forms and its resistance to tradition of representing in architecture some phenomena and values originating outside this discipline. In the final period of their collaboration both interlocutors started to polemicise with each other more decidedly, what became a separate part of their thought exchange. The exchange of letters between Derrida and Eisenman at the turn of 1989 ended up the period of their direct contacts, nevertheless, at this time precisely a large group of experts in issues of deconstruction joined the discussion and extended the revealed in the former dispute problems into more than ten years of further considerations and publications. Except for a long text by Jeffrey Kipnis, who had participated in the meetings of the philosopher and the architect, there appeared also comments of researchers of artistic theories (K. Michael Hays, Thomas Patin), philosophers (Andrew Benjamin), and even experts in Greek literature (Maria Theodorou or Ann Bergren). Following these debates a contemporary reflection on architecture has saturated with indeed numerous concepts originating in philosophy of deconstruction. -/- Architecture which imitates mute philosophy -/- The series of Jacques Derrida and Peter Eisenman meetings, which took place in the period of 1985-1987, induced many authors to make comments. Some of them (Jeffrey Kipnis, Ann Bergren, Maria Theodorou) developed the subject of chôra which was introduced to the discussion by Derrida. The problem that was about to be solved was the question of tying up the concept of chôra with architecture, including Eisenman’s architecture and the series of meetings within frames of Chora L Works project. Kipnis on this occasion paid attention to chôra and its character of anachronia which infects any being created within chôra. In other words any event has its counterpart (analogon) in another, earlier event. He demonstrated the similarity of structure of many events and statements from the times of Derrida and Eisenman’s meetings to the almost identical behaviour of figures in Plato’s dialogue Timaeus. The loss of beginning present in this phenomenon was appropriate to both features of chôra and the effects of typical analyses of philosophy of deconstruction. Bergren’s analyses focused on accentuating gender of chôra, which, according to this author, had been neglected hitherto in discussions. She collated chôra descriptions with characteristics of women in myths, early Greek epic and philosophy and she arrived at a conclusion that chôra has features of a single woman and a married one at the same time. And yet Theodorou’s studies showed that in the Homeric epics chôra is not treated as an idea but is related with single things and events. The other part of the comments (represented by Andrew Benjamin and K. Michael Hays’ utterances) concerns Eisenman’s attitude to tradition which was treated as a variety of iteration understood philosophically. Benjamin commenced his considerations at the point of closeness between a definition of tradition and a concept of chôra understood as perpetuation (placement). A problematic issue was for him Eisenman’s complex relation to tradition based on its contest and affirmation at the same time. Overcoming the simple subordination to tradition – according to Benjamin – was based on awareness of the role of repetition in culture not known before. Hays made an attempt to explain the pleasure and torment of repetition with the support of Sigmund Freud and Roland Barthes’ concepts. According to Hays repetitions are attempts of a single being to a certain primal state perceived as free of any tension. In a similar way Rosalind Krauss explained a motif of a grate present in Modernistic art and also exceptionally frequent in Eisenman’s work. -/- Annex Architecture is still writing Balzac novels. Peter Eisenman and literature -/- Architecture’s approach to writing, script or literature, present within Peter Eisenman’s work, is an exceptional phenomenon, furthermore a complex one. The article considers four possible relations. The first one relates to Eisenman’s characteristics as a person extremely gifted with the ability to wordplay, which very ‘play’ reveals skills to create architectural images. In the second approach the attention has been paid to Eisenman’s interests – in the first period of his oeuvre – in linguistic works by Noam Chomsky and his transformational-generative grammar. The third kind of relations applied to overcoming the need for autonomy of architecture (and of modernist aesthetics at the same time) and renew interests in questions of meaning in architecture. The fourth sort of relations occurred when Eisenman started to create reflections of historic or literary narrations in architecture – ‘stone stories’ and architectural fictions of their kind. -/- Bernard Tschumi -/- From perversion to deconstruction In Bernard Tschumi’s writings from the 1970s and 1980s we can find a transposition of important threads of post-structuralist ideas deriving from Georges Bataille, Roland Barthes and Jacques Derrida’s works. The analysis of the architect’s writings also shows roots in Phillippe Sollers, Michel Foucault and Denis Hollier’s works. The analysis of borrowed elements from the beginnings of Tschumi’s theoretical activity may be helpful in explaining the contents of his later writings motre inspired by philosophy of deconstruction. The set of his earliest views was inspired by Marxism, Neo Marxism and French Structuralism, mainly by the writings of Henri Levebre and Guy Debord. From the thought of Levebre Tschumi took interest for city as not only a question of urbanistics but also a political issue. From Debord’s concepts he borrowed a conviction about the role of situational violation for changes in the society structure. Some of these beliefs were preserved in his own concepts of architecture as an event. From this period derived also his will to change conservative elements of social structure not by means of political revolution but of theoretical and creative activity. Tschumi acknowledged that the effective way of the proceedings towards achieving his aims would be accepting the role of both a critical intellectualist and architecture expert who would not hide away his left-wing orientation. The speculations defined by the architect as ‘revolting analyses’ were about to characterise contradictions which tear the society apart, penetrate architecture and constitute the basis of culture. Spreading away of the conscience of false assumptions hidden away in various disciplines could have weakened cohesion of a conservative society and influence the will to change among the elites. This way the beginnings of political revolution were rooted in philosophy of architecture. In 1977 Tschumi published his text entitled The Pleasure of Architecture inspired by Roland Barthes’s The Pleasure of the Text, it also included some concepts derived from Georges Bataille and Jacques Derrida. First of all the author used Barthes’s concept which made an assumption that literary activity is pervaded by the spirit of resistance towards social rules, and Tschudi transferred this remark onto architecture. From the ideas of Bataille, acquainted via Holier’s work, he derived his belief that two concepts of space, a conceptual one (defined as Pyramid) and a sensual one (defined as Labirynth), not losing their distinct features, they join in the concept of experienced space which exceeds contradictions. The exceeding itself was defined as the basic rule of architecture and it was referred to situations in which architecture not only negates social needs, but also disavows its own tradition. Crossing the borders applies not only to political issues or permanent rules of the very discipline but also interfering with other fields (especially literature and film). The fact that architecture is associated with organising events turned Tschumi’s attention to questions of violence that result from upsetting architectural order of a given building by its users and the one hand, and on the other from forcing the users to specific acts imposed by this very order. The analysis of the concepts used by Tschumi in his early writings indicates that they are close to definitions that would occur in his reflection in the following years influenced by philosophy of deconstruction. -/- Approaching deconstruction Tschumi in his theories developed in the 1980s presumed that the current social world had undergone a deep process of decay, and the reaction against which ought to be based on ordering-up actions, and also preserving the main outline of disintegration of the whole and its elements in the state of conflict. The statements concerning the nature of the contemporary to Tschumi social relations were applied by him to the world of architecture, this led him to coming up with designing strategies that took into consideration the destabilised character of conditions in which works of architecture were created. New ways of conduct invented by Tschumi drew their inspiration from literature and research on literature, psychoanalysis, structural linguistics, structuralism and post structuralism, and eventually also deconstruction philosophy. The proposed methods were opposed by their author both to functionalism continuity trends and postmodern architecture. Tschumi’s proposals contradicted any forms of conservatism or traditionalism in political sphere as well as in reference to tendencies in architecture. They were not simple contradictions of social or architectural rules, they intrude them from the inside, weaken or escalate the already existing incongruities, they move the boundaries between the areas. Revolutionary illusions about the possibility of radical changes were replaced with strategies which completed, tainted or test former rules in the series of formal games of permutation and combination. Quite different from avant-garde formalism Tschumi’s games were not about maintaining the autonomy of a given area, but on the contrary – polluting it with other areas’ influences. Tschumi enjoyed demonstrating illusions of architecture concerning simple relations between form and function, or between form and meaning. Making use of Freud, Lacan and Foucault’s research he introduced a category of “madness” into architecture allowing an observation that the recognised norms are nothing but merely ones of many possible principles of behaviour, and their recognised status resulted from unjustified hindering innovativeness which is crucial for architecture. To reborn architecture’s capability of changing Tschumi also made use of Barthes’s discoveries concerning rules of narration and works by writers who applied in their writing knowledge on linguistics. Making a work’s author unclear by various mechanical transformations of its elements was however apparent only, and formal rigours imposed on the process of designing liberated possibilities difficult to obtain in more traditional creative action. Another mode of acting introduced by Tschumi was combining his work of elements deriving from outside architecture; joining space records with notation of motion and events accompanying architectural objects among others. These architectural and extra-architectural elements were not unified, on the contrary their heterogenous and conflictual character was stressed. This is how shock, anxiety and instability, typical for live in great metropolises, infiltrated architecture. Taking some ideas of deconstruction philosophy as a pattern Tschumi also took into critical consideration in his essays traditional in architecture oppositions between form and figuration, or theory and practice. By combining various inspirations he eventually worked out an idea of architectural event, which he understood as a series of actions contesting its own field, redefining its sources, principles and elements. An event, understood in this way, was not so much producing works as rather creating conditions of their production and at the same time designing the society different from a hierarchic one. -/- Park of deconstruction Among numerous philosophical strategies of deconstruction most frequently used was questioning the practice of strong opposition of two reasons. In many cases Bernard Tschumi’s writings just consider functioning of the conflict juxtaposition of the ideas of structure and ornament or theory and practice in history of architecture. Violation of traditional relations between terms of this kind, both old and modern, raised Jacques Derrida’s objections, when he was induced for the first time to co-operate with architects’ milieu. During this long lasting thought exchange the philosopher eventually acknowledged Bernard Tschumi’s arguments for reasoning the encroachment of architecture’s fundamental rules. Deconstruction applied in architecture was not a simple transposition or analogy of practices that had been applied by philosophy of deconstruction. We may even say that considering architectural terms became an important formula of deconstruction. Architecture understood in philosophical way became something beyond the practice and theory of its own discipline, a sort of metaphysics of both philosophy and architecture. The deliberate encroachment of simplicity of dividing architecture into theory and practice, for the first time became a clear aim for Tschumi in his drawings and texts entitled The Manhattan Transcripts. The contents of this series of works was a record of characteristic features of this New York district in such a way that not only objects were the subject of the record but also relations between objects, people and events. The record was about to take into consideration a conflict character of elements of this representation and at the same time to avoid applying to them the rule of mimetism. The record became a form of reflection over the very record by an increased control over the ways of representation. Architecture which was considered in the The Manhattan Transcripts was not directed to fulfill the needs of inhabitation or production, it was rather related with hitherto usually marginalised liminal situations: building ostentatiously big monuments, religious cult, war etc. Architecture operating in these relations focused also the attention on the included in it continuous tendency to overpass its own restrictions, the role of violence as its not recognised factor, or the meaning of excess and shock in its operation. Architecture moving from reason towards madness became even more visible in the design of Parisian Parc de la Villette, whose pavilions were defined as folies (in French it means both small park buildings and follies). The park was supposed to be on the one hand a reflection of traditional society disintegration while on the other it questioned basic rules of producing a work of architecture. The traditional rules of designing, based on ordering up, were replaced with the strategies of dysfunction and dissociation. In Tschumi’s opinion methods of this kind may be equivalent of what Derrida named différance. Instead of aiming at mergence, any diversity, plays or variations were strengthen. Tschumi’s texts, in which he explained his attitude, were completed by Derrida’s extent statement entitled Point de folie – Maintenant l’architecture. Derrida’s article is the most significant of all his statements on architecture as a form of thinking and activity. According to the philosopher, architecture should divide space (in French defined as espacement), what enables both thinking and action – it arranges the space of an event. Tschumi’s buildings, defined as folies, in an essential way destabilise any created order, and at the same time they refresh it. Derrida’s statement suggests that architecture may become both metaphor of an order merging a language or a society but also of inner forces which deconstruct and reconstruct it. Therefore architecture is at the same time a construction, a deconstruction and a reconstruction. Parc de la Villette stands out in this system with its attempt to step beyond the scheme of an easy repetition and its heading for chances of achieving more radical otherness. -/- Conclusion Destruction as construction. Paradoxes of deconstruction in architecture -/- Scepticism about persistence and common importance of fundamental values of human culture evinced in philosophers and writers’ works as early as in Greek antiquity, nevertheless it was not expressed so strongly as in the second half of the 20th century. Especially in Heidegger’s work Being and Time (although originated in 1927, still influential in all later philosophy) the following states were characterised: the state of losing the ground (Abgrund), of being out of sight (Unheimlichkeit) and of being out of dwelling (Un-zuhause-sein) – as the basis of self-confidence of conscious being there (Dasein). The entire criticism of philosophy of home and dwelling draws the inspiration from this early writing of the German philosopher, it combines crisis of basic terms of metaphysics with social conditions which are dictated by living in large metropolis. The crisis of both metaphysical foundation and home appears to be similar to the situation of weakening the relations between a man and his dwelling in extensively expanding cities. Whereas philosophy, as well as many disciplines of social sciences, have diagnosed for a long time the destabilisation of fundamental ideas of Western culture and crucial changes in the ways of dwelling, architecture itself occurred to be “the last fortress of metaphysics” (J. Derrida). Among contemporary architects, Peter Eisenman and Bernard Tschumi were the ones who engaged most decidedly in the issues of critical analysis of architecture foundation and its social role. Both the architects noticed new formulas of contemporary social and individual existence, tremendously different from the entire history, and at the same time they affirmed lack of adequacy of architecture concepts to new situations. Both Eisenman and Tschumi used to describe the existing architecture as a tool for consolidation of highly integrated and hierarchised societies, and also as a discipline extremely uncoincidental with the current character of social life based on ideas of freedom and diversity. The means to transform architecture and make a factor of further social changes out of it, was a concept that accentuated revealing the inner contradictions of this discipline, and considering them in designing strategies. Eisenman’s activity, in regard of what has just been noticed, was focused on questioning the basic rules of traditionally comprehended architecture, especially the rule of purpose. The American architect noticed that the concept of architecture as fulfilment the need of location, hides away the fact that the location has to be constantly reconsidered, and hence it is overtaken by change (dislocation). Therefore new concept of architecture propounded architectural activity to translocate the concept of location – more than before – but also to change its status perpetually. Such comprehended architecture should claim, as its main purpose, the constant revision of this purpose and create itself anew permanently. Even Eisenman’s earliest designs of houses nos. I-IV broke with such values as the sense of safety, closeness and familiarity, and just on the contrary they accentuated senses of strangeness, homelessness and loss of confidence. The contradictions within architecture noticed by Tschumi referred to combination of intellectual and sensual values in architecture, when their non-appropriation was defeated by an additional condition, namely the way of experience based on pleasure of excess, marked by insanity. The features of folly were especially visible in his designs of gardens, where the order of planning was mixed with sensual experience introduced by particular elements (both the ones created by nature, and the buildings defined as folies). Parc de la Villette designed by the French architect in Paris put in question not only the common understanding of purpose in architecture but also the ideas of order and integrity, as its plan was based on the combination of independent layers with records of grids of points, various lines and planes. The architecture that collides inadequate elements with each other was supposed to be a kind of an event with no beginning and no end. The architecture treated as an event became a form of a space weakened articulation that maintains its diversity and lack of accordance of the elements building it up. The analyses of Eisenman and Tschumi’s theoretical writings indicate how much the aims of architecture have actually changed; instead of supporting social persistence, the architecture is rather intensifying contradictions, and instead of providing people with the sense of safety, it sublimes danger. From simple acts of defamiliarisation, increasing the distance to itself and enhancing the role of theory, through discomfort, anxiety, not feeling someone at home, weirdness, excess, shock and violence, architecture reached the edge of stability and uncertainty, only to make an attempt at penetrating what is impossible and unutterable, and recording what cannot become the subject of any records. -/- . (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula (...) fails, because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

FRANCIS SUÁREZ’S VIEWS ON THE RELATION BETWEEN THE ABSOLUTE POWER OF GOD AND THE NATURAL LAW The article presents Francis Suárez’s views concerning the problem of the possibility of granting dispensation from the natural law by the absolute power of God. Suárez’s opinions on this matter were shown in his comprehensive work on the philosophy of law: De legibus ac Deo legislatore, in Book II De lege aeterna, naturali, et jure gentium, chapter XV entitled Utrum Deus dispensare possit in lege (...) naturali etiam de absoluta potestate. Analyzing the notion of natural law Suárez accepts the Thomistic formula, according to which, the created world is a collection of things with invariable natures. These natures require us to fulfil certain moral obligations and to act in a proper manner. And for this reason, natural law, included in the Decalogue, is invariable and even God is not able to grant its dispensation. The commandments involve an intrinsic principle of justice and obligation and for this reason they are not liable to dispensation. God cannot act contrary to His own nature and His being just, so He would not order people to do something intrinsically unjust. Doctor Eximius justifies moral norms expressed in the Decalogue axiologically, not in a voluntaristic way, by referring to God’s will alone. Suárez criticises both strong theological voluntarism, attributed to Ockham, as well as weak theological voluntarism, attributed to John Duns Scotus. Keywords: FRANCIS SUÁREZ, ABSOLUTE POWER OF GOD, NATURAL LAW. (shrink)

This paper aims to develop an elegant formula for the series of consecutive cubes of natural numbers under alternating signs. In addition, this paper investigates the formula under odd and even number of terms and discuss some important findings.

We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them and introduce a new characteristic of (...) relations, ternarity, that measures their ‘complexity of relating’ and allows to refine reduction results. In particular, we refine Peirce’s controversial reduction thesis, and show that reducibility behaviour is dramatically different on finite and infinite domains. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that a (...) four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

Common (κοινὸν) has the following features in Aristotle’s works: 1. ‘That which is common ὑπαρχει in many things at the same time,’ which show that it cannot be one thing because that which is one cannot be in many things at the same time. (Met. , Z, 1040b25-27) Although the common is common between different things, it is indeed different for each of them (ἓτερον ἑκατέρῳ τοῦτο αὐτο τὸ ζῷον). Animal, e.g., which is common between horse and man, is specifically (...) different in them (τὸ κοινὸν ἓτερον ἀλλήλων ἐστὶ τῷ εἴδει). Thus, man and horse are different having difference of genus, an otherness that makes the genus itself different (ἀνάγκη ἄρα τὴν διαφορὰν ταύτην ἑτερότητα τοῦ γένους εἶναι. λέγω γὰρ γένους διαφορὰν ἑτερότητα ἣ ἓτερον ποιεῖ τοῦτο αὐτό). (Met., I, 1058a2-8) 2. The common indicates a ‘such’ (τοιόνδε) and not a ‘this’ (τόδε τι). (Met., B, 1003a7-9) One reason of this is that every single thing has several commons with other things and if each of these commons were to be a this, every single thing would be several things. (Met., B, 1003a9-12; cf. Met., Z, 1038b34-1039a11) 3. To investigate the definition of a thing, we must stablish the common element in all members of all the species of that which is to be defined and the common of the commons until we reach to a single formula, which will be the definition. (PsA., B, 13, 97b7-13) The same is true about the investigation of essential nature: to inquire the essential nature of a thing, we should search for what is common in instances. (PsA., B, 13, 97b15-25) 4. The process of the selection of analyses and divisions is based on lying down the common genus of all the subjects of investigation by analyzing the common properties and especially essential properties of subgenera classes. (psA., B, 14, 98a1-12) 5. We must distinguish between two ways of commonship: being based on a common (καθ᾿ ἓν) or being related to or referred to a common (πρὸς ἓν or πρὸς μίαν). (Met., B, 1003b12-15) 6. Things that have common nature, fall under one science. (Met., K, 1060b33-36) . (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...) in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

The concept of causation is essential for understanding relationships among various phenomena, yet its fundamental nature and the criteria for establishing it continue to be debated. This paper presents a new theory of causation through a quasi-axiomatic approach. The core of this framework is Probability Distribution Determinism (PDD), which updates traditional determinism by representing states of affairs as probability distributions, with the if-then function serving as its foundational definition. Based on PDD, by merely using appropriate naming strategies, it is (...) possible to derive systems in which the structural characteristics of relationships among things closely resemble those in the real world, such as having various forms of nested hierarchies. Additionally, there are two related yet distinctly different contexts about relationships in PDD: one emphasizes the potential influence of conditions on outcomes in the general sense, while the other focuses on attributing responsibility for the state changes in specific scenarios. The formula for determining the relationship in the general sense is established as S(Y |S1(X), Ψ) ̸≡ S(Y |S2(X), Ψ). Subsequently, within the PDD framework, the paper clarifies the legitimate use of a series of concepts related to causation in those two contexts, thus encompassing the entire detailed connotation of the concept of causation. The comparison with other theories of causation and the analysis of case applications demonstrate that the new theory applies not only to situations where other theories are competent but also to situations where they are not. This suggests that, although certain aspects within the new framework may require further analysis, it provides a highly promising direction for a deeper understanding of causation. (shrink)

The primary objective of this book is to open space for rethinking the relationship between art and politics. It seeks to combat one of the fundamental assumptions that has plagued many of the previous debates on this issue: that art and politics are distinct entities definable in terms of common properties, and that they have privileged points of intersection, which can be determined once and for all in terms of an established formula. This common sense assumption is rooted in (...) a transcendent illusion according to which there are more or less fixed characteristics that unify our terms, concepts, and practices in such a way as to guarantee their meaning. Against this substantialist approach, Radical History & the Politics of Art argues for a praxeological account that begins the other way around by analyzing specific cultural practices without presupposing a conceptual unity behind them. Such an orientation is radically historicist in the sense that it recognizes that all of our practices—be they linguistic, theoretical, aesthetic or political—are historically constituted and that they are necessarily part of a temporal dynamic. Hence the contingent nature of the labels used to classify various practices or even identify ‘practice’ as such. Radical history thereby proposes a significant departure from the extant debates on art and politics by maintaining that there is no ‘art’ or ‘politics’ in general, nor a singular relation between them. There are only historically constituted practices in various conjunctures, some of which have been labeled, through practical acts of denomination, as ‘artistic’ or ‘political.’ Instead of proposing one more response to the oft-repeated question ‘what is the relationship between Art and Politics?’ this book seeks to overcome the presuppositions that plague such a question. It thereby changes the very nature of the investigation by asking: ‘how do the diverse aspects of practices identified as ‘aesthetic’ and ‘political’ overlap, intertwine and sometimes merge in precise socio-historical force fields of action? (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, (...) so the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...) note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

The book aims to examine how a Trinitarian Theism can be formulated through the elaboration of a Relational Ontology and a Trinitarian Metaphysics, in the context of a hyperphatic epistemology. This metaphysics has been proposed by some supporters of the so-called Open Theism as a solution to the numerous dilemmas of Classical Theism. The hypothesis they support is that the Trinitarian nature of God, reflected in a world of multiplicity, relationality, substance and relations, demands that we think of God (...) as dynamic, internally multiple and relational. However, if the expression «God is love» – understood as the formula of the Trinity – is the key to a new theism, it leaves a problem open: how can it be translated philosophically? The research develops on two different levels: first, it assesses whether the expression should be translated into the Trinitarian paradigm, and the aporias it generates; secondly, it tries to assess whether this paradigm (eminently relational) has a correspondence in ontology: is there a satisfactory Relational Metaphysics already available? The suspicion is that such Trinitarian-Relational Ontology, invoked by many as a solution to the incongruities of classical theism, has yet to be formulated in a satisfactorily manner, despite the existence of various attempts to formulate Relational Ontologies. In order to provide an evaluation of all these attempts and to outline some possible new perspectives, the thesis consists of five chapters. It is the aim of the present dissertation to evaluate such attempts, and to outline some possible new solutions. In the chapters some points have been established: 1. there must be at least one irreducible real relation (non-reductionist realism); 2. the relation must be equally fundamental to the substance: this means that it is both external and internal; 3. this relation must be able to account for contingent causality; 4. holism is a plausible position; 5. the Trinity is a good theistic model of the divine, apophatic but rational. The last chapter then returns to ontological questions: several Relational Ontologies are examined – including ontic structural realism and process (or eventist) ontology – together with their applications in philosophy of religion (e.g.: the Relational God, Process Trinitarianism, the Entangled God). This assessment shows how all these ontologies postulate real transcendental relations (subsistent relations), inside the substances or inside the powers, inside the tropes or the structures, describing them as monads or processes (or actual occasions). These relations are the same we need to describe the Trinity. Therefore, they are either possible for both domains – ontology and theology – or they are both impossible. It has been opted for the second conclusion. But they are both impossible and inevitable: the fundamental entities of the world and their interactions (causation) must be described as real transcendental relations because each ontology transforms entities or relations into real transcendental relationships at some point. Thus, neither relationalism nor substantialism are convincing: from the fall of these two dogmas (or, rather, from the fall of their naive interpretations) we can realise that the fundamental reality is something that lies between processism (relationalism) and substantialism. It is impossible to completely substitute the notion of substance with the notion of event, process, structure or relation, both in speaking of God and in speaking about the entities of fundamental ontology. Neither monism nor pluralism can be affirmed in their pure forms. The hypothesis proposed, then, is that the notion of gunk-junk is the only one that can translate the relationality hitherto sought in an ontological model. The central part of the chapter describes the merits and defects of an eventist-infinitive ontology (EIO) based on the concept of gunk, and its potentiality to generate new theistic accounts. Through the notion of infinityings it seems to be possible to find some solutions for the questions left open by the causal relation, and therefore to defend at least the existence of one relation (external and internal). Each fundamental entity is described, in this ontology, through four transcendentals: ‘entity’, ‘relation’, ‘unity’ and ‘multiplicity’. The co-primarity between substance and relations (borrowed from the notion of relatio subsistens) differentiates EIO from the process philosophies precisely because it does not pretend to eliminate the substantial principle, or the category of substance, but wants to think of it with the transcendental of relationality. Of course, EIO poses a challenge to the role, the method and the explicative capacity of metaphysics, because what we can state of the fundamental reality is antinomic. EIO tries to assume the antinomy as a result, to make it the basis of a kind of apophatic ontology. If our best ontology is gunky, then it is possible to confirm what has been said in chap. 4: the ‘how’ of individual substances is unknown to us at least as much as the ‘how’ of God. Even in the world we have the mystery of a distinction that is not division. However, the convergence of these antinomies can find an ultimate explanation in a theistic metaphysics (EIM): God creates inside of Himself and his Trinitarian substance is “contracted” into the worldly entities. They are made contingent and ontologically different by this self-limitation, but it is still the infinity of God that makes space in Himself for something new, even though He is totally present in every entity. It is not absurd to think that the substances of the world keep track of the divine nature, even in His “contraction”. Among the characteristics of the divine nature that each created entity maintains we have the subsistent relationality, the pericoretic indwelling (the infinite gunk-junk), the fact of being always one-and-many. If EIO and EIM are accepted as a good compromise between relationalism and substantialism, even in their apophaticity, then, on this basis, a Trinitarian Philosophy is possible. The picture of reality that emerges represents the world as multiple, substantial, contingent and intrinsically relational, forcing us to postulate the transcendental of relationality and multiplicity. Such transcendental leads us to think of the world and God (and their relations) in a Trinitarian way – With the necessary acknowledgement that this is a reasonable but apophatic discourse. (shrink)

This article will explain that the difficulty in understanding the role of the "We" in the Phenomenology arises from the confusion between the two distinct ways that consciousness appears in its basic nature, where "consciousness is, on the one hand, consciousness of the object, and on the other, consciousness of itself" (PhdG §85). Firstly, there is consciousness of an object, let's call it C(O), which also holds that there is a distinction between itself, C(O), and the object in-itself, "O." (...) Thus we have C(O) + O. Here, "consciousness simultaneously distinguishes itself from something, and at the same time relates itself to it" (PhdG §82). Secondly we have a consciousness of C(O) + O, which can be written as C[C(O)+O]. The first "C" in this formula is called observing consciousness, and the second "C" is the observed consciousness. The observed consciousness may also be called natural or ordinary consciousness. However, both observing and observed consciousness are essentially one and the same consciousness, "C," merely differing in form, at one and the same time both subject and object to itself. (shrink)

In this chapter we will deal with “mechanizing” induction, i.e. with ways in which theoretical computer science approaches inductive generalization. In the field of Machine Learning, algorithms for induction are developed. Depending on the form of the available data, the nature of these algorithms may be very different. Some of them combine geometric and statistical ideas, while others use classical reasoning based on logical formalism. However, we are not so much interested in the algorithms themselves, but more on the (...) philosophical and theoretical foundations they share. Thus in the first of two parts, we will examine different approaches and inductive assumptions in two particular learning settings. While many machine learning algorithms work well on a lot of tasks, the interpretation of the learned hypothesis is often difficult. Thus, while e.g. an algorithm surprisingly is able to determine the gender of the author of a given text with about 80 percent accuracy [Argamon and Shimoni, 2003], for a human it takes some extra effort to understand on the basis of which criteria the algorithm is able to do so. With that respect the advantage of approaches using logic are obvious: If the output hypothesis is a formula of predicate logic, it is easy to interpret. However, if decision trees or algorithms from the area of inductive logic programming are based purely on classical logic, they suffer from the fact that most universal statements do not hold for exceptional cases, and classical logic does not offer any convenient way of representing statements which are meant to hold in the “normal case”. Thus, in the second part we will focus on approaches for Nonmonotonic Reasoning that try to handle this problem. Both Machine Learning and Nonmonotonic Reasoning have been anticipated partially by work in philosophy of science and philosophical logic. At the same time, recent developments in theoretical computer science are expected to trig- ger further progress in philosophical theories of inference, confirmation, theory revision, learning, and the semantic and pragmatics of conditionals. We hope this survey will contribute to this kind of progress by building bridges between computational, logical, and philosophical accounts of induction. (shrink)

According to Christian doctrine as formulated by the Council of Chalcedon (451), Christ is one person (one supposit, one hypostasis) existing in two natures (two essences), human and divine. The human and divine natures are not merged into a third nature, nor are they separated from one another in such a way that the divine nature goes with one person, namely, the Word of God, and the human nature with another person, namely, Jesus of Nazareth. The two (...) natures belong to just one person, and the one person has two distinct natures. Chalcedon‟s justly-famous formula brought the debate into sharper focus and ruled out certain options, but of course it did not bring the arguments to a complete end. More councils,more debates, and more questions were to follow, although the range of disagreement tended to narrow. In the medieval Latin West, Peter Lombard (†1160) identified in book III of the Sententiae three “opinions” on the topic, but by the middle of the thirteenth century, it was widely agreed that only one of them was orthodox teaching. This relative unity of thought provided the space within which more detailed issues could be debated, and one of the most interesting of these concerned existence (esse): how many existences are there in Christ? Since Christ is only one person, it might seem that he has only one existence. On the other hand, he has two natures, so perhaps instead he has more than one existence. In this one paper, my goal is rather modest. I discuss only a few of the relevant authors, and I focus primarily on which questions they were asking. I proceed as follows. I first look at Thomas Aquinas, whose remarks on these topics had such a large influence on the debate later in the thirteenth and fourteenth centuries. Crucial will be certain distinctions that Thomas makes, distinctions we can see as disambiguating the question we began with, namely, „How many existences are there in Christ?‟. After that I will look at how one of those distinctions makes its appearance in the writings of two post-Thomistic authors, Giles of Rome and Godfrey of Fontaines. (shrink)

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

Like (ὃμοιος) has the following functions in Aristotle’s philosophy: 1. We know from Aristotle that some thinkers believed that ‘like is known by like.’ (ἡ δέ γνῶσις τοῦ ὁμοίου τῷ ὁμοίῳ). (Met. , B, 1000b5-6 and So., A, 5, 410a27-29 about Empedocles; So., A, 2, 404b16-18 about Plato; So., A, 2, 405b12-16 and b26-28 about those who define the soul by its power of knowing) This, however, is a problematic theory in Aristotle’s point of view. One major problem is that (...) it is in contradiction with saying that like is not capable of being affected by like (though there are some who believe in this: So., B, 5, 416b35-36) simply because knowing and thinking are ways of being affected on their own views. (So., A, 5, 410a23-26) Another reason being that this theory entails that error must be a ‘contact with the unlike’ because it is the opposite of the knowing of like by like. (So., Γ, 3, 427a26-b5) Aristotle also mentions that some thinkers believe that like is fed by like, though there are some others who believe in its converse. (So., B, 4, 416a29-32) He also mentions a theory he assigns to ‘Antisthenes and other such uneducated people’ based on which it is not possible to say what a thing is (τί μέν ἐστι) and its definition but it is possible to say what a thing is like’ (ὃτι δ᾿ οἷον καττίτερος). (Met., H, 1043b23-28) 2. Aristotle posits likeness as distinguished from sameness: things are the same whose substance is one but those are like whose quality is one.’ (Met., Δ, 1021a11-12) Quality is the only basis of similarity and dissimilarity: ‘It is only based on one of the qualities that things are called similar and dissimilar (ὃμοια δὲ καὶ ἀνόμοια κατὰ μόνας τὰς ποιότητας λέγεται). A thing is not similar to another in virtue of anything but that in virtue of which it is qualified.’ (ὃμοιον γὰρ ἓτερον ἑτέρῳ οὐκ ἔστι κατ᾿ ἂλλο οὐδὲν ἢ καθ᾿ ὃ ποιόν ἐστιν) (Cat., 8, 11a15-18) Also, things that are not without difference in their compound substances and thus are not absolutely the same but are the same in their form, are called alike. (Met., I, 1054b3-7) 3. Family resemblance. Aristotle says that some kinds of sameness that are not one due to the sameness of species ought still to be ranked in the same class because they seem to be one family based on a certain likeness and resemblance. (To., I, 7, ^103a10-25) 4. Aristotle distinguishes between two kinds of likeness: a) Likeness between things belonging to different genera with such a formula: as one is to one thing, so is another to something else (e.g. knowledge to object of knowledge and perception to object of perception). (To., I, 17, 108a7-10) b) Likeness between things belonging to the same genus: they are alike in so far as they have any identical attribute. (To., I, 17, ^108a14-17) 5. The contrary of likeness and unlikeness seems to be at least an alternative for primary difference and contrariness. Aristotle asserts that all contraries refer to the primary differences and contraries: ‘Since everything that is may become referring to some one common nature, each of the contraries also may become referring to primary differences and contraries of being, whether the first differences of being are plurality any unity or likeness and unlikeness, or some other differences.’ (Met., K, 1061a10-15; cf Met., K, 1061b11-15; Met., Γ, 1005a6-8) . (shrink)

This article discusses the views of Immanuel Kant on sexual perversion (what he calls "carnal crimes against nature"), as found in his Vorlesung (Lectures on Ethics) and the Metaphysics of Morals (both the Rechtslehre and Tugendlehre). Kant criticizes sexual perversion by appealing to Natural Law and to his Formula of Humanity. Neither argument for the immorality of sexual perversion succeeds.

Abstract: One of the most contentious challenges facing the Nigerian federal experiment today is that of revenue allocation. Right from the colonial era till present, finding an acceptable revenue formula has remained intractable as the various attempts have not gained wide acceptance. This paper chronicles the various revenue commissions in Nigeria and the formulae derived there from. Data for the paper were mainly from secondary sources. The theoretical nerve of the paper is based on the nature of intergovernmental (...) fiscal relations. The findings indicate that the derivation principle has been the main bone of contention since the discovery of oil in Nigeria. Based on this, the paper recommends a serious restructuring of the Nigerian federation to grant the various component units enough autonomy to develop at their own pace, while economic viability should be the main basis for creation of states and local governments. These states and local governments should also be encouraged to develop other revenue sources outside oil, and finally the issue of revenue allocation should be made open for all Nigerians to contribute in the true spirit of democracy. (shrink)