Through reading the early work of Walter Benjamin—up to and including the Trauerspiel, author Monad Rrenban elicits a cohesive conception of the wild, inforgettable form, philosophy, as inherent in everything. This book, distinct in its analysis and depth of analysis, elaborates the wild, unforgettable form—philosophy in relation to language, the discipline and the practice of philosophy, criticism, and the politics of death.

Through reading the early work of Walter Benjamin—up to and including the Trauerspiel, author Monad Rrenban elicits a cohesive conception of the wild, inforgettable form, philosophy, as inherent in everything. This book, distinct in its analysis and depth of analysis, elaborates the wild, unforgettable form—philosophy in relation to language, the discipline and the practice of philosophy, criticism, and the politics of death.

The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by the disjunction of the equations ∃E = 1 and ∃E = 0. We also define a weaker notion of (...) "relatively functional" algebra, and show that every member of MBA is isomorphic to a relatively functional one. (shrink)

Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.

We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA's is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that can be seen as an algebraic counterpart to semantic completeness for monadic free logic. The analysis involves the representation of (...) MBA's as powerset algebras of certain directed graphs with a set of "marked" points. It is shown that there are only countably many varieties of MBA's, all are generated by their finite members, and all have finite equational axiomatisations classifying them into fourteen kinds of variety. The universal theory of each variety is decidable. Finitely generated MBA's are shown to be finite, with the free algebra on r generators having exactly $2^{3.2^{r.} } ^{2^{{\rm{2}}^{{\rm{r - 1}}} } } $ elements. An explicit procedure is given for constructing this freely generated algebra as the powerset algebra of a certain marked graph determined by the number r. (shrink)

We define and study monadic MV-algebras as pairs of MV-algebras one of which is a special case of relatively complete subalgebra named m-relatively complete. An m-relatively complete subalgebra determines a unique monadic operator. A necessary and sufficient condition is given for a subalgebra to be m-relatively complete. A description of the free cyclic monadic MV-algebra is also given.

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed.

One of the main obstacles for panpsychism, the view that consciousness is fundamental and ubiquitous, is the difficulty of explaining how simple subjects could combine to form complex subjects. Known as the subject combination problem, it poses a possibly insurmountable challenge to the view. In this paper, I will assume that this challenge cannot be overcome and instead present a version of panpsychism that completely avoids talk of combination. Inspired by Gottfried Wilhelm Leibniz’s metaphysics of monads, I will focus on (...) a relational explanation of how simple subjects could constitute complex experiences, without them having to combine in virtue of their subjectivity. I call this view _monadic panpsychism_. Additionally, my proposal will not rely on emergence and so it will circumvent problems commonly faced by emergentist accounts. As I will argue, monadic panpsychism is preferable to combinatory and emergentist panpsychism because it faces a significantly less worrisome set of objections. Apart from being unaffected by the seemingly insuperable issue of subject combination, I will demonstrate that monadic panpsychism also has tools to address other kinds of the combination problem. That alone justifies the need for a new formulation of panpsychism, one which faces unique difficulties but also offers unique solutions. (shrink)

This article discusses the final development of Gottfried Wilhelm Leibniz’s metaphysics: the theory of monads. It examines Leibniz’s arguments for monads as mindlike “simple substances,” his description of the properties of monads, and the distinction he draws among different types of monads. The remainder of the article focuses on two problems that attend Leibniz’s claim that reality ultimately consists solely of monads and their internal states (perceptions and appetitions). The first problem is whether a relation among monads can account for (...) the supposed unity of a living body or corporeal substance; the second is whether the metaphysics of monads supports a plausible explanation of the reality of matter. With regard to the second problem, the article explores Leibniz’s thesis that monads are, in two senses, “requisites” of matter. It concludes with reflections on the limits of his attempt to explain the physical world in terms of monads alone. (shrink)

The Gödel translation provides an embedding of the intuitionistic logic$\mathsf {IPC}$into the modal logic$\mathsf {Grz}$, which then embeds into the modal logic$\mathsf {GL}$via the splitting translation. Combined with Solovay’s theorem that$\mathsf {GL}$is the modal logic of the provability predicate of Peano Arithmetic$\mathsf {PA}$, both$\mathsf {IPC}$and$\mathsf {Grz}$admit provability interpretations. When attempting to ‘lift’ these results to the monadic extensions$\mathsf {MIPC}$,$\mathsf {MGrz}$, and$\mathsf {MGL}$of these logics, the same techniques no longer work. Following a conjecture made by Esakia, we add an appropriate version (...) of Casari’s formula to these monadic extensions (denoted by a ‘+’), obtaining that the Gödel translation embeds$\mathsf {M^{+}IPC}$into$\mathsf {M^{+}Grz}$and the splitting translation embeds$\mathsf {M^{+}Grz}$into$\mathsf {MGL}$. As proven by Japaridze, Solovay’s result extends to the monadic system$\mathsf {MGL}$, which leads us to a provability interpretation of both$\mathsf {M^{+}IPC}$and$\mathsf {M^{+}Grz}$. (shrink)

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ -groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ -groups with strong unit. Some applications are given thereof.

In the following paper I would like to try to expound on a concept quite important in the philosophy of Leibniz – that of the “Monas Dominans”. In particular, I would like to approach this subject in the first place by means of considerations of a “historical-genetic” nature, while in the second part of my work I propose to put forward some possible interpretations of it. In both cases I will try to compare my ideas with those of recent studies (...) on this theme. The difficulties are numerous; first of all, the texts published to date in which Leibniz introduces and presents his doctrine of the “Monas Dominans” are relatively few, especially if compared to the space given to other elements of his philosophical system; secondly, if on the one hand the general intention put forward by Leibniz through the introduction of this doctrine is clear enough (the Monas Dominans renders “One” in the Machine the “corporeal substance”, that is the “Animal”, as found in the letter to De Volder of June 1703 to which scholars often make reference), on the other hand, when one tries to clarify its details and consider its implications one immediately runs into the same difficulties already pointed out in other studies (regarding, for example, the definition of “corporeal substance”, the relationship between the “Monas dominans” and the “innumerable subordinate monads” that form the “Organic Machine”, etc.). A primary idea I will try to present in this work regards the highlighting in the work of Leibniz of a close correlation between the appearance of the expression “organism” and that of the expression “Monas Dominans”. (shrink)

In this paper, we investigate universal and existential quantifiers on NM-algebras. The resulting class of algebras will be called monadic NM-algebras. First, we show that the variety of monadic NM-algebras is algebraic semantics of the monadic NM-predicate logic. Moreover, we discuss the relationship among monadic NM-algebras, modal NM-algebras and rough approximation spaces. Second, we introduce and investigate monadic filters in monadic NM-algebras. Using them, we prove the subdirect representation theorem of monadic NM-algebras, and characterize simple and subdirectly irreducible monadic NM-algebras. (...) Finally, we present the monadic NM-logic and prove its completeness with respect to monadic NM-algebras. These results constitute a crucial first step for providing an algebraic foundation for the monadic NM-predicate logic. (shrink)

Cappelen and Hawthorne present a powerful critique of fashionable relativist accounts of truth, and the foundational ideas in semantics on which the new relativism draws. They argue compellingly that the contents of thought and talk are propositions that instantiate the fundamental monadic properties of truth and falsity.

In this paper, we are concerned with the development of a general set theory using the single axiom version of Leśniewski’s mereology. The specification of mereology, and further of Tarski’s geometry of solids will rely on the Calculus of Inductive Constructions (CIC). In the first part, we provide a specification of Leśniewski’s mereology as a model for an atomless Boolean algebra using Clay’s ideas. In the second part, we interpret Leśniewski’s mereology in monadic second-order logic using names and develop a (...) full version of mereology referred to as CIC-based Monadic Mereology (λ-MM) allowing an expressive theory while involving only two axioms. In the third part, we propose a modeling of Tarski’s solid geometry relying on λ-MM. It is intended to serve as a basis for spatial reasoning. All parts have been proved using a translation in type theory. (shrink)

Most interpreters think that for Leibniz, teleology is goodness-directedness. Explaining a monadic action teleologically, according to them, simply means explaining it in terms of the goodness of the state at which the agent aims. On some interpretations, the goodness at issue is always apparent goodness: an action is end-directed iff it aims at what appears good to the agent. On other interpretations, the goodness at issue is only sometimes apparent goodness and at other times merely objective goodness: some actions do (...) not aim at what appears good to the agent, but merely at what is objectively good—that is, at what God knows to be good—and that is sufficient for teleology. My paper, on the other hand, argues that both of these interpretations are mistaken. Monadic teleology, I contend, does not have to consist in striving for the good; neither goodness nor God is required to make monadic actions teleological. (shrink)

In our paper, monadic modal pseudocomplemented De Morgan algebras are considered following Halmos’ studies on monadic Boolean algebras. Hence, their topological representation theory is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for monadic (...) De Morgan algebras. Finally, we show that the above results for mmpM are verified for monadic tetravalent modal algebras. (shrink)

A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $ -categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite index (...) first-order reducts. Using our classification we show that every structure in $\mathcal {M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal {M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas’ conjecture for the class $\mathcal {M}$. (shrink)

In spite of their materialist aspirations, both classical and neoclassical economic theories rely on non-material notions of value to explain market activity. André Orléan calls this commitment of orthodox economics "the substance hypothesis." In this essay, I show how the substance hypothesis mirrors Gottfried Wilhelm Leibniz's account of monads, which he called the "true atoms of nature." I argue that value is the atom of economic nature in orthodox economic theories. Like monads, it is a fantasy. The atom of economic (...) nature that governs our actual, material lives, I argue, is money. (shrink)

In this new work, Richard T. W. Arthur offers a fresh interpretation of Leibniz's theory of substance. He goes against a long trend of idealistic interpretations of Leibniz's thought by instead taking seriously Leibniz's claim of introducing monads to solve the problem of the composition of matter and motion.

Aiming for applications in monadic second-order model theory, we study first-order theories without definable pairing functions. Our main results concern forking-properties of sequences of indiscernibles. These turn out to be very well-behaved for the theories under consideration.

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The author not only provides a thorough (...) description of the theory, but also details its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory. (shrink)

In 1928 Edmund Husserl wrote that “The ideal of the future is essentially that of phenomenologically based (“philosophical”) sciences, in unitary relation to an absolute theory of monads” (“Phenomenology”, Encyclopedia Britannica draft) There are references to phenomenological monadology in various writings of Husserl. Kurt Gödel began to study Husserl’s work in 1959. On the basis of his later discussions with Gödel, Hao Wang tells us that “Gödel’s own main aim in philosophy was to develop metaphysics—specifically, something like the monadology of (...) Leibniz transformed into exact theory—with the help of phenomenology.” (A Logical Journey: From Gödel to Philosophy, p. 166) In the Cartesian Meditations and other works Husserl identifies ‘monads’ (in his sense) with ‘transcendental egos in their full concreteness’. In this paper I explore some prospects for a Gödelian monadology that result from this identification, with reference to texts of Gödel and to aspects of Leibniz’s original monadology. (shrink)

Cappelen and Hawthorne present a powerful critique of fashionable relativist accounts of truth, and the foundational ideas in semantics on which the new relativism draws. They argue compellingly that the contents of thought and talk are propositions that instantiate the fundamental monadic properties of truth and falsity.

We present the design goals and metatheory of the Monadic Hybrid Calculus, a new formal system that has the same power as the Monadic Predicate Calculus. MHC allows quantification, including relative quantification, in a straightforward way without the use of bound variables, using a simple adaptation of modal logic notation. Thus “all Greeks are mortal” can be written as [G]M. MHC is also ‘hybrid’ in that it has individual constants, which allow us to formulate statements about particular individuals. Thus “Socrates (...) is Athenian and mortal” can be formalised as s.For our proof system, we use a simple adaptation of Beth-style tableaus. The availability of individual constants eliminates the need for labelled deduction.We discuss first the pragmatic and pedagogical advantages of MHC. Then we present the metatheory: formal syntax, semantics, proof rules, soundness, completeness and expressive equivalence with the Monadic Predicate Calculus. (shrink)

Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.

Many concepts, which can be constituents of thoughts, are somehow indicated with words that can be constituents of sentences. But this assumption is compatible with many hypotheses about the concepts lexicalized, linguistic meanings, and the relevant forms of composition. The lexical items simply label the concepts they lexicalize, and that composition of lexical meanings mirrors composition of the labeled concepts, which exhibit diverse adicities. If a phrase must be understood as an instruction to conjoin monadic concepts that correspond to the (...) constituents, lexicalization must be a process in which non-monadic concepts are used to introduce monadic analogues. But given such analogues, along with some thematic concepts, conjunctions can mimic the effect of saturating polyadic concepts. The lexical items efface conceptual adicity distinctions, making it possible to treat a recursive combination of expressions as a sign of monadic predicate conjunction. (shrink)

The beginning of the twenty-first century saw something of a comeback for relativism within analytical philosophy. Relativism and Monadic Truth has three main goals. First, we wished to clarify what we take to be the key moving parts in the intellectual machinations of self-described relativists. Secondly, we aimed to expose fundamental flaws in those argumentative strategies that drive the pro-relativist movement and precursors from which they draw inspiration. Thirdly, we hoped that our polemic would serve as an indirect defence of (...) a traditional and natural picture concerning truth. According to this picture, what we call ‘Simplicity’, the fundamental structure of semantic reality is best revealed by construing truth as a simple monadic property of propositions that serve as the objects of belief, assertion, meaning and agreement. Our project was not a straightforward one. So-called relativists are not uniform in their key ideology, are often sloppy, casual, obscure or confused in their self-characterization, and differ in their argumentative emphasis among themselves and over time, thereby presenting a target that is both amorphous and shifty. This is an area where parties will frequently claim not to understand each other and where certain parties will sometimes accuse others of failing to make any sense at all. In such a situation, any effort to impose order will inevitably strike some parties as tendentious and unfair. That said, we felt that we had enough of …. (shrink)

I shall proceed in the following way. In parts II and III of this paper, I shall discuss the strengths and weaknesses of the interpretation put forward by Robert Merrihew Adams in his recent book, and I shall expand upon this account, discussing a crucial but hitherto unexamined aspect of the relation between dominant and subordinate monads, reconstructed from Leibniz's letters to Des Bosses and his essays of 1714, _Principles of Nature and Grace and Monadology. In part IV of this (...) paper, I shall examine various difficulties that arise both for my interpretation and, more generally, for Leibniz's account of the relation of domination and subordination. (edited). (shrink)

Leibniz’s interest in the Talmud and in Jewish philosophy and theology in general, is well established in the scholarly literature. In this paper, we suggest a short comparative study of Leibniz’s concept of the monad and the Talmudic idea of “Malchut.” Our study is based, specifically, on a tractate of the Talmud titled Yoma. This tractate is mainly focused on the Jewish Atonement Day, in which Jews are judged by God for their sins in the previous year. In particular, (...) in pages 38a-b of Yoma, the Talmud reads: “By your name they shall call you, and in your place they shall seat you, and from your own they shall give you; No person may touch that which is prepared for another, and one Malchut does not touch another even to the extent of a hairbreadth.” The Talmud suggests here that even though we somehow influence one another’s life, one cannot directly affect others’ predetermined place in the world or interfere in the individual paths prepared for others. In this paper, we aim to indicate the similarities between such Talmudic notions and Leibniz’s ideas in the Monadology – such as the ideas that monads have “no windows” and that a pre-established harmony is set among all monads by God – as a ground for future research. (shrink)

We investigate monadic fragments of Intuitionistic Control Logic, which is obtained from Intuitionistic Propositional Logic by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.

Epistemic monadic Boolean algebras are obtained by enriching monadic Boolean algebras with a knowledge operator. Epistemic monadic logic as the monadic fragment of first-order epistemic logic is introduced for talking about knowing things. A Halmos-style representation of epistemic monadic Boolean algebras is established. Relativizations of epistemic monadic algebras are given for modelling updates. These logics are semantically complete.

Daniel Garber presents a study of Leibniz's conception of the physical world, elucidating his puzzling metaphysics of monads, mind-like simple substances.

Assume ZFC + "There is a weakly compact cardinal" is consistent. Then: (i) For every $S \subseteq \omega, \mathrm{ZFC} +$ "S and the monadic theory of ω 2 are recursive each in the other" is consistent; and (ii) ZFC + "The full second-order theory of ω 2 is interpretable in the monadic theory of ω 2 " is consistent.

Leibniz has almost universally been represented as denying that created substances, including human minds and the souls of animals, can causally interact either with one another or with bodies. Yet he frequently claims that such substances are capable of interacting in the special sense of what he calls 'ideal' interaction. In order to reconcile these claims with their favored interpretation, proponents of the traditional reading often suppose that ideal action is not in fact a genuine form of causation but instead (...) a merely apparent influence which serves to 'save the appearances.' I argue that this traditional reading distorts Leibniz's thought and that he actually considers ideal action a genuine (though non-standard) form of causation. (shrink)

The genesis for this volume was in the bombing of Japan during World War II, where the author, as a young boy, watched the bombers overhead, speculating about the lives of the pilots and their relationship with those huddled on the ground._ From this disturbing diorama, Professor Hiroshi Kojima, the translator of Martin Buber into Japanese, unfolds a new approach to Buber's “I-Thou” relation, drawing upon insights from Husserl, Heidegger, and others in the tradition of continental philosophy to extend and (...) deepen Buber's thought. In chapters that reflect upon a wide range of phenomena—from religion, science, and technology, to imagination, embodiment, and power—Professor Kojima articulates a conception of what it means to be a human being that stands as an alternative to atomism and alienation of the modern world. Analyses of haiku and other aspects of Japanese culture demonstrate how Kojima's theory can illuminate the spiritual traditions of both East and West. Original in its thought and revealing in its insight into Japanese thought and culture, _Monad and Thou__ represents the life's work of one of Japan's great thinkers. (shrink)

This paper examines a widely accepted reading of monads as the most fundamental elements of reality. Garber [Leibniz – Body, Substance, Monad, Oxford: Oxford University Press, 2009] argues that simple monads – seen as mind-like atoms without parts and extension – replace the corporeal substance of Leibniz’s middle period. Phemister [Leibniz and the Natural World – Activity, Passivity and Corporeal Substances in Leibniz’s Philosophy, Dordrecht: Springer, 2005] argues that monads figure also at the top as complete corporeal substances. Building (...) on Fichant [‘L’invention métaphysique’ in G.W. Leibniz, Discours de métaphysique suivi de Monadologie et autres textes, edited by Michel Fichant, Paris: Gallimard, 2004], I argue that, for Leibniz, monads function not only as building blocks at the bottom level of composition but also at the top, as grounding the unity and hence the being of complete substances and organic unities. Since organic unities or living beings are seen by Leibniz as natural machines with a nested structure, and since monads are likened to living beings, this would imply that the use of the concept ‘monad’ holds not only at the bottom, and not only at the top, but all over the range between them. (shrink)

In Adelaster (2016), A. G. Conte proposes a distinction between de dicto and de re attributions of truth and falsity, which he illustrates mostly with documents of legal standing, but also with an artificial object (a false tooth). The present aim is to propose an analogous distinction between monadic (one-place) and polyadic uses of “true” and “false”, and to sketch some features of its logical functioning with closer attention to the monadic pole than is usual. One proposal is that, in (...) these uses, “true” and “false” do not function as opposites under negation. (shrink)

What kind of relationship subsists between an “organism” and a “monas dominans »? In some texts, Leibniz claims that the soul « actuat » the organic body and in the late debate with Stahl he describes the « monas dominans » as a « monas actuatrix ». But how does the monas « actualize » the organic body ? and what implies the semantic of the word « agere » here used by Leibniz ? Is it also possibile to describe (...) this event in terms of « whole/part » relationship ? The aim of this paper is to sketch out the status quaestionis of the topic by discussing some of the most recent studies. More specifically to propose an interpretation of the « monas dominans » as the « nota distinguens » of the whole organism. (shrink)

In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time (...) line H, which is a hyperfinite initial segment of the hyperintegers. The U-monad topology of H is the quotient topology of the U-topological space H modulo U. In this paper we answer a question of Keisler and Leth about the U-monad topologies by showing that when H is κ-saturated and has cardinality κ, (1) if the coinitiality of U1 is uncountable, then the U1-monad topology and the U2-monad topology are homeomorphic iff both U1 and U2 have the same coinitiality; and (2) H can produce exactly three different U-monad topologies (up to homeomorphism) for those U's with countable coinitiality. As a corollary H can produce exactly four different U-monad topologies if the cardinality of H is ω1. (shrink)

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.

Let ( * X, * T) be the nonstandard extension of a Hausdorff space (X, T). After Wattenberg [6], the monad m(x) of a near-standard point x in * X is defined as m(x) = μ T (st(x)). Consider the relation $R_{\mathrm{ns}} = \{\langle x, y \rangle \mid x, y \in \mathrm{ns} (^\ast X) \text{and} y \in m(x)\}.$ Frank Wattenberg in [6] and [7] investigated the possibilities of extending the domain of R ns to the whole of * X. (...) Wattenberg's extensions of R ns were required to be equivalence relations, among other things. Because the nontrivial ways of constructing such extensions usually produce monadic relations, the said condition practically limits (to completely regular spaces) the class of spaces for which such extensions are possible. Since symmetry and transitivity are not, after all, characteristics of the kind of nearness that is obtained in a general topological space, it may be expected that if these two requirements are relaxed, then a monadic extension of R ns to * X should be possible in any topological space. A study of such extensions of R ns is the purpose of the present paper. We call a binary relation $W \subseteq ^\ast X \times ^\ast X$ an infinitesimal on * X if it is monadic and reflexive on * X. We prove, among other things, that the existence of an infinitesimal on * X that extends R ns is equivalent to the condition that the space (X, T) be regular. (shrink)

Husserl's transcendental phenomenology is not a mere egology, but gets its concrete accomplishment only as a phenomenology of 'transcendental intersubjectivity'. However, the subjective centers of any transcendentality and thus of every constitution — even of intersubjectivity itself — have to be such unities as Leibniz' 'monads', that is, individually concrete subjects producing all their representations of one another completely out of themselves, respectively. Thus the problem arises, how the genuine transcendental status of each monadic subject in all its constitutive achievements (...) could be maintained so that they develop their own intentional lives in a universal mutual accordance, without presupposing again a supra-monadic ground for their 'harmony', i.e. a higher-levelled ordering unity. I shall argue that th peculiar Husserlian 'transcendental monadology' is inevitably bound to this intrinsic paradox which can at best be reduced to a mere postulate but never be resolved. (shrink)