The language of medicine is an extension of everyday language by adding technical terms such as "appendicitis", "angina pectoris", "blood pressure" and the like. It is therefore characterized by semantic chaos. Most of its terms are either not defined or ill-defined. The chaos would not deserve any attention, however, if it were not practically detrimental in research and practice. The best way to prevent the damage it causes is to learn in medicine something about methods of scientific concept formation. The (...) present chapter provides a concise and unrivalled introduction to such a methodology. We shall discuss the main methods of scientific concept formation known today, that is, all methods of definition and explication. Our discussion divides into the following four sections and is based on, and extends, the most valuable pioneering studies by Carl Gustav Hempel and, especially, Patrick Suppes (Hempel, 1952; Suppes, 1957, 151–173, 246–260): 6.1 What a Definition is; 6.2 What Role a Definition Plays; 6.3 Methods of Definition; 6.4 What an Explication is. (shrink)

Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for individuals and (...) the other for classes. The individual variables range over a domain closed under pairing and containing, among other things, natural numbers and operations.All the theories used assume a common group of axioms that insure that the individuals in the domain satisfy the conditions for a partial combinatory algebra with pairing. We also assume a class of natural numbers and a class induction axiom on . Finally there are various class existence axioms. I work mainly with three theories, FMT0, FMT and FMTΩ, which differ from each other both in their class existence axioms as well as in some further applicative axioms.These theories have various interpretations in which every object is explicitly presented by some means of definition as well as classical, or ‘standard’, set-theoretical interpretation. The systems are formulated in a flexible general language which can be used to prove abstract theorems of mathematics , thereby generalizing recursive, hyperarithmetic and admissible versions of classical mathematics.The aim of my work is to give an abstract development of portions of model theory in the afore-mentioned theories, in a way to look as much as possible like classical mathematics. Thus, FMT0 generalizes portions of countable and recursive model theory; FMT further generalizes portions of countable and hyperarithmetical model theory and finally FMTΩ provides a generalization of the classical L-completeness theorem and of an admissible version of L-completeness due to Bruce and Keisler. This continues the development of the program mentioned above, originating with Feferman. (shrink)

“Small” large cardinal notions in the language of ZFC are those large cardinal notions that are consistent with V = L. Besides their original formulation in classical set theory, we have a variety of analogue notions in systems of admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics and recursive ordinal notations (as used in proof theory). On the face of it, it is surprising that such distinctively set-theoretical notions have analogues in (...) such disaparate and relatively constructive contexts. There must be an underlying reason why that is possible (and, incidentally, why “large” large cardinal notions have not led to comparable analogues). My long term aim is to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases. This is a program in progress. What is done here, to begin with, is to show how that can be done to a considerable extent in the settings of classical and admissible set theory (and thence, admissible recursion theory). The approach taken here is to expand the language of set theory to allow us to talk about (possibly partial) operations applicable both to sets and to operations and to formulate the large cardinal notions in question in terms of operational closure conditions; at the same time only minimal existence axioms are posited for sets. The resulting system, called Operational Set Theory, is a partial adaptation to the set-theoretical framework of the explicit mathematics framework Feferman (1975). The.. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...) correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Definitionally: _strongly effectively immune_ sets are infinite and their c.e. subsets have _maximums_ effectively bounded in their c.e. indices; whereas, for _effectively immune_ sets, their c.e. subsets’ _cardinalities_ are what’re effectively bounded. This definitional difference between these two kinds of sets is very nicely paralleled by the following difference between their _complements_. McLaughlin: _strongly_ effectively immune sets can_not_ have _immune complements_; whereas, the main theorem herein: _effectively_ immune sets can_not_ have _hyperimmune complements_. Ullian: _effectively_ immune sets _can_ have _effectively_ immune (...) complements. The main theorem _improves_ Arslanov’s, effectively hyperimmune sets can_not_ have _effectively_ hyperimmune complements: the _improvement_ omits the second ‘_effectively_’. Two _natural_ examples of _strongly effectively immune_ sets are presented with new cases of the first proved herein. The first is the set of minimal-Blum-size programs for the partial computable functions; the second, the set of Kolmogorov-random strings. A proved, _natural_ example is presented of an _effectively dense simple_, _not_ strongly effectively simple set; its complement is a set of maximal run-times. Further motivations for this study are presented. _Kleene_ recursion theorem proofs herein emphasize how to conceptualize them. Finally, is suggested, future, related work—illustrated by a first, _natural_, _strongly effectively_ $\Sigma _2^0$ -_immune set_—included: solution of an open problem from Rogers’ book. (shrink)

The recognition of species proceeds by two fairly distinct phases: (1) the sorting of individuals into groups or basic taxa (‘discovery’) (2) the checking of those taxa as candidates for species-hood (‘justification’). The target here is a rational reconstruction of phase 1, beginning with a discussion of key terms. The transmission of ‘meaning’ is regarded as bimodal: definition states the intension of the term, and diagnosis provides a disjunction of criteria for recognition of its extension. The two are connected (...) by a spectrum, with purely theoretical definition at one pole and purely ‘operational’ diagnosis at the other, with the more operational elements explained by the more theoretical. The current plethora of species concepts provides a good example. Accepting the Ghiselin–Hull thesis, that a species is an individual, a basic taxon is therefore also an individual with organisms as its parts. In a generalised synchronic individual its parts are conceptually integrated by an integrating principle (IP), which consists of a relation applying within a plan or rule. Fully developed, such an IP ensures the maximisation of the information content of the individual. A diachronic individual is then the set of its component synchronic parts, and its IP is provided by near-identity in an appropriate space-time (not necessarily physical). The integration of parts of an individual is illuminated by Gasking's concept of a proper group (in this case a chain-group), whose members are related by the relation serially fitting together with, the IP completed by an appropriate plan or rule. Gasking also applied the term cluster to a proper group persisting over a substantial period of time, individuated by any member acting as focus. A basic taxon is therefore a cluster of individuals, integrated by the relation significantly taxonomically similar and the rule in character-space-time. The nature of those concepts is discussed and defended. A species will inherit certain of the attributes of the preceding basic taxon (taxa). In at least the synchronic version its parts (individuals) will resemble each other significantly, providing the intuitive applicability of ‘members of’ and ‘instances of’ a species. Also, the notion that a species’ name is given by pure ostension, via a name-bearer (holotype) is empirically incoherent: the name cannot be applied in practice without an appropriate set of diagnostic traits. (shrink)

Translated by Drew S. Burk and Anthony Paul Smith. Excerpted from Struggle and Utopia at the End Times of Philosophy , (Minneapolis: Univocal Publishing, 2012). THE END TIMES OF PHILOSOPHY The phrase “end times of philosophy” is not a new version of the “end of philosophy” or the “end of history,” themes which have become quite vulgar and nourish all hopes of revenge and powerlessness. Moreover, philosophy itself does not stop proclaiming its own death, admitting itself to be half dead (...) and doing nothing but providing ammunition for its adversaries. With our sights set on clearing up this nuance, we differentiate philosophy as an institutional entity, and the philosophizability of the World and History, of “thought-world,” which universalizes the narrow concept of philosophy and that of “capital.” We also give an eschatological and apocalyptical cause to this end, of “times” or “ages” rather than those of philosophical practice. Last but not least, it is the Future itself in the performativity of its ultimatum that determines this end times, reversing these times from the Identity the Future accorded to it, withdrawing the thought-world from the lie of its death. Why this style of axioms and oracles, these more or less subtle distinctions, old and debased, with an appeal to the ultimata , to end times and last words? We fight to give, parallel to the concept of Hell, its new theoretical position, for its philosophical return and its non-philosophical transformation. No more so than any other word, Hell is not a metaphor here, just the Principle of Sufficient World. Every man, no doubt, has his “hell” readily available, connivance, control, conformism, domestication, schooling, alienation, extermination, exploitation, oppression, anxiety, etc. We have our little list that the Contemporaries established in the previous century in the same way one used to construct lists of virtues and vices or honors and wealth. They invented it for us without knowing it, for us-the-Futures who have as our responsibility to invent its use. In the Christian and Gnostic tradition, the struggle of the End Times takes place “on earth.” The most sophisticated of believers have it taking place in Heaven as well, above all in Heaven. The various kinds of gnosis imagine infinite falls and vertiginous highs, the vertigo of salvation. On Earth as in Heaven, a hell is available. The Marxists have the law of profit and the control of production, the class struggle Capital imposes on man. The Nietzscheans, the dull grumble of the struggle in the foundations of World and History, the domestication of man, the society of control. The phenomenologists, the capture of being, the most superficial amongst them, the age of suspicion. But all of these “hells” are taken from World, History, Society, and Religion. What we call Hell is no longer of the order of these specific and total intra-worldly generalities, it is both more singular and more universal, no longer being at all of the same order, it is the determinant Identity of these small hells strung out through history but unified here in the name of the last Humaneity. It is even found within the French idiom for hell [ enfer ], en-fer literally means “in-irons.” We are as much “in-irons” as we are “alive” [ en-Vie ]. We believe in Hell but as non-philosophers and it is even because we are non-philosophers that we can believe in it outside of any sort of religion. Hell is less mythological than ideological, it combines philosophizability with universal capital. Under what form? A single term could work for them without being a metaphor or something they would participate in by analogy, a more innovative and conjectural term than control, more universal than profit. It would denote the growing and permanent extortion of a surplus-value of communication, of speed and of urgency in change, in productivity and in work, in the pressure of images and slogans. It would be worse than solicitation, more tenacious than capture, more active and persecutory than control, softer and more insidious than a frontal attack, just as perverse as questioning and accusation, less brutal and offensive than extermination, less ritualized than inquisition, it would be soft and dispersed, instantaneous and vicious, it would be a crime without declared violence. Collusion and conformism, it would be afraid to show itself. Related to rumor, from which it borrows its infinite and tortuous ways. It is harassment. As a modernized form of Hell, perhaps harassment has a long future in front of it, of innocent torture, slow assassination, in short the fall, but radical with no way of recovering and which tolerates only salvation. THE PHILOSOPHICAL PAST OF NON-PHILOSOPHY Non-philosophy is thus Man as the utopian identity of the philosophical form of the World, a utopia destined to transform it. We still have to understand these equations, in particular that of the being-uni-versed from Man, and this book adheres to this by re-exposing non-philosophy in a different way via one of its new possibilities. It uses this opportunity to once again take up formulations that lead to objections answering certain external critics, as well as revisiting diverging interpretations specific to non-philosophers. A portion of this book is devoted to going through these theories via a strict or “lengthy” presentation of non-philosophy, and its defense against more expeditious solutions. This work of rectification is the occasion, merely the occasion, for refocusing non-philosophy on Man (the “Man-in-person,” “Humaneity”), and in a more innovative manner, on its utopian vocation established since the book Future Christ . As for this “occasion,” it is quite obvious. A school of posture, not to say a school of thought, supposes a minimum of closure from the most liberating of knowledge, a heritage, its utilization, and its no less certain dispersal. Within its development, a variety of interpretations will no doubt appear, deviations that are as much normalizations, and a struggle against this multiplication of divergent tendencies. These are perhaps not inevitable evils, especially here, merely a normal development according to the twisting paths of history. But the problem is made worse by the fact that this school of non-philosophers is that of utopia. Not the former attempts devoted to commenting on the worst authoritarian and criminal forms of the past and the present, but utopia as the determinant principle for human life, or to put it another way, of the Future as an irreducible presupposition of (for) thinking the World and History. Non-philosophers are engaged in an aleatory navigation between the respect for the most rigorous utopia, whose rules are not that of the reproductive imagination but those from the Future determining imagination itself, as well as the temptations, diversions, and remorse of history. Little by little, we will begin to understand that the Future as we understand it no longer has any temporal consistency or positive content, without being an empty form or a nothingness, but that it is foreclosed to past and present History, just as it is foreclosed to the place of places, the World, and that it is the only method for establishing the practice of thinking in a non-imaginary instance. Because it is the World and History that are imaginary and have a terrible materiality, it is not necessarily utopia. We will overlap two objectives here: the defense of non-philosophy against the (non-) philosophers that we are, only occasionally, and the introduction of philosophy to a rigorous future. Together they set out to definitively render, without any possible return to philosophical conformism or towards the facilities of the past and present, the non-philosophical enterprise understood as utopia or uchronia. Imagination and speculation, left to themselves and thus undistinguished, are quite good for participating in the grand game of History but have little value or worse for the Future which is unimaginable and unintelligible and must be maintained as such. MAN-IN-PERSON AS SUSPENSION OF THE PHILOSOPHICAL CHORA The point where philosophical resistance is concentrated is without a doubt the invention of the Name-of-Man, first name, oracular as much as axiomatic, of the determining cause for the non-philosophical posture. And that which concentrates the differends is the style of non-philosophy as identity that possesses the dual aspect, of discipline and of the oeuvre, of the theorem and of the oracle. But the real difficulty in understanding the simplicity of non-philosophy is profoundly hidden in the depths of philosophy itself. Because philosophy, from Parmenides to Derrida, even Levinas, continues to be a divided gesture, without a veritable immanence, transforming its thematic contents of transcendence in also forgetting to transform the operative transcendence in the element from which the ontology of surface is established which we will call, in memory of Plato, the chorismos. The general effect of the chora literally gives place to philosophy, demanding binding and sutures to which we will once and for all “oppose” the Man-in-person, his power of cloning, and his future being. All philosophy contains a hinter-philosophy in which it deploys its operations and weaves its tradition like an understudy of a topographical nature and in the best of cases being itself topological. Philosophy as well consists of two levels, its pre-ontological operative conditions on the one hand, and its superficial theme on the other, it too has its presupposed, but is not aware of it or erases it within the unity of appearance named Logos. Rightly, the Logos, and its flash or lightning nature, possesses a “dark precursor,” the chora, which is as much a virtual image, and philosophy, dazzled by its own lightning flash, seems to completely forget about it at the same time it sets itself up within it. Non-philosophy risks taking this same path, of confusing what it believes to be the real with its phantom double, contenting itself to working on the thematic level of philosophy, not its surface objects and its idle chatter (we stopped talking about this a long time ago and in any case they are merely simple materials for inducing a work of transformation), but the transcendence-form of its objects. In the end it risks, through precipitation, taking back up the heritage of philosophy, a heritage of a misunderstood presupposed, even more profound than the play of transcendences. This is what the imperative of the radicality of immanence meant, to treat immanence in an immanent manner, not to make a new object out of it. And from here we get non- (philosophy) and its refusal of the Platonic chorismos , symbol of all abstraction, and thus all transcendental appearance. There are no illusions. The message will leave a heritage in tattered pieces and interpretations. But it was difficult not to dispute the differend to its core. There will be complete confusion of the multiple, possible, and necessary effectuations of non-philosophy with its interpretations. The non-philosophical or human freedom of philosophical effectuation and the philosophical freedom of interpretation. Effectuations demand non-philosophy to return to zero from the point of view of its philosophical material and thus also but within these limits the formulation of its axioms , but in no way providing from the outset divergent interpretations of the aforementioned axioms. They are divergent because they do not take into account the material from which these axioms are derived within non-philosophy, and because they do not see themselves as symptoms of another vision of the World. The utterances of non-philosophy are not mathematical theorems and pure axioms, they merely have a mathematical aspect . They are, by their extraction or origin, mathematical and transcendental. And by their determined function in-Real, within non-philosophy, they are identically in-the-last-Humaneity entities which have an aspect of an axiom and an aspect of interpretation (or an oracular aspect as we say) that attempts (sometimes it is ourselves who provide the occasion) to isolate and transform, in complete freedom of interpretation. There will be an opportunity to complain about the complex character of the language of non-philosophy, an idiom saturated with classical references, sophisticated in a contemporary way. Its freedom of decision up against the whole of philosophy demands these effects of “complication” and “privatization,” as the saying goes. But it also demands fighting against the drift [ dérive ] of the pedagogical-all and the mediatic-all that leads philosophy into the shallow depths of opinion, which is the site of its impossible death. The noble idealism of “pop-philosophy” has been consumed into a “philo-reality;” against this we propose philo-fiction. Parricide, which is at the bottom of these interpretations and which we can judge as being quite fertile, although it has informed tradition, only takes place once or within one lone meaning. In regards to Parmenides, it was possible; Plato introduced the Other as non-being and language, bringing into existence the philosophical system of the World, but is it possible to repeat it again with the same fecundity in regards to non-philosophy, this time in introducing (non) religion or (non) art, still mixing them without taking into account this mixture, alternatively as a philosophical or religious resentment? If philosophy begins via a crime, it is no doubt obliged to continue down similar pathways, to the effect that the crimes of philosophy, once the founding crime has been committed, are a reaction of self-defense. It is undoubtedly from this that we get Marx’s declaration that history begins by tragedy and repeats itself or ends in farce. The preservation of rigor and fecundity is, in every respect, a psychologically difficult task within a theory such as non-philosophy. Having posited an essential objective of liberation in regards to philosophy and its services, one has often understood this objective as an authorization of providing particular interpretations of its axioms and ends up obliterating their scope. This ends up confusing, on one hand, two kinds of freedoms in regards to non-philosophy, the freedom of its interpretations and the freedom of its effectuations. On the other hand, any defense of “principles” against precipitated interpretations is immediately taxed with a will to orthodoxy, a prohibitive objection when we are dealing with, as is the case here, a heretical theory of thought. Nevertheless, it is time to stop confusing heresy as the cause of thought with an ideology of heresies, which is certainly not at all our object, but rather a form of normalization. As for the “disciplinary” aspect, which is not the only aspect, it demands something other than philosophical “answers to objections,” a precision in the definition and use of its procedures in the formation of utterances, since non-philosophy is neither a supplementary doctrine interior to philosophy nor a vision of the world but one whose priority is a “vision of Man,” or rather Man as “vision” that implies a theory and a practice of philosophy. In the end, struggle is only one aspect of non-philosophy, not its whole or telos, struggle coming only from its materiality. In particular, if the discipline of non-philosophy is inseparable from struggle, it is not a question of reducing the monomaniacal obsession of its “marching orders.” This would reduce its complexity and kill its indivisibility, deploying it in a “long march” and a form of Maoization whose philosophical presuppositions no longer have any pertinence here, a case of the One and the Two, which are now cloned and no longer tied together. More generally, non-philosophy is a complex thought composed of a multitude of aspects, which is to say, unilateral interpretations, of a philosophical origin but reduced by their determination in-the-last-instance . The “liberalism” of non-philosophy is merely one of the aspects of which it is capable, not an essence. Similarly, it is only capable of having a “Maoist” aspect. Let us generalize. The weakness of non-philosophy is due to a specific cause, the determination-in-the-last-Humaneity of a subject for the World. Everything that has a right to the philosophical city can be said about it in turn and in a retaliatory mode since Man contributes nothing of himself that Man takes from the World. We can consider non-philosophy as being pretentious, absurd, idealistic, empty, materialistic, formalistic, contradictory, modern, post-modern, Zen, Buddhist, Marxist; it endures or tolerates, perhaps “appeals” to, or at least renders possible, sarcasms, ironies, and insults without even talking about the misunderstandings, partly for the same reason as psychoanalysis. All of this goes beyond simple “deviations.” They are its aspects, which is to say, its “unilateral” philosophical interpretations in both senses of the word, being either sufficient coming from the mouth of philosophers, or reduced to their absolute dimension of sufficiency and totality in the mouths of non-philosophers, and both times due to the weakness and strength of Man-in-person as their determination only in-the-last-instance. The non-philosopher is certainly not a Saint Paul fantasizing about a new Church. The non-philosopher is either a (Saint) Sebastian whose flesh is pierced with as many arrows as there are Churches, or a Christ persecuted by a Saint Paul. What is engaged in here is the practice of retaliation. A negative rule of the non-philosophical ethics of outlawed discussion by way of argumentation (the sufficient is you, the orthodox one is always you, you are the fashionable one, and when a master you are someone else) that is founded on the confusion of effectuations of non-philosophy and of its overall interpretations. Retaliation is the law but as with any too-human law, it must acquire a dimension that displaces it, or rather emplaces it and takes away its authority but not all of its effectiveness. If the non-philosopher is only authorized by himself, which is to say by philosophy but limited by the Real-of-the-last-instance, its critique of other non-philosophers can merely be retaliatory under the same conditions, only by the Real limited in-the last-instance. THE TREE OF PHILOSOPHICAL SAINTLINESS The thematic horizon or material of these debates is in the relationships between philosophy, religion as gnosis, and non-philosophy. It is inevitable, regarding non-philosophers in general (whether they are non-philosophers by name or simply its neighbors) that we often end up evoking Marx’s Holy Family and imagining, arranged on the neighboring branches of the tree of philosophy and annexed, sometimes abusively, to non-philosophy, authors who would quite evidently and quite rightly refuse this label. So it is that we find, for example, a Saint Michel, a Saint Alain, a Saint Gilles 1 without even mentioning the youngest who aspire as well to the freedom of “saintliness” and who make their muted voices heard here. If there is a Holy Family of non-philosophers, it extends completely beyond these three, provided that the sectarian spirit can save us. This book is organized in the following manner: To begin, in order to recall the essential part of the problematic, we have organized a Summary of Non-Philosophy , a vade-mecum of notions and basic problems, in a classical style. Secondly, there is Clarifications On the Three Axioms of Non-Philosophy , designed to posit their proper use as much as to elucidate their meaning. Thirdly, an analysis of Philosophizability and Practicity , both being extreme constituents of philosophical material or the contents of the third axiom. Fourthly, the heart of this work: Let us Make a Tabula Rasa of the Future or of Utopia as Method . Fifthly, we have a theoretical outline of a non-institutional utopia, The International Organization of Non-Philosophy, L’Organisation Non-Philosophique Internationale, (ONPHI) already created in practice but under the conditions of possibility and functioning from which here we put into question “de jure,” thus not without a perplexity concerning “facts,” in any case, without the capability of “getting to the bottom of things.” Sixthly, an essay characterizing The Right and the Left of Non-Philosophy , a brief topology of several philosophizing and normalizing positions of proponents or tenants of this problematic. Seventhly, Rebel in the Soul: A Theory of Future Struggle , a systematic discussion starting from a confrontation of non-philosophical gnosis and non-religious gnosis to the extent that they pose, posed or perhaps still will pose themselves as rivals to non-philosophy in a mixture of fidelity and infidelity. Despite the fact that it can also be read as putting non-philosophy into perspective: it pits against a standard Platonism two contemporary appropriations of Gnosticism. On the basis of the paradigm of Man who never ceases to come as the Future-in-person, each one of these moments strives to reestablish not the “true” non-philosophy and its orthodoxy, but the minimal conditions to respect in order to allow for its maximum fecundity. And in order to bring about one of the last possibilities of its development, making explicit Humaneity as a utopia-for-the-World. In introducing these considerations in the form of a “testament” and “ultimatum,” we want to indicate two things: First, that this is the last time we will intervene in order to caution non-philosophers against the temptation of returning and looking backwards towards philosophy. Only a disillusioned nostalgia for the former World and its traditions barely remain permissible to us.… Secondly, that non-philosophy is also a sort of ultimatum for considering one’s life and transforming one’s thought from the perspective of a uni-version rather than a conversion. Man as future is this ultimatum in action, not an impatient self-proclaimed genius, and philosophy is his testament. It is obviously the ultimatum that determines this testament as “old” with a view towards a life that is, itself, non-testamentary. In and of itself, the “old” can never bear a veritable eschaton. Thus, this book intersects according to the logic of this paradigm, under the sign of the ultimate or “last” as future, philosophy as testament and cautionary note for maintaining the non-philosophical oeuvre as “future” or “utopian.” We will see that between these two dimensions it cradles a theory of struggle. In the end, this book envisions non-philosophers in multiple ways. It inevitably sees them as subjects of knowledge, most often academics insofar as life in the world demands, but above all as close relatives of three great human types. The analyst and political militant are quite obvious, for non-philosophy is close to psychoanalysis and Marxism insofar as it transforms the subject in transforming philosophy. Here again, one must have a sense not of certain nuances but of aspects (of the interpretations, albeit unilateralized) and not in order to construct a simple proletarization or militarization of thought as theory. To be rigorous, rather than authoritarian or spiteful, is its task. And lastly, non-philosophy is a close relative of the spiritual but definitely not the spiritualist. Those who are spiritual are not at all spiritualists, for the spiritual oscillate between fury and tranquil rage, they are great destroyers of the forces of Philosophy and the State, which are united under the name of Conformism. They haunt the margins of philosophy, gnosis, mysticism, science fiction and even religions. Spiritual types are not only abstract mystics and quietists; they are heretics for the World. The task is to bring their heresy to the capacity of utopia, and their utopia to the capacity of the paradigm. NOTES We will recognize allusions, and sometimes references, to closely related or distant themes, but which are related, in the work of Michel Henry, Alain Badiou and via the representative of “non-religious” gnosis of a Platonic origin, in Gilles Grelet. It goes without saying that these discussions are current and local, neither concerning the ensemble of doctrines nor prejudging the eventual evolution of certain amongst them. This concerns defining certain proximities with non-philosophy (rather than adversaries which in some sense they are) and typological and emblematic differends (rather than conflicts with a certain author). (shrink)

Transitive extensional well founded relations provide an intuitionistic notion of ordinals which admits transfinite induction. However these ordinals are not directed and their successor operation is poorly behaved, leading to problems of functoriality. We show how to make the successor monotone by introducing plumpness, which strengthens transitivity. This clarifies the traditional development of successors and unions, making it intuitionistic; even the (classical) proof of trichotomy is made simpler. The definition is, however, recursive, and, as their name suggests, the (...) plump ordinals grow very rapidly. Directedness must be defined hereditarily. It is orthogonal to the other four conditions, and the lower powerdomain construction is shown to be the universal way of imposing it. We treat ordinals as order-types, and develop a corresponding set theory similar to Osius' transitive set objects. This presents Mostowski's theorem as a reflection of categories, and set-theoretic union is a corollary of the adjoint functor theorem. Mostowski's theorem and the rank for some of the notions of ordinal are formulated and proved without the axiom of replacement, but this seems to be unavoidable for the plump rank. The comparison between sets and toposes is developed as far as the identification of replacement with completeness, and there are some suggestions for further work in this area. Each notion of set or ordinal defines a free algebra for one of the theories discussed by Joyal and Moerdijk, namely joins of a family of arities together with an operation s satisfying conditions such as x ≤ sx, monotonicity or s(x ∨ y) ≤ sx ∨ sy. Finally we discuss the fixed point theorem for a monotone endofunction s of a poset with least element and directed joins. This may be proved under each of a variety of additional hypotheses. We explain why it is unlikely that any notion of ordinal obeying the induction scheme for arbitrary predicates will prove the pure result. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We consider countable so‐called rich subsemigroups of ; each such semigroup T gives a variety CPEAT that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of ω‐dimensional cylindric‐polyadic algebras with equality where substitutions are restricted to maps in T. It is shown that for any such T, if and only if is representable as a concrete set algebra of ω‐ary relations. The operations in the signature are set‐theoretically interpreted like in polyadic equality set (...) algebras, but such operations are relativized to a union of cartesian spaces that are not necessarily disjoint. This is a form of guarding semantics. We show that CPEAT is canonical and atom‐canonical. Imposing an extra condition on T, we prove that atomic algebras in CPEAT are completely representable and that CPEAT has the super amalgamation property. If T is rich and finitely represented, it is shown that CPEAT is term definitionally equivalent to a finitely axiomatizable Sahlqvist variety. Such semigroups exist. This can be regarded as a solution to the central finitizability problem in algebraic logic for first order logic with equality if we do not insist on full fledged commutativity of quantifiers. The finite dimensional case is approached from the view point of guarded and clique guarded (relativized) semantics of fragments of first order logic using finitely many variables. Both positive and negative results are presented. (shrink)

continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has (...) followed, has been a defense against horror and madness. Kant's prohibition on speculative metaphysics such as dogmatic metaphysics and transcendental realism, on thinking beyond the imposition of transcendental and moral constraints, has been challenged by numerous figures proceeding him. One of the more interesting critiques of Kant comes from the mad black Deleuzianism of Nick Land stating, “Kant’s critical philosophy is the most elaborate fit of panic in the history of the Earth.” And while Alain Badiou would certainly be opposed to the libidinal investments of Land's Deleuzo-Guattarian thought, he is likewise critical of Kant's normative thought-bureaucracies: Kant is the one author for whom I cannot feel any kinship. Everything in him exasperates me, above all his legalism—always asking Quid Juris? Or ‘Haven’t you crossed the limit?’—combined, as in today’s United States, with a religiosity that is all the more dismal in that it is both omnipresent and vague. The critical machinery he set up has enduringly poisoned philosophy, while giving great succour to the academy, which loves nothing more than to rap the knuckles of the overambitious [….] That is how I understand the truth of Monique David-Menard’s reflections on the properly psychotic origins of Kantianism. I am persuaded that the whole of the critical enterprise is set up to to shield against the tempting symptom represented by the seer Swedenborg, or against ‘diseases of the head’, as Kant puts it. An entire nexus of the limits of reason and philosophy are set up here, namely that the critical philosophy not only defends thought from madness, philosophy from madness, and philosophy from itself, but that philosophy following the advent of the critical enterprise philosophy becomes auto-vampiric; feeding on itself to support the academy. Following Francois Laruelle's non-philosophical indictment of philosophy, we could go one step further and say that philosophy operates on the material of what is philosophizable and not the material of the external world. [1] Beyond this, the Kantian scheme of nestling human thinking between our limited empirical powers and transcendental guarantees of categorical coherence, forms of thinking which stretch beyond either appear illegitimate, thereby liquefying both pre-critical metaphysics and the ravings of the mad in the same critical acid. In rejecting the Kantian apparatus we are left with two entities – an unsure relation of thought to reality where thought is susceptible to internal and external breakdown and a reality with an uncertain sense of stability. These two strands will be pursued, against the sane-seal of post-Kantian philosophy by engaging the work of weird fiction authors H.P. Lovecraft and Thomas Ligotti. The absolute inhumanism of the formers universe will be used to describe a Shoggothic Materialism while the dream worlds of the latter will articulate the mad speculation of a Ventriloquil Idealism. But first we must address the relation of philosophy to madness as well as philosophy to weird fiction. /1/ – Philosophy and Madness There is nothing that the madness of men invents which is not either nature made manifest or nature restored. Michel Foucault. Madness and Civilization. The moment I doubt whether an event that I recall actually took place, I bring the suspicion of madness upon myself: unless I am uncertain as to whether it was not a mere dream. Arthur Schopenhauer. The World as Will and Idea, Vol. 3. Madness is commonly thought of as moving through several well known cultural-historical shifts from madness as a demonic or otherwise theological force, to rationalization, to medicalization psychiatric and otherwise. Foucault's Madness and Civilization is well known for orientating madness as a form of exclusionary social control which operated by demarcating madness from reason. Yet Foucault points to the possibility of madness as the necessity of nature at least prior to the crushing weight of the church. Kant’s philosophy as a response to madness is grounded by his humanizing of madness itself. As Adrian Johnston points out in the early pages of Time Driven pre-Kantian madness meant humans were seized by demonic or angelic forces whereas Kantian madness became one of being too human. Madness becomes internalized, the external demonic forces become flaws of the individual mind. Foucault argues that, while madness is de-demonized it is also dehumanized during the Renaissance, as madmen become creatures neither diabolic nor totally human reduced to the zero degree of humanity. It is immediately clear why for Kant, speculative metaphysics must be curbed – with the problem of internal madness and without the external safeguards of transcendental conditions, there is nothing to formally separate the speculative capacities for metaphysical diagnosis from the mad ramblings of the insane mind – both equally fall outside the realm of practicality and quotidian experience. David-Menard's work is particularly useful in diagnosing the relation of thought and madness in Kant's texts. David-Menard argues that in Kant's relatively unknown “An Essay on the Maladies of the Mind” as well as his later discussion of the Seer of Swedenborg, that Kant formulates madness primarily in terms of sensory upheaval or other hallucinatory theaters. She writes: “madness is an organization of thought. It is made possible by the ambiguity of the normal relation between the imaginary and the perceived, whether this pertains to the order of sensation or to the relations between our ideas” Kant's fascination with the Seer forces Kant between the pincers of “aesthetic reconciliation” – namely melancholic withdrawal – and “a philosophical invention” – namely the critical project. Deleuze and Guattari's schizoanalysis is a combination and reversal of Kant's split, where an aesthetic over engagement with the world entails prolific conceptual invention. Their embrace of madness, however, is of course itself conceptual despite all their rhizomatic maneuvers. Though they move with the energy of madness, Deleuze and Guattari save the capacity of thought from the fangs of insanity by imbuing materiality itself with the capacity for thought. Or, as Ray Brassier puts it, “Deleuze insists, it is necessary to absolutize the immanence of this world in such a way as to dissolve the transcendent disjunction between things as we know them and as they are in themselves”. That is, whereas Kant relied on the faculty of judgment to divide representation from objectivity Deleuze attempts to flatten the whole economy beneath the juggernaut of ontological univocity. Speculation, as a particularly useful form of madness, might fall close to Deleuze and Guattari’s shaping of philosophy into a concept producing machine but is different in that it is potentially self destructive – less reliant on the stability of its own concepts and more adherent to exposing a particular horrifying swath of reality. Speculative madness is always a potential disaster in that it acknowledges little more than its own speculative power with the hope that the gibbering of at least a handful of hysterical brains will be useful. Pre-critical metaphysics amounts to madness, though this may be because the world itself is mad while new attempts at speculative metaphysics, at post-Kantian pre-critical metaphysics, are well aware of our own madness. Without the sobriety of the principle of sufficient reason we have a world of neon madness: “we would have to conceive what our life would be if all the movements of the earth, all the noises of the earth, all the smells, the tastes, all the light – of the earth and elsewhere, came to us in a moment, in an instant – like an atrocious screaming tumult of things”. Speculative thought may be participatory in the screaming tumult of the world or, worse yet, may produce its spectral double. Against theology or reason or simply commonsense, the speculative becomes heretical. Speculation, as the cognitive extension of the horrorific sublime should be met with melancholic detachment. Whereas Kant's theoretical invention, or productivity of thought, is self -sabotaging, since the advent of the critical project is a productivity of thought which then delimits the engine of thought at large either in dogmatic gestures or non-systematizable empirical wondrousness. The former is celebrated by the fiction of Thomas Ligotti whereas the latter is espoused by the tales of H.P. Lovecraft. /2/ – Weird Fiction and Philosophy. Supernatural horror, in all its eerie constructions, enables a reader to taste treats inconsistent with his personal welfare. Thomas Ligotti Songs of a Dead Dreamer. I choose weird stories because they suit my inclination best—one of my strongest and most persistent wishes being to achieve,momentarily, the illusion of some strange suspension or violation of the galling limitations of time, space, and natural law which forever imprison us and frustrate our curiosity about the infinite cosmic spaces beyond the radius of our sight and analysis H.P. Lovecraft. “Notes on Writing Weird Fiction” Lovecraft states that his creation of a story is to suspend natural law yet, at the same time, he indexes the tenuousness of such laws, suggesting the vast possibilities of the cosmic. The tension that Lovecraft sets up between his own fictions and the universe or nature is reproduced within his fictions in the common theme of the unreliable narrator; unreliable precisely because they are either mad or what they have witnessed questions the bounds of material reality. In “The Call of Cthulhu” Lovecraft writes: The most merciful thing in the world, I think, is the inability of the human mind to correlate all its contents. We live on a placid island of ignorance in the midst of black seas of infinity, and it was not meant that we should voyage far. The sciences, each straining in its own direction, have hitherto harmed us little; but some day the piecing together of dissociated knowledge will open up such terrifying vistas of reality, and of our frightful position therein, that we shall either go mad from the revelation or flee from the deadly light into the peace and safety of a new dark age. Despite Lovecraft's invocations of illusion, he is not claiming that his fantastic creations such as the Old Ones are supernatural but, following Joshi, are only ever supernormal. One can immediately see that instead of nullifying realism Lovecraft in fact opens up the real to an unbearable degree. In various letters and non-fictional statements Lovecraft espoused strictly materialist tenets, ones which he borrowed from Hugh Elliot namely the uniformity of law, the denial of teleology and the denial of non-material existence. Lovecraft seeks to explore the possibilities of such a universe by piling horror upon horror until the fragile brain which attempts to grasp it fractures. This may be why philosophy has largely ignored weird fiction – while Deleuze and Guattari mark the turn towards weird fiction and Lovecraft in particular, with the precursors to speculative realism as well as contemporary related thinkers have begun to view Lovecraft as making philosophical contributions. Lovecraft's own relation to philosophy is largely critical while celebrating Nietzsche and Schopenhauer. This relationship of Lovecraft to philosophy and philosophy to Lovecraft is coupled with Lovecraft's habit of mercilessly destroying the philosopher and the figure of the academic more generally in his work, a destruction which is both an epistemological destruction and an ontological destruction. Thomas Ligotti's weird fiction which he has designated as a kind of “confrontational escapism” might be best described in the following quote from one of his shortstories, “The human phenomenon is but the sum of densely coiled layers of illusion each of which winds itself on the supreme insanity. That there are persons of any kind when all there can be is mindless mirrors laughing and screaming as they parade about in an endless dream”. Whereas Lovecraft's weirdness draws predominantly from the abyssal depths of the uncharted universe, Ligotti's existential horror focuses on the awful proliferation of meaningless surfaces that is, the banal and every day function of representation. In an interview, Ligotti states: We don't even know what the world is like except through our sense organs, which are provably inadequate. It's no less the case with our brains. Our whole lives are motored along by forces we cannot know and perceptions that are faulty. We sometimes hear people say that they're not feeling themselves. Well, who or what do they feel like then? This is not to say that Ligotti sees nothing beneath the surface but that there is only darkness or blackness behind it, whether that surface is on the cosmological level or the personal. By addressing the implicit and explicit philosophical issues in Ligotti's work we will see that his nightmarish take on reality is a form of malevolent idealism, an idealism which is grounded in a real, albeit dark and obscure materiality. If Ligotti's horrors ultimately circle around mad perceptions which degrade the subject, it takes aim at the vast majority of the focus of continental philosophy. While Lovecraft's acidic materialism clearly assaults any romantic concept of being from the outside, Ligotti attacks consciousness from the inside: Just a little doubt slipped into the mind, a little trickle of suspicion in the bloodstream, and all those eyes of ours, one by one, open up to the world and see its horror [...] Not even the solar brilliance of a summer day will harbor you from horror. For horror eats the light and digests it into darkness. Clearly, the weird fiction of Lovecraft and Ligotti amount to a anti-anthrocentric onslaught against the ramparts of correlationist continental philosophy. /3/ – Shoggothic Materialism or the Formless Formless protoplasm able to mock and reflect all forms and organs and processes—viscous agglutinations of bubbling cells—rubbery fifteen-foot spheroids infinitely plastic and ductile—slaves of suggestion, builders of cities—more and more sullen, more and more intelligent, more and more amphibious, more and more imitative—Great God! What madness made even those blasphemous Old Ones willing to use and to carve such things? H.P. Lovecraft. “At the Mountains of Madness” On the other hand, affirming that the universe resembles nothing and is only formless amounts to saying that the universe is something like a spider or spit. Georges Bataille. “Formless”. The Shoggoths feature most prominently in H.P. Lovecraft's shortstory “At the Mountains of Madness” where they are described in the following manner: It was a terrible, indescribable thing vaster than any subway train – a shapeless congeries of protoplasmic bubbles, faintly self -luminous, and with myriads of temporary eyes forming and un-forming as pustules of greenish light all over the tunnel-filling front that bore down upon us, crushing the frantic penguins and slithering over the glistening floor that it and its kind had swept so evilly free of all litter. The term is a litmus test for materialism itself as the Shoggoth is an amorphous creature. The Shoggoths were living digging machines bio engineered by the Elder Things, and their protoplasmic bodies being formed into various tools by their hypnotic powers. The Shoggoths eventually became self aware and rose up against their masters in an ultimately failed rebellion. After the Elder Ones retreated into the oceans leaving the Shoggoths to roam the frozen wastes of the Antarctic. The onto-genesis of the Shoggoths and their gross materiality, index the horrifyingly deep time of the earth a concept near and dear to Lovecraft's formulation of horror as well as the fear of intelligences far beyond, and far before, the ascent of humankind on earth and elsewhere. The sickly amorphous nature of the Shoggoths invade materialism at large, where while materiality is unmistakably real ie not discursive, psychological, or otherwise overly subjectivist, it questions the relation of materialism to life. As Eugene Thacker writes: The Shoggoths or Elder Things do not even share the same reality with the human beings who encounter them—and yet this encounter takes place, though in a strange no-place that is neither quite that of the phenomenal world of the human subject or the noumenal world of an external reality. Amorphous yet definitively material beings are a constant in Lovecraft's tales. In his tale “The Dream-Quest of Unknown Kadatth” Lovecraft describes Azathoth as, “that shocking final peril which gibbers unmentionably outside the ordered universe,” that, “last amorphous blight of nethermost confusion which blashphemes and bubbles at the centre of all infinity,” who, “gnaws hungrily in inconceivable, unlighted chambers beyond time”. Azathoth's name may have multiple origins but the most striking is the alchemy term azoth which is both a cohesive agent and a acidic creation pointing back to the generative and the decayed. The indistinction of generation and degradation materially mirrors the blur between the natural and the unnatural as well as life and non-life. Lovecraft speaks of the tension between the natural and the unnatural is his short story “The Unnameable.” He writes, “if the psychic emanations of human creatures be grotesque distortions, what coherent representation could express or portray so gibbous and infamous a nebulousity as the spectre of a malign, chaotic perversion, itself a morbid blasphemy against Nature?”. Lovecraft explores exactly the tension outlined at the beginning of this chapter, between life and thought. At the end of his short tale Lovecraft compounds the problem as the unnameable is described as “a gelatin—a slime—yet it had shapes, a thousand shapes of horror beyond all memory”. Deleuze suggests that becoming-animal is operative throughout Lovecraft's work, where narrators feel themselves reeling at their becoming non-human or of being the anomalous or of becoming atomized. Following Eugene Thacker however, it may be far more accurate to say that Lovecraft's tales exhibit not a becoming-animal but a becoming-creature. Where the monstrous breaks the purportedly fixed laws of nature, the creature is far more ontologically ambiguous. The nameless thing is an altogether different horizon for thought. The creature is either less than animal or more than animal – its becoming is too strange for animal categories and indexes the slow march of thought towards the bizarre. This strangeness is, as aways, some indefinite swirling in the category of immanence and becoming. Bataille begins “The Labyrinth” with the assertion that being, to continue to be, is becoming. More becoming means more being hence the assertion that Bataille's barking dog is more than the sponge. This would mean that the Shoggotth is altogether too much being, too much material in the materialism. Bataille suggests that there is an immanence between the eater and the eaten, across the species and never within them. That is, despite the chaotic storm of immanence there must remain some capacity to distinguish the gradients of becoming without reliance upon, or at least total dependence upon, the powers of intellection to parse the universe into recognizable bits, properly digestible factoids. That is, if we undo Deleuze's aforementioned valorization of sense which, for his variation of materialism, performed the work of the transcendental, but refuse to reinstate Kant's transcendental disjunction between thing and appearance, then it must be a quality of becoming-as-being itself which can account for the discernible nature of things by sense. In an interview with Peter Gratton, Jane Bennett formulates the problem thusly: What is this strange systematicity proper to a world of Becoming? What, for example, initiates this congealing that will undo itself? Is it possible to identify phases within this formativity, plateaus of differentiation? If so, do the phases/plateaus follow a temporal sequence? Or, does the process of formation inside Becoming require us to theorize a non-chronological kind of time? I think that your student’s question: “How can we account for something like iterable structures in an assemblage theory?” is exactly the right question. Philosophy has erred too far on the side of the subject in the subject-object relation and has furthermore, lost the very weirdness of the non-human. Beyond this, the madness of thought need not override. /4/ - Ventriloquial Idealism or the Externality of Thought My aim is the opposite of Lovecraft's. He had an appreciation for natural scenery on earth and wanted to reach beyond the visible in the universe. I have no appreciation for natural scenery and want the objective universe to be a reflection of a character. Thomas Ligotti. “Devotees of Decay and Desolation.” Unless life is a dream, nothing makes sense. For as a reality, it is a rank failure [….] Horror is more real than we are. Thomas Ligotti. “Professor Nobody's Little Lectures on Supernatural Horror”. Thomas Ligotti's tales are rife with mannequins, puppets, and other brainless entities which of replace the valorized subject of philosophy – that of the free thinking human being. His tales such as “The Dream of the Manikin” aim to destroy the rootedness of consciousness. James Trafford has connected the anti-egoism of Ligotti to Thomas Metzinger – where the self is at best an illusion and we plead desperately for someone else to acknowledge that we are real. Trafford has stated it thus, “Life is played out as an inescapable puppet show, an endless dream in which the puppets are generally unaware that they are trapped within a mesmeric dance of whose mechanisms they know nothing and over which they have no control”. An absolute materialism, for Ligotti, implies an alienation of the idea which leads to a ventriloquil idealism. As Ligotti notes in an interview, “the fiasco and nightmare of existence, the particular fiasco and nightmare of human existence, the sense that people are puppets of powers they cannot comprehend, etc.” And then further elaborates that,“[a]ssuming that anything has to exist, my perfect world would be one in which everyone has experienced the annulment of his or her ego. That is, our consciousness of ourselves as unique individuals would entirely disappear”. The externality of the idea leads to the unfortunate consequence of consciousness eating at itself through horror which, for Ligotti, is more real than reality and goes beyond horror-as-affect. Beyond this, taking together with the unreality of life and the ventriloquizing of subjectivity, Ligotti's thought becomes an idealism in which thought itself is alien and ultimately horrifying. The role of human thought and the relation of non-relation of horror to thought is not completely clear in Ligotti's The Conspiracy Against the Human Race. Ligotti argues in his The Conspiracy Against the Human Race,that the advent of thought is a mistake of nature and that horror is being in the sense that horror results from knowing too much. Yet, at the same time, Ligotti seems to suggest that thought separates us from nature whereas, for Lovecraft, thought is far less privileged – mind is just another manifestation of the vital principal, it is just another materialization of energy. In his brilliant “Prospects for Post-Copernican Dogmatism” Iain Grant rallies against the negative definition of dogmatism and the transcendental, and suggests that negatively defining both over-focuses on conditions of access and subjectivism at the expense of the real or nature. With Schelling, who is Grant's champion against the subjectivist bastions of both Fichte and Kant, Ligotti's idealism could be taken as a transcendental realism following from an ontological realism. Yet the transcendental status of Ligotti's thought move towards a treatment of the transcendental which may threaten to leave beyond its realist ground. Ligotti states: Belief in the supernatural is only superstition. That said, a sense of the supernatural, as Conrad evidenced in Heart of Darkness, must be admitted if one's inclination is to go to the limits of horror. It is the sense of what should not be- the sense of being ravaged by the impossible. Phenomenally speaking, the super-natural may be regarded as the metaphysical counterpart of insanity, a transcendental correlative of a mind that has been driven mad. Again, Ligotti equates madness with thought, qualifying both as supernatural while remaining less emphatic about the metaphysical dimensions of horror. The question becomes one of how exactly the hallucinatory realm of the ideal relates to the black churning matter of Lovecraft's chaos of elementary particles. In his tale “I Have a Special Plan for This World” Ligotti formulates thus: A: There is no grand scheme of things. B: If there were a grand scheme of things, the fact – the fact – that we are not equipped to perceive it, either by natural or supernatural means, is a nightmarish obscenity. C: The very notion of a grand scheme of things is a nightmarish obscenity. Here Ligotti is not discounting metaphysics but implying that if it does exist the fact that we are phenomenologically ill-equipped to perceive that it is nightmarish. For Ligotti, nightmare and horror occur within the circuit of consciousness whereas for Lovecraft the relation between reality and mind is less productive on the side of mind. It is easier to ascertain how the Kantian philosophy is a defense against the diseases of the head as Kant armors his critical enterprise from too much of the world and too much of the mind. The weird fiction of both Lovecraft and Ligotti demonstrates that there is too much of both feeding into one another in a way that corrodes the Kantian schema throughly, breaking it down into a dead but still ontologically potentiated nigredo. The haunting, terrifying fact of Ligotti's idealism is that the transcendental motion which brought thought to matter, while throughly material and naturalized, brings with it the horror that thought cannot be undone without ending the material that bears it either locally or completely. Thought comes from an elsewhere and an elsewhen being-in-thought. The unthinkable outside thought is as maddening as the unthought engine of thought itself within thought which doesn't exist except for the mind, the rotting décor of the brain. /5/ - Hyperstitional Transcendental Paranoia or Self -Expelled Thought Weird fiction has been given some direct treatment in philosophy in the mad black Deleuzianism of Nick Land. Nick Land along with others in the 1990s created the Cyber Culture Research Unit as well as the research group Hyperstition. The now defunct hyperstitional website, an outgrowth of the Cyber Culture Research Unit, defined hyperstition in the following fourfold: 1-Element of effective culture that makes itself real. 2-Fictional quantity functional as a time-traveling device. 3-Coincidence intensifier. 4-Call to the Old Ones. The distinctively Lovecraftian character of hyperstition is hard to miss as is its Deleuzo-Guattarian roots. In the opening pages of A Thousand Plateaus Deleuze and Guattari write, “We have been criticized for over-quoting literary authors. But when one writes, the only question is which other machine the literary machine can be plugged into”. The indisinction of literature and philosophy mirrors the mess of being and knowing as post-correlationist philosophy, where philosophy tries to make itself real where literature, especially the weird, aims itself at the brain-circuit of horror. The texts of both Lovecraft and Ligotti work through horror as epistemological plasticity meeting with proximity as well as the deep time of Lovecraft and the glacially slow time of paranoia in Ligotti. Against Deleuze, and following Brassier, we cannot allow the time of consciousness, the Bergsonian time of the duree, to override natural time, but instead acknowledge that it is an unfortunate fact of existence as a thinking being. Horror-time, the time of consciousness, with all its punctuated moments and drawn out terrors, cannot compare to the deep time of non-existence both in the unreachable past and the unknown future. The crystalline cogs of Kant's account of experience as the leading light for the possibility of metaphysics must be throughly obliterated. His gloss of experience in Prolegomena to any Future Metaphysics could not be more sterile: Experience consists of intuitions, which belong to the sensibility, and of judgments, which are entirely a work of the understanding. But the judgments which the understanding makes entirely out of sensuous intuitions are far from being judgments of experience. For in the one case the judgment connects only the perceptions as they are given in sensuous intuition [....] Experience consists in the synthetic connection of appearances in consciousness, so far as this connection is necessary. Here it is difficult to dismiss the queasiness that Kant's legalism induces upon sight for both Badiou and David-Menard. Kant's thought becomes, as Foucault says when reflecting on Sade's text in relation to nature, “the savage abolition of itself”. For Badiou, Kant's philosophy simply closes off too much of the outside, freezing the world of thought in an all too limited formalism. Critical philosophy is simply the systematized quarantine on future thinking, on thinking which would threaten the formalism which artificially grants thought its own coherency in the face of madness. Even the becoming-mad of Deleuze, while escaping the rumbling ground, makes grounds for itself, mad grounds but grounds which are thinkable in their affect. The field of effects allows for Deleuze's aesthetic and radical empiricism, in which effects and/or occasions make up the material of the world to be thought as a chaosmosis of simulacra. Given a critique of an empiricism of aesthetics, of the image, it may be difficult to justify an attack on Kantian formalism with the madness of literature, which does not aim to make itself real but which we may attempt to make real. That is, how do Lovecraft's and Ligotti's materials, as materials for philosophy to work on, differ from either the operative formalisms of Kant or the implicitly formalized images of Deleuzian empiricism? It is simply that such texts do not aim to make themselves real, and make claims to the real which are more alien to us than familiar, which is why their horror is immediately more trustworthy. This is the madness which Blanchot discusses in The Infinite Conversation through Cervantes and his knight – the madness of book-life, of the perverse unity of literature and life a discussion which culminates in the discussion of one of the weird's masters, that of Kafka. The text is the knowing of madness, since madness, in its moment of becoming-more-mad, cannot be frozen in place but by the solidifications of externalizing production. This is why Foucault ends his famous study with works of art. Furthermore extilligence, the ability to export the products of our maligned brains, is the companion of the attempts to export, or discover the possibility of intelligences outside of our heads, in order for philosophy to survive the solar catastrophe. To borrow again from Deleuze, writing is inseparable from becoming. The mistake is to believe that madness is reabsorbed by extilligence, by great works, or that it could be exorcised by the expelling of thought into the inorganic or differently organic. Going out of our heads does not guarantee we will no longer mean we cannot still go out of our minds. This is simply because of the outside, of matter, or force, or energy, or thing-in-itself, or Schopenhauerian Will. In Lovecraft’s “The Music of Erich Zahn” an “impoverished student of metaphysics” becomes intrigued by strange viol music coming from above his room. After meeting the musician the student discovers that each night he plays frantic music at a window in order to keep some horridness at bay, some “impenetrable darkness with chaos and pandemonium”. The aesthetic defenses provided by the well trained brain can bear the hex of matter for so long, the specter of unalterability within it which too many minds obliterate, collapsing everything before the thought of thought as thinkable or at least noetically mutable on our own terms. Transcendental paranoia is the concurrent nightmare and promise of Paul Humphrey's work, of being literally out of our minds. It is the gothic counterpart of thinking non-conceptually but also of thinking never belonging to any instance of purportedly solid being. As Bataille stated, “At the boundary of that which escapes cohesion, he who reflects within cohesion realizes there is no longer any room for him” Thought is immaterial only to the degree that it is inhuman, it is a power that tries, always with failure, to ascertain its own genesis. Philosophy, if it can truly return to the great outdoors, if it can leave behind the dead loop of the human skull, must recognize not only the non-priority of human thought, but that thought never belongs to the brain that thinks it, thought comes from somewhere else. To return to the train image from the beginning “a locomotive rolling on the surface of the earth is the image of continuous metamorphosis” this is the problem of thought, and of thinking thought, of being no longer able to isolate thought, with only a thought-formed structure. [1] One of the central tenets of Francois Laruelle's non-philosophy is that philosophy has traditionally operated on material already presupposed as thinkable instead of trying to think the real in itself. Philosophy, according to Laruelle, remains fixated on transcendental synthesis which shatters immanence into an empirical datum and an a prori factum which are then fused by a third thing such as the ego. For a critical account of Laruelle's non-philosophy see Ray Brassier's Nihil Unbound. (shrink)

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...) formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

In her commentary of Field (1999), Hammerl (1999) has drawn attention to several interesting points concerning the issue of contingency awareness in evaluative conditioning. First, she comments on several contentious issues arising from Field's review of the evaluative conditioning literature, second she critiques the data from his pilot study and finally she argues the case that EC is a distinct form of conditioning that can occur in the absence of contingency awareness. With reference to these criticisms, this reply attempts to (...) address Hammerl's comments by exploring the issues of how awareness is defined, how it is best measured, and whether it is reasonable to believe that EC uniformly occurs in the absence of contingency awareness. The article concludes that the available evidence supports Field's proposition that EC is, in fact, Pavlovian learning. (shrink)

We interpret intuitionistic theories of (iterated) strictly positive inductive definitions (s.p.-ID i′ s) into Martin-Löf's type theory. The main purpose being to obtain lower bounds of the proof-theoretic strength of type theories furnished with means for transfinite induction (W-type, Aczel's set of iterative sets or recursion on (type) universes). Thes.p.-ID i′ s are essentially the wellknownID i -theories, studied in ordinal analysis of fragments of second order arithmetic, but the set variable in the operator form is restricted to occur only (...) strictly positively. The modelling is done by constructivizing continuity notions for set operators at higher number classes and proving that strictly positive set operators are continuous in this sense. The existence of least fixed points, or more accurately, least sets closed under the operator, then easily follows. (shrink)

Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...) proposing an ontology, a general theory of knowledge and concept of a person. Kaufmann's work derives, first of all, from the thinking of Gustav Radburch, his teacher, and then from ideas of Karl Engish and Hans-Georg Gadamer. The philosophy undertakes to pursue the ultimate foundation of law, law which is understood by Kaufmann, first of all, as a "concrete judgement" that is, what is right in a concrete situation. Justice belongs to the essence of law and "unjust law" is contradictio in adiectio. Kaufmann opposes all those theories, which as the only foundation for establishing just law (Recht) adopt legal norms (Gesetz). In Kaufmann's opinion , such theories are powerless in the face of all types of distortions of law rendered by political forces. He suggests that the basic phenomenon which needs to be explained and which cannot be disregarded by a philosopher of law is so-called "legal lawlessness" ("Gestzliches Unrecht"). "Legal lawlessness" which forms a part of life experience for the people of twentieth century totalitarian states. It proved "with the accuracy of scientific experiment" that the reality of law consists of something more than bare conformity with legal norms. The existence of lex corrupta indicates that law contains something "non-dispositive" which requires acknowledgment of both law-maker and judge. Kaufmann, accepting the convergent concept of truth and cognition, assumes that "non-dispositive" content, emerging as the conformity of a number of cognitive acts of different subjects (inter-subjective communicativeness and verifiability), indicates the presence of being in this cognition. The questions "What is law?" and "What are the principles of a just solution?" lead straight to the ontology of law, to the question about the ontological foundations of law. Kaufmann discerns the ontological foundations of law in the specifically understood "nature of things" and, ultimately, in a "person". He proposes a procedural theory of justice, founded on a "person". In my work, I undertake to reconstruct the train of thought which led Kaufmann to the recognition of a "person" as the ontological foundation of law. In the first part, the conception of philosophy adopted by Kaufmann, initial characteristics of law — of reality which is the subject of analysis, as well as, the requirements for proper philosophical explanation of law posed by Kaufmann are introduced. In the second, Kaufmann's reconstruction of the process of the realisation of law is presented. Next, the conception of analogy which Kaufmann uses when explaining law is analyzed. In the fourth part, Kaufmann's conception of ontological foundations of law is discussed. A critical analysis is carried out in which I demonstrate that the theory of the ontological foundation of law proposed by Kaufmann and the concept of a person included in it do not allow a satisfac¬tory explanation of the phenomenon of "legal lawlessness" and lead to a number of difficulties in the philosophical explanation of law. Finally, the perspectives of a proper formulation of the issue of the ontological foundations of law are drafted in the context of the analyzed theory. My interest is centered on the conception of philosophy adopted by Kaufmann, according to which the existence of the reality is inferred on the basis of a certain configuration of the content of consciousness, whereas at the point of departure of philosophy of law, the data to be explained is a certain process, which is, basically, a process of cognition, while the reality appears only as a condition for the possibility of the occurrence of the process. I wish to argue that the difficulties which appear in the explanation of law are a consequence of the assumed fundamental philosophical solu¬tions, which seem to be characteristic, though usually not assumed explicitly, in philoso¬phy and theory of law dominant at present in continental Europe. Thereby, I wish to show the significance of ontological and epistemological solutions to the possibility of a proper formulation of the problems posed by philosophy and theory of law. Kaufmann proclaims himself in favour of a philosophy which poses questions about the ultimate foundations of understanding of the reality. In epistemology, he assumes that answers to the questions "What is reality like?" and ultimately "What is real?" are inferred on the basis of uniformity of a cognitive acts of different subjects. Cognition of the reality is accomplished exclusively through the content of conceptual material. The two fundamental questions posed by philosophy of law are "What is just law?" and "How is the just law enacted?" The latter is a question about the process of achieving a solution to a concrete case. Since, in Kaufmann's opinion, law does not exist apart from the process of its realisation, an answer to the question about the manner of realisation of law is of fundamental significance to answering the question: "What is law?" and to the explanation of the question about the ontological grounding of law, which is, as well, the foundation of justice. The proper solution has to take into account the moment of "non-dispositive" content of law; its positiveness understood as the reality and, at the same time, it has to point to the principles of the historical transformation of the content. Law, in the primary meaning of the word, always pertains, in Kaufmann's opinion, to a concrete case. A legal norm is solely the "possibility" of law and the entirely real law is ipsa res iusta, that which is just in a given situation. Determination of what is just takes place in a certain type of process performed by a judge (or by man confronted with a choice). Kaufmann aims to reconstruct this process. A question about the ontological foundation of law is a question about the ontological foundations of this process. In the analyzed theory it is formulated as a question about the transcendental conditions, necessary for the possibility of the occurrence of the process: how the reality should be thought to make possible the reconstructed process of the realisation of law. Kaufmann rejects the model for finding a concrete solution based on simple subsump¬tion and proposes a model in which concrete law ensues, based on inference by analogy, through the process of "bringing to conformity" that which is normative with that which is factual. Kaufmann distinguishes three levels in the process of the realisation of law. On the highest level, there are the fundamental legal principles, on the second legal norms, on the third — concrete solutions. The fundamental principles of law are general inasmuch as they cannot be "applied" directly to concrete conditions of life, however, they play an important part in establishing norms. A judge encounters a concrete situation and a system of legal norms. A life situation and norms are situated on inherently different levels of factuality and normativeness. In order to acquire a definite law both a norm (system of norms) and a life situation (Lebenssachverhalt) should undergo a kind of "treatment" which would allow a mutual conformity to be brought to them. Legal norms and definite conditions of life come together in the process of analogical inference in which the "factual state" ("Tatbestand") — which represents a norm, and in the "state of things" ("Sachverhalt") — which represents a specific situation are constructed. A "factual state" is a sense interpreted from a norm with respect to specific conditions of life. The "state of things" is a sense constructed on the basis of concrete conditions of life with respect to norms (system of norms). Legal norms and concrete conditions of life meet in one common sense established during the process of realisation of law. Mutatis mutandis the same refers to the process of composition of legal norms: as the acquisition of concrete law consists in a mutual "synchronization" of norms and concrete conditions of life, so acquisition of legal norms consists of bringing to conformity fundamental principles and possible conditions of life. According to Kaufmann, both of these processes are based on inference through analogy. As this inference is the heart of these processes it is simultaneously a foundation finding just law and justice. How does Kaufmann understand such an inference? As the basis for all justice he assumes a specifically interpreted distributive justice grounded on proportionality. Equality of relations is required between life conditions and their normative qualification. Concrete conditions of life are ascribed normative qualification not through simple application of a general norm. More likely, when we look for a solution we go from one concrete normative qualified case to another, through already known "applications" of norms to a new "application". The relation between life conditions and their normative qualifica¬tion has to be proportional to other, earlier or possible (thought of) assignments of that which is factual to that which is normative. Law as a whole does not consist of a set of norms, but only of a unity of relations. Since law is a, based on proportion, relative unity of a norm and conditions of life, in order to explain law in philosophical manner, the question about ontological base of this unity has to be asked. What is it that makes the relation between a norm and conditions of life "non-dispositive"? What is the basis for such an interpretation of a norm and case which makes it possible to bring a norm and conditions of life into mutual "conformity"? This is a question about a third thing (next to norms and conditions of life), with respect to which the relative identity between a norm and conditions of life occurs, about the intermediary between that which is normative and that which is factual and which provides for the process of establishing of norms, as well as, finding solutions. It is the "sense" in which the idea of law or legal norm and conditions of life have to be identical to be brought to mutual "conformity". In Kaufmann's opinion such a sense is nothing else but the "nature of things" which determines the normative qualification of the reality. Since establishment of this "sense" appears to be "non-dispositive" and controlled inter-subjectively (namely, other subjects will reach a similar result) so, in conformity with the convergent concept of truth, the "nature of things" must be assigned a certain ontological status. According to Kaufmann this is a real relation which occurs between being and obligation, between the conditions of life and normative quality. However, it should be underlined that from the point of view of the analyzed system the "nature of things" is a correlate of constructed sense, a result of a construction which is based on the principle of consistent understanding of senses ("non-normative" and "normative") and is not a reality which is transcendent against the arrangement of senses. In Kaufmann's theory, inference from analogy appears to be a process of reshaping the concepts (senses) governed by tendency to understand the contents appearing in relations between that which is factual and that which is normative in a consistent way. The analogical structure of language (concepts) and recognition of being as composed of an essence and existence is an indispensable requirement for the possibility of the realisation of law, based on specifically understood inference from analogy. It is necessary to assume a moment of existence without content which ensures unity of cognition. Existence emerges thus as a condition of the possibility of cognition. According to Kaufmann, the "nature of things" is the heart of inference through analogy and the basis for establishment of finding of law. Inference from the "state of things" to a norm or from a norm to the "state of things" always means inference through the "nature of things". The "nature of things" is the proper medium of objective legal sense sought in every cognition of law. In Kaufmann's view, the question whether the "nature of things" is ultima ratio of interpretation of law or is only a means of supplement gaps in law or whether it is one of the sources of law, is posed wrongly. The "nature of things" serves neither to supplement the gaps nor is it a source of law as, for example, a legal norm may be. It is a certain kind of "catalyst" necessary in every act of making law and solving a concrete case. Owing to "nature of things" it is possible to bring to a mutual conformity the idea of law and possible conditions of life or legal norms and concrete conditions of life. In Kaufmann's conception the "nature of things" is not yet the ultimate basis for understanding the "non-dispositiveness" of law. The relation between obligation and being is determined in the process of the realisation of law. Both the process itself and that which is transformed in this process are given. A question about the ontological bases of "material" contents undergoing "treatment" in the process of the realisation of law and about being which is the basis of regularity of the occurrence of the process arises. Only this will allow an explanation that the result of the process is not optional. Thus, a question about reality to which law refers and about the subject realising the law has to be formed. To this, Kaufmann gives the following answer: that which is missing is man but not "empirical man" but man as a "person". A "person" understood as a set of relations between man and other people and things. A "person" is the intermediary between those things which are different — norm and case are brought to conformity. A "person" is that which is given and permanent in the process of the realisation of law. It determines the content of law, is "subject" of law; this aspect is described by Kaufmann as the "what" of the process of realisation of law. A "person" consists of precisely just these relations which undergo "treatment" in the process. On the other hand, a "person" is "a place" in which the processes of realisation of law occur, it is the "how" of normative discourse, a "person" is that which determines the procedure of the process, being "outside" of it. This aspect of a "person" is connected with the formal moment of law. A "person" being, at the same time, the "how" and the "what" of the process of the realisation of law, is also, to put it differently, a structural unity of relation and that which constitutes this relation (unity of relatio and relata). According to this approach a "person" is neither an object nor a subject. It exists only "in between". It is not substance. Law is the relation between being and obligation. That which is obligatory is connected with that which is general. That which is general does not exist on its own, it is not completely real. Accordingly, a "person" as such is also not real. It is relational, dynamic and historical. A "person" is not a state but an event. In Kaufmann's opinion, such a concept of a "person" helps to avoid the difficulties connected with the fungibility of law in classical legal positivism. A "person" is that which is given, which is not at free disposal and secures the moment of "non-dispositiveness" of law. Kaufmann concludes: "The idea (»nature«) of law is either the idea of a personal man or is nothing". Theory points at the structure of realising law and explains the process of adoption of general legal norms for a concrete situation. The analysis has shown however, that in this theory a satisfactory answer to the question about the ultimate foundations of law is not given. It seems that in the analyzed theory the understanding of human being takes place through understanding of law. What is good for man as a "person", what is just, what a "person" deserves may be determined only against the existing system of law. A "per¬son" adopted as a basis of law is the reality postulated in the analysis of the process of the realisation of law. It is a condition of possibility of this process ( explaining, on one hand, its unity and, on the other hand, the non-dispositive moments stated in this process). A "person" in the discussed theory is entirely defined by the structure of law, it can be nothing more than that which is given in law, what law refers to, what law is about. Being, which is a "person", is constituted by relations between people and objects, the relations which are based on fundamental links between norms and conditions of life established in a process of bringing them to conformity. It has to be assumed that man as a "person" is a subject of law only as far as realising law "treats" given senses according to their current configuration. The system of law is a starting point and it describes in content what man is as a "person". Moreover, being a "person" is the condition for entering legal relations. Consistently, Kaufmann writes that "empirical man" is not the subject of law, man is not "out of nature" a "person". People become "persons" due to the fact that they acknowledge each other as "persons" — acknowledging, at the same time, law. This acknowledgement is a con¬dition of existence, of the possibility of the occurrence of process of realisation of law and of constituting legal relations which ultimately constitute a "person". Kaufmann assumes, that law tends towards a moral aim: it may and must create an external freedom, without which the internal freedom to fulfil moral obligations cannot develop. However, this postulate is not based on the necessary structure of human being. From the point of view of his system, it is nothing more than only a condition for the possibility of the occurrence of the process of the realisation of law — lack of freedom would destroy the "how" of this process. Thus, the postulate to protect the freedom of personal acts has to be interpreted, in accordance with the analyzed theory, as a postulate, the fulfilment of which aims ultimately at the accomplishment of the very same process of realisation of law itself and not the realisation of a given man. Kaufmann considers a "person" to be an element which unites the system of law as a whole. Law is a structure of relations, which are interdependent and inter-contingent. Consequently, a "person" which is to form the ontological basis of law has to be entity consisting of all relations. Being also the "how" of the process of realisation of law, if a "person" is to warrant its unity, it has to be a common source for all procedures. Hence, a single "person" would constitute a subject of law. Man appears to be only a moment of a certain entirety, realisation of which should be an aim of his actions. Law, creating a "person" as an object and subject of law becomes a primary entity. In the analyzed theory, the basis for determination of aims which law sets to man is not the allocation of man-subject to something which improves him but rather, such relation is only just constituted by law. A question appears, why should aims set in law also be the aims of "empirical man"? Why is this "empirical man" to be punished in the name of a "person" understood in such a way? If, however, it is assumed that what is man is determined by a system which is superior to him, then man has to be understood only as a part of a whole and there are no grounds to prohibit istrumental treatment of man and so the road to all aspects of totalitarianism might be opened. A problem of the application of created theory to the reality arises, the reality which the theory pretends to explain. Ultimately in his theory Kaufmann does not give any systemic grounds for a radical questioning of the validity of any legal norms. Every new norm becomes an equal part of system of norms. It is only its interpretation and application to given conditions of life that may be disputable, however, this refers to all norms without exception. Cohesive inter-pretation of norms and applications is necessary and sufficient for the acquisition of just law. New norms have to be interpreted in the light of others, correspondingly, the other norms require reinterpretation in the light of the new ones. Contradiction in interpretation of a norm does not form a basis for questioning norms but may serve only to question the manner of their interpretation (understanding). Therefore, no grounds exist to assume any legal norm as criminal or unjust, and in consequence, to question any consistently realised system based on formally, properly established norms, as "legal lawlessness". As law and a "person" do not exist without the process of realisation of law, the role of legal safety becomes crucial as the condition for the possibility of the occurrence of the process of realisation of law. Denying legal safety would be tantamount to negation of law in general (also of moral law) as negation of safety takes away, at the same time, the basis for occurrence of the process of realisation of law. Moreover, any lack of legal safety would also mean lack of a basis for the existence of man as a "person". Kaufmann's thesis, that civil disobedience is legalized only when it has a chance to lead to success, consistent with his concept of the foundations of law, seems to point directly to conclusions which deny the facts taken under consideration and doubtlessly Kaufmann's own intentions, since it would have to be assumed that accordingly there are no grounds to question a legal system in force based on violence which secures its operation. Force finally seems to determine which one of the mutually irreconcilable normative systems constitute law and which does not. A legitimate position is one which leads to success, it is the weaker system which is negated. If so, then basically violent imposition of law is not an act directed against the law in force but, to the contrary, realisation of law. In the context of the new system the former system of law may be talked about as unjust solely in the sense of being incapable of being consistently united with the new. However, at the base, ultimately, lies force which reaffirms differences and excludes from the process of realisation of law certain norms and their interpretations. Kaufmann was aiming at grounding of that which is "non-dispositive" in a certain given framework of interpretation. Nevertheless, he does not provide foundations for the understanding of phenomena, which he undertakes to explain at a point of departure. Instead of explaining them the theory negates the possibility of their existence. The reality postulated in regard to "non-dispositive" moments of the reconstructed process of acquiring law consist of a specifically understood "person", which appears in Kaufmann's conceptions as a condition of the possibility of the realisation of law. According to this approach understanding of a "person" may be only a function of law. To understand "legal lawlessness" and foundations of justice it is necessary to look for such theory of law in which understanding of man as a "person" and being is not a function of understanding of law (in which a "person" is not only a condition for possibility of reconstructed process of realisation of law; for possibility of cognition processes). It seems necessary to start from theory of being and a "person" based on broader experience than the one assumed by Kaufmann and reconstruct the ontological foundations of the process of realisation of law only in such perspective. Kaufmann points out that that to which law refers is ipsa res iusta a concrete relation of man to other people and things. This relation, in his theory, appears to be basically only just constituted by law (normative senses "applied" to conditions of life). Therefore, understanding the relation between a given man and other people and things which constitute the aim of his actions, that is understanding of good, is enacted against the background of constitution of senses; constitution which is a result of a process aiming towards consistent understanding of particular contents (of nor¬mative and non-normative senses). "Being" is secondary towards constructed senses it is only their correlate. The primary relation consists of relation of a man to law (system of norms), while the secondary relation is one of man to something which is the aim of his action (relation between man and good). Considering such approach it is difficult to envision a satisfying answer to the fundamental question: why does law put concrete man under any obligation to obey it? The source of this problem can be seen in reduction of the base for understanding good to content of obligation formulated in auto-reflection. Such reduction seems to be a consequence of Kaufmann's adoption of "convergent concept of truth" and in con¬sequence his recognition of indirect, essentialistic grasp of reality formulated in concepts as the basic and only foundation of theory of being and of law. In view of such an approach, analogy of law, concepts and being is the condition for the possibility of the process of transformation of senses which aims at consistent interpretation of all law. Existence is postulated with respect to the possibility of unity of experience and cognition. However, also a different approach to understanding of the problem of being and good is possible. In spontaneous cognition being is affirmed, first of all, not as a certain, non-contradictory, determined content, but as something existing. Together with a cer¬tain content (passed indirectly through notions) existence of being is co-given. The basis for unity of being is not formed by the consistence of content, as it is in the case of the theories departing from the analysis of cognition processes, but by an act of existence realising content (essence). Such an approach makes it also possible to go beyond the convergent concept of truth. It is worth mentioning that allocation of an agent to good is realised not only by the content of duty. A statement that something is good is primary with respect to determination of this good in content. The recognised good always bears some content, however, there are no reasons to base the concept of good exclusively on indirect, formulated in concepts cognition. As primary, can be adopted the relation of man to good and not of man to law. Determination in content appears to be only an articulation of aspectual cognition of being, as an object of action. In such a case the basis for relative unity of norm and conditions of life is not the "nature of things" understood as correlate of sense but it is relation to good based on internal constitution of man as potential, not self-sufficient being. It does not mean, that the moments of the process of realisation of law singled out by Kaufmann are not important to determination of what is just. He, quite rightly, points to significant role played by norms in the evaluation of concrete situations, in man's search for closer specification in content of good innate to him. The structure of process of determining law for a concrete situation, to a great degree corresponds to the processes of determining law which take place not only in the legal sciences. Kaufmann's analyses of the process of realisation of law show the complexity of the structure of these processes and point towards important moments allowing a better understanding of law and man. Nevertheless, these analyses cannot be a basis for construction of philosophical theory of law, theory which hopes to point out the ultimate, ontological foundations for understanding law. Kaufmann's results may become fully valid only in a more general perspective including broader experience at the point of departure. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Desire and Ethics in Hobbes's Leviathan:A Response to Professor DeighAccording to the "orthodox" interpretation of Hobbes's ethics, the laws of nature are the products of means-end thinking. According to the "definitivist" interpretation recently offered by John Deigh, the laws of nature are generated by reason operating on a definition of "law of nature," where the content of this definition is given by linguistic usage.2 I aim to (...) accomplish two things in this note. First, I want to locate as clearly as possible the point at which the orthodox and definitivist interpretations must disagree. Second, I want to show that once the claim on which these interpretations disagree is made clear, it is the orthodox interpretation that turns out to be the superior.31.Deigh takes as the initial test case for the various interpretations of Hobbes's moral theory the passage in chapter fifteen of Leviathan commonly known as "the reply to the fool." The fool, it will be recalled, argues that the precept that covenants be kept is not a rule of reason; Hobbes argues that the fool's "specious reasoning is neverthelesse [End Page 259] false," for to break a valid covenant is to violate a dictate of reason.4 Deigh summarizes his criticism of the orthodox interpretation of this passage as follows.On [the orthodox] interpretation, the dispute between Hobbes and the Fool concerns the deliverances of reason when reason is exercised in the service of self-interest, that is, when its exercise consists in determining the fittest means to achieving the ends set by egoistic desires. Such an exercise falls outside of the definition of reason that Hobbes gives in chapter five. It exemplifies strategic or means-to-end thinking and not deduction. Indeed, it corresponds to what Hobbes, in chapter three, defines as seeking... Hence, the orthodox interpretation of the laws of nature implies that Hobbes, in expounding the laws of nature, went back on the notion of reason he defined in chapter five. It implicitly attributes a fundamental inconsistency to Hobbes's philosophy.5The laws of nature—among which is the rule requiring the keeping of covenants6 —are held by Hobbes to be precepts of reason.7 Hobbes deems them, collectively, a science,8 by which he means that they are the deliverances of reason that pertain to a specific subject-matter.9 But, argues Deigh, Hobbes understands reason in a very specific way, a way that is distinct from the sort of means-end thinking that Hobbes describes in detail in chapter three and labels "seeking." Thus the orthodox interpretation of Hobbes's moral theory is at odds with Hobbes's own conception of the laws of nature individually as dictates of reason and collectively as the science of the true moral philosophy.It is of course true that the sort of thinking that Hobbes calls "seeking" and the sort of thinking that Hobbes calls "reasoning" are fundamentally different. Seeking takes its origin from experience: we have seen certain events following other events, and we retain a trace of that experience in imagination. Thus when we have some desire, there arises "the Thought of some means we have seen produce the like of that which we ayme at; and from the thought of that, the thought of means to that mean; and so continually, till we come to some beginning within our power."10 Those that are able to engage in this sort of thinking well are prudent,11 and on Hobbes's view, humans with comparable experience will exhibit a comparable degree of prudence.12 And because seeking requires only desire to regulate thought and some experience of events succeeding other events, there is nothing distinctively human about this form of thinking, and indeed Hobbes acknowledges that prudence is common to humans and other animals.13 By contrast, the process that Hobbes calls "reasoning" [End Page 260] is characterized independently of desire. All that is essential to reasoning is that it involves the drawing of consequences that follow from sentences formed from aptly-defined general terms.14 Thus all deliverances of reason are, either explicitly or implicitly, conditional in form: necessarily, if p... (shrink)

In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point recursion in functional of type level 2 over any appropriate structure. It is applied here to the case of potentially infinite streams as an abstract data type.

Some of our beliefs are institutional; that is, beliefs whose content is to a large extent shaped by institutions, such as beliefs about intellectual property, trade policy, or traffic rules. In this chapter, we propose a novel account of institutional beliefs, as we call them. In particular, we argue that institutional beliefs are primarily attributable to social entities, such as groups or collectives, and only secondarily to individual agents. This is because institutional beliefs respond to specific problems that, in principle, (...) only collectives face. However, existing methodology in behavioural science primarily relies on eliciting beliefs through individual choice data, which presents challenges for empirically modelling our proposed concept of institutional beliefs. To address this challenge, we propose to speak of institutional beliefs attributable to individual agents as ‘qua beliefs’. That is, institutional beliefs attributable to individual agents acting qua members of certain institutionally shaped groups. Within this framework, individuals’ qua actions occur in a shared realm of problems that can only be addressed through collective efforts. The relationship between individuals and their groups can be rendered tractable under formalised conditions. Under these conditions, choice data collected from individuals need not obstruct the elicitation of institutional beliefs for empirical study at both the collective and the individual level. We refer to these conditions as “IS conditions”, which are developed based on the synthesis between an interpretationist understanding of mental states and standard models of revealed preference theory as used in experimental economics. For an illustration of how this approach can be operationalised experimentally, we direct our readers to chapter 10 of this volume, where an experimental study applied our account of institutional beliefs. (shrink)

In 1954 Hempel wrote “Once the idea of a partial specification of meaning is granted, it appears unnecessarily restrictive, however, to limit the sentences effecting such partial interpretation to reduction sentences in Carnap's sense. … Generally, then, a set of one or more theoretical terms, t1, t2 ⃛, tn, might be introduced by any set M of sentences such that M contains no extralogical terms other than t1, t2 ⃛, tn, and observation terms, M is logically consistent, and M (...) is not equivalent to a truth of formal logic. The last two of these conditions serve merely to exclude trivial extreme cases. A set M of this kind will be referred to briefly as an interpretative system, its elements as interpretative sentences.” This is the last move in a process in which the idea of definition has been widened beyond the explicit or equivalence definition which was the basis of earlier thought on the subject of introducing new words into a language. It would seem that the scheme proposed by Hempel must represent the final move, for it would seem difficult to conceive any more liberal description of a purely direct and verbal scheme. Among the predecessors of Hempel in this liberalising movement I will mention Ramsey and Braithwaite whose views stem ultimately from Campbell, and are based on the idea that the “interpretative system” is essentially a scientific theory, and Carnap who introduced the particular notion of a “reduction sentence”, and who was more directly the source of Hempel's own ideas. (shrink)

The philosophy of Confucius has often been accused of lacking classical definitions of its core concepts. However, as I shall argue, Confucius systematically used nonclassical definitions—to be precise, operational ones. The notion of operational definition comes from Percy Bridgman’s The Logic of Modern Physics and means that the definiendum is defined by a set of operations that results in determining the meaning of the term in question. In the case of Confucian argumentation, operational definitions are mostly (...) nominal and, in contrast to unambiguous methods of measurement, also context-dependent. This results in there being various yet not mutually inconsistent definitions of one term, and in “paradigmatic examples” playing a crucial role. As I show, this mode of defining things had major implications for the content of Confucius’ thought. In fact, many of its forms could be traced back to other Chinese philosophers, including those of non-Confucian provenance. (shrink)

In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

Starting from the formal expressions of the hydrodynamical (or “local”) quantities employed in the applications of Clifford algebras to quantum mechanics, we introduce—in terms of the ordinary tensorial language—a new definition for the field of a generic quantity. By translating from Clifford into tensor algebra, we also propose a new (nonrelativistic) velocity operator for a spin- ${\frac{1}{2}}$ particle. This operator appears as the sum of the ordinary part p/m describing the mean motion (the motion of the center-of-mass), and of (...) a second part associated with the so-called Zitterbewegung, which is the spin “internal” motion observed in the center-of-mass frame (CMF). This spin component of the velocity operator is nonzero not only in the Pauli theoretical framework, i.e., in the presence of external electromagnetic fields with a nonconstant spin function, but also in the Schrödinger case, when the wavefunction is a spin eigenstate. Thus, one gets even in the latter case a decomposition of the velocity field for the Madelung fluid into two distinct parts, which constitutes the nonrelativistic analogue of the Gordon decomposition for the Dirac current. Explicit calculations are presented for the velocity field in the particular cases of the hydrogen atom, of a spherical well potential, and of an electron in a uniform magnetic field. We find, furthermore, that the Zitterbewegung motion involves a velocity field which is solenoidal, and that the local angular velocity is parallel to the spin vector. In the presence of a nonuniform spin vector (Pauli case) we have, besides the component of the local velocity normal to the spin (present even in the Schrödinger theory), also a component which is parallel to the curl of the spin vector. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

We characterize the proof-theoretic strength of systems of explicit mathematics with a general principle asserting the existence of least fixed points for monotone inductive definitions, in terms of certain systems of analysis and set theory. In the case of analysis, these are systems which contain the Σ12-axiom of choice and Π12-comprehension for formulas without set parameters. In the case of set theory, these are systems containing the Kripke-Platek axioms for a recursively inaccessible universe together with the existence of a (...) stable ordinal. In all cases, the exact strength depends on what forms of induction are admitted in the respective systems. (shrink)

This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. Our approach is to view such models as full subcategories of categorical models of intuitionistic set theory. It is shown that the existence of solutions to recursive domain equations depends upon the strength of the set theory. We observe that the internal set theory of an elementary topos is not strong enough to guarantee their existence. (...) In contrast, as our first main result, we establish that solutions to recursive domain equations do exist when the category of sets is a model of full intuitionistic Zermelo–Fraenkel set theory. We then apply this result to obtain a denotational interpretation of FPC, a recursively typed lambda-calculus with call-by-value operational semantics. By exploiting the intuitionistic logic of the ambient model of intuitionistic set theory, we analyse the relationship between operational and denotational semantics. We first prove an “internal” computational adequacy theorem: the model always believes that the operational and denotational notions of termination agree. This allows us to identify, as our second main result, a necessary and sufficient condition for genuine “external” computational adequacy to hold, i.e. for the operational and denotational notions of termination to coincide in the real world. The condition is formulated as a simple property of the internal logic, related to the logical notion of 1-consistency. We provide useful sufficient conditions for establishing that the logical property holds in practice. Finally, we outline how the methods of the paper may be applied to concrete models of FPC. In doing so, we obtain computational adequacy results for an extensive range of realizability and domain-theoretic models. (shrink)

Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither (...) recursiveness nor satisfaction are essential features of the truth definition . The recursive form was a ‘practical’ step towards the explicit definition that was Tarski's target. There are model-theoretic languages for which satisfaction is provably too crude a notion for expressing those properties of formulas that are needed for determining the truth of sentences. (shrink)

For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, and Choice (...) are broached in the formal elaboration of the ‘set of’f {} operation. So it is surprising that, while these notions are unproblematic today, they were once sources of considerable concern and confusion among leading pioneers of mathematical logic like Frege, Russell, Dedekind, and Peano. In the development of modern mathematical logic out of the turbulence of 19th century logic, the emergence of the empty set, the singleton, and the ordered pair as clear and elementary set-theoretic concepts serves as amotif that reflects and illuminates larger and more significant developments in mathematical logic: the shift from the intensional to the extensional viewpoint, the development of type distinctions, the logical vs. the iterative conception of set, and the emergence of various concepts and principles as distinctively set-theoretic rather than purely logical. Here there is a loose analogy with Tarski's recursive definition of truth for formal languages: The mathematical interest lies mainly in the procedure of recursion and the attendant formal semantics in model theory, whereas the philosophical interest lies mainly in the basis of the recursion, truth and meaning at the level of basic predication. Circling back to the beginning, we shall see how central the empty set, the singleton, and the ordered pair were, after all. (shrink)

This paper makes the case for an inhabited institutionalism by pondering questions that continue to vex institutional theory: How can we account for local activity, agency, and change without reverting to a focus on individual actors—the very kinds of actors that institutional theory was designed to critique? How is change possible in an institutional context that constructs interests and sets the very conditions for such action? Efforts to deal with these questions by inserting various forms of individual, purposive actors into (...) institutional frameworks have created inconsistencies that threaten the overall coherence of institutional theory and move it farther from its sociological roots. To provide alternative answers, we turn to the growing line of work on “inhabited” institutions. Our exegesis of this literature has two goals. The first goal is to shift focus away from individuals and nested imagery and towards social interaction and coupling configurations. This move opens new avenues for research and helps to identify the spaces—both conceptual and empirical—and the supra-individual processes that facilitate change. This shift has important theoretical implications: incorporating social interaction alters institutional theory, and our second goal is to specify an analytic framework for this new research, an inhabited institutionalism. Inhabited institutionalism is a meso-approach for examining the recursive relationships among institutions, interactions, and organizations. It provides novel and sociologically consistent means for dealing with issues of agency and change, and a new agenda for research that can reinvigorate and reunite organizational sociology and institutional theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 36.2 (2003) 119-134 [Access article in PDF] The Constitution of Rhetoric's Tradition Maurice Charland Rhetoric is not a discipline. That is to say, as a domain of theoretical and practical knowledge, rhetoric is weakly institutionalized, lacking a centralized arbiter and standardized set of procedures for establishing truth claims. It also lacks the basic characteristics that Michel Foucault defines as disciplinary, for while we can identify (...) "groups of objects, methods, their corpus of properties considered to be true, the interplay of rules and definitions, of techniques and tools," these are neither universally admitted, nor do they "constitute a sort of anonymous system, freely available to whoever wishes, or whoever is able to make use of them, without their being any question of their meaning" (1972, 222). On the contrary, despite the fact that rhetoric is usually figured as offering practical and, indeed, positive knowledge, the meaning of its terms is always being questioned and at stake. While we might, by considering terms loosely, seek to identify rhetoric in terms of objects such as "persuasion," or "discourse," these are not exclusively its province. Furthermore, the ends of rhetoric are themselves unclear. Is rhetoric really the art of discovering the available means of persuasion? Or is it an art of citizenship? Or a method of enquiry? It has at times been defined as each. Consequently, none of these methods can fix its identity. At most, we can say that "rhetoric," as a domain of knowledge, signals a commitment to the idea of agency in discourse.Rhetoric, while not disciplinary, nevertheless "hangs together" as a domain of knowledge even though it does not cohere conceptually. It is, or comes close to being, a "discursive formation." That is to say, we can identify a field that produces statements concerning discourse and its operations, which is characterized by certain regularities that articulate with the term rhetoric itself. The first such regularity is the gesture of negation. Rhetoric refuses philosophy (or acts out having been refused by philosophy). [End Page 119] Rhetoric further is defined against other intellectual genres: rhetoric is not poetics, is not political science, is not ethics, though it may "speak" to them. Ultimately, though, this tells us very little about the nature of rhetoric's difference, for while refusal is effective in positing the existence of a boundary between rhetoric and other domains, the location of that boundary and what it contains remains unspecified. Rhetoric must also be attributed an at least provisional sense. This is accomplished by rhetoric's second gesture, which initially appears more substantial. Rhetoric is framed in terms of the positivity of a foundational "tradition." Indeed, the gesture toward tradition is ubiquitous. Consider, for example, both the title and principles of organization of Patricia Bizzell and Bruce Herzberg's (1990) anthology, George Kennedy's (1998) recursion to the idea of "tradition" even as he attempts to present rhetoric as a natural and cross-cultural phenomenon, recent feminist works that explicitly address "the tradition," 1 the routine citation of Classical authorities and examples, the recurrence of "new" rhetorics, including Burke's dramatism, Perelman's theory of argumentation, as well as Barthes' semiotics, which are offered as supplements to tradition's lacks, and, finally, the energy devoted to the study of the history of rhetoric. The rhetorical tradition, as something bequeathed or put in play by ancient teachers, appears to offer rhetoric a substance, a literature, and a set of problems, particularly through variants of two other principles of discursive formation identified by Foucault, commentary and the author-function. Even so, the gesture toward tradition does not imply the existence of a historically rooted and fixed corpus or model: "Tradition" is a vague term, there is no unproblematic canon of texts to be commented upon, and tradition itself, rather than Aristotle, Plato, or Cicero, stands as "author." What we debate is the meaning of the "tradition," the uneasy relationship between Socrates and Sophists, Plato and Aristotle, but as positions rather than personae. Furthermore, in the name of rhetoric, ancient and modern texts are often read against the grain, and what is... (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the new axiom (...) not merely postulates the existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T 0 + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T 0 + UMID in relating them to fragments of second order arithmetic based on Π 1 2 comprehension. [14] showed that T $_0 \upharpoonright$ + UMID and T $_0 \upharpoonright$ + IND N + UMID have at least the strength of (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. Here we are concerned with the exact reversals. Let UMID N be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T $_0 \upharpoonright$ + UMID N and T $_0 \upharpoonright$ + IND N + UMID N have the same strength as (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

The increasing focus to go beyond assessing cognitive constructs around the globe and in Singapore such as cultural awareness, grit and moral reasoning and the call for schools to prepare students for citizenship the development of corresponding instruments applicable in a larger scale. Given the significance of moral reasoning and its assessment are key elements within the current Singapore Character and Citizenship Education curriculum -syllabus.pdf, 2012), there is room to explore how moral reasoning can be assessed practically in a large-scale (...) setting. Undergirding this exploration requires a review of the epistemology of moral reasoning, corresponding theoretical frameworks, and how they might apply to moral education in Singapore schools. By reviewing perspectives of moral reasoning from relevant literature beyond educational research to business, medical and philosophical domains, this paper aims to propose an operational definition of moral reasoning suitable for use in Singapore schools, and to mitigate possible issues brought about by educators’ disparate or assumed understanding of moral reasoning. This can consequently support the enactment of the CCE curriculum and be applied to the development of assessment instruments suitable for use within Singapore schools and similar contexts. (shrink)

A function is recursive (in given operations) if its values are computed explicitly and uniformly in terms of other "previously computed" values of itself and (perhaps) other "simultaneously computed" recursive functions. Here, "explicitly" includes definition by cases. We investigate those recursive functions on the structure $\mathbf{N} = \langle \omega, 0, \operatorname{succ,pred}\rangle$ that are computed in terms of themselves only, without other simultaneously computed recursive functions.

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by (...) $n$ conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

The context for this paper is Feferman's theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the (...) new axiom not merely postulates the existence of a least solution, but, by adjoining a new functional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The upshot of the paper is that the latter extension of explicit mathematics (when based on classical logic) embodies considerable proof-theoretic strength. It is shown that it has at least the strength of the subsystem of second order arithmetic based on Π 1 2 comprehension. (shrink)

The modal interpretation of quantum mechanics allows one to keep the standard classical definition of realism intact. That is, variables have a definite status for all time and a measurement only tells us which value it had. However, at present modal dynamics are only applicable to situations that are described in the orthodox theory by projective measures. In this paper we extend modal dynamics to include positive operator measures. That is, for example, rather than using a complete set of (...) orthogonal projectors, we can use an overcomplete set of nonorthogonal projectors. We derive the conditions under which Bell's stochastic modal dynamics for projective measures reduce to deterministic dynamics, showing that Brown and Hiley's generalization of Bohmian mechanics [quant-ph/0005026, ] cannot be thus derived. We then show how deterministic dynamics for positive operators can also be derived. As a simple case, we consider a Harmonic oscillator, and the overcomplete set of coherent state projectors. We show that the modal dynamics for this POM in the classical limit correspond to the classical dynamics, even for the nonclassical number state |n>. This is in contrast to the Bohmian dynamics, which for energy eigenstates, the dynamics are always non-classical. (shrink)

Let N, O and S denote the set of nonnegative integers, the graph of the constant 0 function and the graph of the successor function respectively. For sets $P, Q, R \subseteq N^2$ operations of transposition, composition, and bracketing are defined as follows: $P^\cup = \{\langle x, y\rangle | \langle y, x\rangle \epsilon P\}, PQ = \{\langle x, z\rangle| \exists y\langle x, y\rangle \epsilon P & \langle y, z\rangle \epsilon Q\}$ , and [ P, Q, R] = ∪n ε M(PnQR (...) n). THEOREM. The class of recursively enumerable subsets of N2 is the smallest class of sets with O and S as members and closed under transposition, composition, and bracketing. This result is derived from a characterization by Julia Robinson of the class of general recursive functions of one variable in terms of function composition and "definition by general recursion." A key step in the proof is to show that if a function F is defined by general recursion from functions A, M, P and R then F = [ P∪, A∪ M, R]. The above definitions of the transposition, composition, and bracketing operations on subsets of N2 can be generalized to subsets of X2 for an arbitrary set X. In this abstract setting it is possible to show that the bracket operation can be defined in terms of K, L, transposition, composition, intersection, and reflexive transitive closure where K: X → X and L: X → X are functions for decoding pairs. (shrink)

In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of the properties of (...) singular sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (shrink)

Until the late 19th century scientists almost always assumed that the world could be described as a rule-based and hence deterministic system or as a set of such systems. The assumption is maintained in many 20th century theories although it has also been doubted because of the breakthrough of statistical theories in thermodynamics (Boltzmann and Gibbs) and other fields, unsolved questions in quantum mechanics as well as several theories forwarded within the social sciences. Until recently it has furthermore been assumed (...) that a rule-based and deterministic system was also predictable if only the rules were known, but this assumption has now been undermined by modern chaos-theory describing rule-based and deterministic, but unpredictable systems, while catastrophe-theory delivers a set of types describing various kinds of instability and conditions for the stability of a given system. Hence the main trait in the theoretical development in the 20th-century science can be described as a basic modification and limitation of some of the fundamental and strong assumptions forwarded in the previous epochs of modern science. Ironically, the very same process has been a process in which the human capacity to intervene in nature has expanded dramatically and mainly with the help of the very same theories, and not least because they allow nature to be described and made manipulable on a lower level and a more fine-grained scale. While the overall theoretical consistency between the various theories has gone, the reach of human intervention in nature has increased based on quite new dimensions whether in the area of physics (e.g.: energy technologies, chemical technologies, nanotechnologies etc.) or biology (ge¬netic manipulation) or in the area of psychology, sociology and culture (artificial simulations of mental processes, new means of communication, implying changes in the social infrastructure and cultural behaviour etc.). While some of these changes and new conditions can be reflected from within the conceptual framework of rule-based systems, albeit more complex than formerly recognized, others seem to give rise to the question of whether there are »systems« and relations between different systems in the world which are not rule-based? For instance, it seems to be obvious that the notion of instability represents a major conceptual break with former theories of rule-based systems, as the stability of the latter is an axiomatically given property implied in the very notion of rule-based systems, while instability can only be the result of external influence which should be explained as the result of another rule-based sy¬stem. While there are no difficulties implied concerning the stability of rule-based systems, the notion of unstable states of a system raises the question of how there can be a system at all if there are no invariant stabilising principles? This is the first question which I will address. And I shall do so by taking two examples of such systems as my point of departure. The first example will be the computer and the second will be ordinary language. In both cases I will argue that the stability of these systems (which are both defined by the existence/presence of human intentions) are provided by the help of - differently organised - redundancy functions which both allow the maintenance of systems in unstable macro-states, suspension of previous rules, underdetermination and overdetermination and generation/emergence/creation of new rules more or less independent of previous rules by the help of optional recursions to the permanently accessible underlying levels as for instance the level of binary representation in computers. Since the notion of redundancy is both controversial as such and often avoided, the concept is discussed (as defined in Claude Shannon's mathematical theory of information and in the semiotic framework of J. J. Greimas) and leading to a more general definition in which the redundancy functions serve to overcome noisy conditions, but at the cost of rule-based stability, determination, and predictability. A second question will be how the notion of rule-generating systems relates to the notion of anticipatory systems and it will be argued that rule-generating systems share some features with an¬ticipatory systems and that the former from a certain viewpoint can be seen as a subclass of the latter, although anticipative features are not necessarily a part of the definition of rule-generating systems. On the other hand, it will be discussed whether anticipatory systems which are not rule-generating systems can exist and it will be argued that the capacity to anticipate is strongly limited if it is not part of a rule-generating system. Therefore, it is concluded that the most powerful anticipatory systems need to be rule-generating systems. (shrink)

Photo ID 222412412 © US Navy Medicine | Dreamstime.com ABSTRACT In a non-military setting, the answer is clear: it would be unethical to treat someone based on non-medical considerations such as nationality. We argue that Battlefield Triage is a moral tragedy, meaning that it is a situation in which there is no morally blameless decision and that the demands of justice cannot be satisfied. INTRODUCTION Medical resources in an austere environment without quick recourse for resupply or casualty evacuation are often (...) limited. The shortage extends not only to supplies like blood products and drugs, but physicians and other medical personnel. In the midst of a mass casualty scenario, such as a battle that includes intense ground fighting, the medical staff will stretch scarce resources and triage casualties according to specific criteria. Typically, they proceed by providing care for the most severely wounded first, referred to here as conventional triage. At times, though, the staff may reverse the triage so that soldiers with minor wounds can return to the fight. In a mass casualty situation, when medical personnel apply conventional triage and treat casualties from opposing forces, a dilemma may arise. We argue that it can be permissible for military physicians to prioritize their own soldiers over enemy combatants in a mass casualty triage, where reverse triage does not apply. The case we will focus on is as follows: Battlefield Triage: During combat operations on a remote island in the Pacific Ocean, a compatriot soldier and an enemy combatant arrive at the compatriot soldier country’s medical treatment facility. Both have similar gunshot wounds to the abdomen, and they arrive with similar conditions. Both have low oxygen saturation and excessive blood loss. The sole physician only has enough time to stabilize one person. The scenario is brief, and we are aware that medical rules of eligibility will most often dictate how the physician proceeds,[1] but this scenario is useful in setting up the question we focus on in this paper: would it be wrong to favor the stabilization of a soldier just because the soldier is the physician’s compatriot? In other words, can nationality serve as an ethically justified tiebreaker in a situation such as Battlefield Triage?[2] In a non-military setting, the answer is clear: it would be unethical to treat someone based on non-medical considerations such as nationality. The AMA’s Code of Medical Ethics asserts that physicians have “ethical obligations to place patients’ welfare above their self-interest and above obligations to other groups.”[3] The World Medical Association’s Declaration of Tokyo affirms that “no motive, whether personal, collective or political, shall prevail against this higher purpose” of alleviating distress.[4] Physicians are taught early on that triage decisions must be medically indicated and made without consideration of factors such as race, ethnicity, religion, social status, and nationality. They are taught that public trust and obligations of justice grounded in equality demand that only medical indications be considered. But military physicians in a military setting are beholden to obligations, duties, and responsibilities as members of the military, and when these obligations, duties, and responsibilities conflict, as they do in Battlefield Triage, which loyalties win out and why?[5] Critics of partiality on national grounds argue that partiality undermines public trust in medicine and justice because everyone should be treated equally regardless of nationality.[6] Proponents of partiality argue that military obligations supersede equality and that justice requires partiality in such cases.[7] Despite the critics’ disagreement, both agree that there is a morally right, perhaps even blameless, course of action. Drawing on insights from virtue ethics, we argue that Battlefield Triage is a moral tragedy in which justice is unattainable and there is no action without moral cost. The assumption that there is a morally right choice is flawed. We argue that while no decision in this scenario is free from moral blame, there are reasons to favor treating one’s soldiers over enemy combatants. I. The Case Against Partiality There is a common assumption that there is a morally right or just decision in Battlefield Triage. A number of organizations and scholars claim that it is wrong for military physicians to favor their own soldiers on the grounds of nationality or some form of ‘group membership.’ (In a conflict involving service members from multiple nations working as a coalition, a soldier from an allied country may receive the same priority as the US service member due to ‘group membership.’) The World Medical Association’s WMA Declaration of Lisbon on the Rights of the Patient, which was reaffirmed in 2015, posits that, “[i]n circumstances where a choice must be made between potential patients for a particular treatment that is in limited supply, all such patients are entitled to a fair selection procedure for that treatment. That choice must be based on medical criteria and made without discrimination.”[8] This echoes what was set forth in Article 12 of the Geneva Conventions, which states that “[o]nly urgent medical reasons will authorize priority in the order of treatment to be administered.”[9] The argument for impartiality in Battlefield Triage is that every person is morally equal, and equality entails that medical distribution is, “based on a combination of medical need and urgency.”[10] This is in keeping with the bioethical principles that are generally applied.[11] II. The Case for Partiality On the other side, there are arguments that favoritism is the ethically right decision in Battlefield Triage.[12] The argument asserts that members of the military form a morally significant community of friends and participation in these relationships demands partiality. Just as parents have strong ethical duties to their children and not just any children, military personnel have ethical duties to their group, a group that involves an affirmation of mutual aid and support. Some have termed these ‘associative duties. According to Michael Gross, obligations of friendship, care, and solidarity “leave very little room for generally applicable principles of justice that would obligate a medic to treat enemy or non-compatriot wounded ahead of their compatriots.”[13] This is true in Battlefield Triage, but it may also be true even if the enemy’s soldier were more seriously wounded: “the ethics of small group cohesion, largely an ethics of care, mostly replaces the demands of impartial justice.”[14] In a more recent article, Gross explains that preferential treatment is ethically justified based on fighting capability and “the special obligations people owe friends, family, and, no less, comrades-in-arms.”[15] To not show partiality to the US soldier would be morally wrong on the grounds of friendship and mutual care.[16] III. The Moral Tragedy of Battlefield Triage Defenders and critics of Battlefield Triage favoritism based on nationality both frame their position as just or fair. For example, Justin List argues that physicians are “bound to practice medical neutrality,”[17] Marcus Adams denies that physicians “possess special ethical obligations” to enemy combatants because of their profession.[18] These perspectives assume that there is a morally right decision and that justice is attainable. The assumption that there is or can be a morally right Battlefield Triage decision, and we need to put our heads together to figure it out, remains strongly entrenched. However, the facts of the situation should give us pause; there are too many people and too few resources, and this demands a decision-making process that determines who will receive scarce resources. By its very nature, a battlefield triage decision has to be made based on some characteristic or value, a characteristic or value that will inevitably favor some at the expense of others. This is precisely why competing analyses “in the military context struggle to resolve these conflicts satisfactorily.”[19] Drawing on the insights of virtue ethics, we suggest that Battlefield Triage is a moral tragedy. Virtue ethics suggests that morality is about acting virtuously, which is to say that we should do what a virtuous person would do in the situation. Ethics is about figuring out how a just, wise, compassionate, loving, and fair person would act, and then doing that, as one grows in virtue. But life is not always clear cut, and it is possible that virtuous people may find themselves in a moral tragedy, a situation in which, through no fault of one’s own, a person must make a morally objectionable decision. After the action the virtuous person “emerges having done a terrible thing, the very sort of thing that the callous, dishonest, unjust, or in general vicious agent would characteristically do.”[20] Stated differently, a moral tragedy presents a virtuous person with two or more courses of action, all of which have a moral cost.[21] In Battlefield Triage, no matter how the physician goes about deciding, there is going to be defensible concern from those not saved. The fact that there are more people than can be helped fosters competing values in battlefield triage: maximize lives saved, treat people equally, treat the worse off, and support the war effort. Treating people equally may create tension between treating the worse off, maximizing lives saved, and supporting the war effort. Reverse triage is a case in point, as supporting the war effort conflicts with treating the worse off first, as is a fair lottery system since deploying a lottery may not maximize lives saved or support the war effort. There can be reasons why one person is selected over another, to be sure. Yet, there are reasons for making a decision, and that the decision is subject to legitimate moral concern is another. To recognize the moral tragedy of Battlefield Triage is to recognize the impossibility of acting blamelessly in the situation. In this situation, the virtuous military physician is going to have to sacrifice important values such as justice, compassion, and respect for others, even with a defensible criterion in hand. The physician will grieve this sacrifice accordingly. The physician may find her decision difficult or stressful, and rightly so, because of what her circumstances require of her. This kind of moral tragedy results “in actions which betray and violate the rights of persons to whom there may be a strong duty of care. When this happens, it properly triggers an appropriate moral emotion since our moral integrity has been violated and this affects how we think of ourselves and what we have become.”[22] Rather than view her triage decision as the morally superior choice, the virtuous military physician will view her decisions in these circumstances in a different light: it is the least bad option in a terrible situation, and she did something ethically problematic, something that is contrary to her moral character. She deeply regrets the circumstances in which she had to act. IV. Virtue Ethics A virtue ethicist has insight into how one should go about deciding what to do in a moral tragedy, although virtue ethics may not be as helpful as one may hope. The goal of the virtuous military physician in Battlefield Triage is to adopt the best course of action or the action that she feels she ought to do, all things considered. This does not make her choice devoid of serious wrongdoing—a decision must be made, but that does not make it just. The virtuous military physician will approach the situation with courage, responsibility, and insight. She will think about the decision carefully, wisely, and conscientiously; she will weigh the goods and harms of the choices before her, in conjunction with a proper conception of the good life, human worth, and understanding of her obligations to others—including chain of command, fellow soldiers, and the medical community. She is attuned to the value of human life and has a reasonable idea of the various ways her decisions will affect others. She recognizes that she is in this non-ideal situation through no fault of her own: she is not the one fighting in battles; she is serving her country as a physician, whose job it is to save lives, treat everyone justly, and promote military objectives. She regrets the decision she is forced to make in battlefield triage, acting “with immense regret and pain,” Hursthouse explains, “instead of indifferently or gladly.”[23] This is because, no matter what decision is made, the virtuous military physician “does something terrible or horrible,” something she otherwise would not do and is contrary to her values.[24] V. A Resolvable Moral Tragedy Instead of asking whether there is a morally right decision, in which a decision is morally blameless and above reproach, the virtue ethicist asks whether there is a decision with a convincing rationale, knowing that a decision can have a clear rationale but still be morally tragic. It is perfectly reasonable to think that different virtuous persons will arrive at different courses of action: “two virtuous agents, in the same situation,” Hursthouse writes, “may act differently” in irresolvable moral tragedies, in cases in which there is no clear course of action.[25] Because a person must act in a moral tragedy, one goal is to identify reasons for choosing the chosen action. Some decisions are clearly indefensible—treating neither the compatriot soldier nor the enemy combatant in Battlefield Triage would be wrong—and some decisions are more problematic than others. If the military physician selects to treat the soldier because she does not like the enemy combatant’s skin color, such a reason would be deeply problematic. But much of the debate over how to act in a moral tragedy is not over clearly indefensible or problematic criteria. Instead, the literature is largely about different standards or implementations of justice. Some scholars defend nation-impartial triage as right, while others defend nation-aware triage as right, and each argues that the other side is promoting an unjust or otherwise wrong solution to Battlefield Triage. We suggest that Battlefield Triage is a resolvable moral tragedy and that virtue ethics offers convincing reasons to prefer the treatment of the compatriot soldier rather than the enemy combatant on the grounds of national identity. Virtues are integral to living a good life, a flourishing life, but as Aristotle observed long ago, human beings are inherently social, interdependent and interconnected in profound ways.[26] This goes beyond the obvious fact that we need each other to survive day to day (one person makes clothes, another farms, and another makes tools); the claim is that a good or flourishing life depends in large part on one’s social network or community. This is why many of Aristotle’s moral virtues are other facing: justice, friendship, generosity, and magnanimity, to name a few. Courage, a typically self-facing virtue, is understood by Aristotle to be the virtue that regards one’s fear of death in battle, a battle fought on behalf of one’s city.[27] All of this remains true today. Namely, there is an important sense in which our community matters to our lives: it is easier to live a good, flourishing life if one is part of a good, flourishing community. Our community is made up of smaller groups, and it is more accurate to say that we are simultaneous members of different groups within a broader community. A person may be part of a family, friend group, research team, large state university, city, state, and nation. Groups can function well or not, as we all have experienced, and this suggests that there are virtues or excellences that groups can instantiate. Good groups are unified in purpose, with each member doing their duty alongside others for the attainment of that purpose. Good groups manifest solidarity among their members. Although Aristotle does not list solidarity as a virtue, a number of modern-day virtue ethicists have begun examining how group solidarity can be a virtue that contributes to a good or flourishing life.[28] Solidarity is not conceptualized as an individual virtue, a virtue possessed by a person in isolation of others; instead, it is a collective virtue, a virtue that is shared among members of a defined group with particular ends.[29] “A group has solidarity to the extent that its members are disposed to: (1) share values, aims, or goals; (2) care about those values, aims, or goals; (3) act in accordance with those values, aims, or goals; (4) trust the testimony of other group members with respect to those values, aims, and goals; and (5) feel a sense of belonging to the group.”[30] The virtue of collective or group solidarity involves individuals having special concern for each other, shared aims and values, trust, loyalty, and a sense of belonging with these specific others. There is a oneness to the group in the pursuit of a definite goal or purpose, involving mutual support and affirmation of each member. As such, the group has ends and goods above and beyond the good of each individual person. Sometimes solidarity requires personal sacrifice for the collective (for example, a father sacrificing food so his child can eat). The virtue of collective or group solidarity is important to the military and medical community at every level, and for clear reasons. In the military, there is a clear hierarchy of command, unity of purpose and end, mutual trust and support in complex settings, and so on. Soldiers need to know they can count on one another, and solidarity grounds a soldier’s ability to trust others and be assured of mutual aid. In medicine, solidarity maintains self-regulation of the profession, shared values and goals, as well as public support, not to mention that day-to-day operations require physician trust, engagement, and effort toward the ends of clinical care. Physicians need to work together, along with others, in pursuit of health, and disunity is sowed when there is mistrust, selfishness, or disengagement among the healthcare team and organization. Importantly, just as we are all members of various groups and hence may manifest group solidarity in different settings, the virtuous military physician instantiates collective solidarity with both the medical profession and the military. Her dual loyalty contributes to the moral difficulty of acting in Battlefield Triage. The military physician has competing obligations to distinct groups and cannot satisfy all obligations in Battlefield Triage. Solidarity with the military supports the consideration of favoring the soldier for reasons of national identity, whereas solidarity with the medical community does not. Something has to give, which is why it is a moral tragedy. The virtuous military physician, therefore, must weigh the costs of each course of action. To fulfill her obligations to the medical community would require that she does not use nationality and other non-medical considerations in Battlefield Triage. Since the soldier and enemy combatant are equally injured, justice would demand a random process, perhaps a flip of the coin. Although this may satisfy obligations the military physician has to the medical community, this would be costly to the physician’s military group. If word gets out that the physician decides who to treat based on a coin toss, soldiers, families, and citizens may become frustrated and angry. Soldier morale may go down if it becomes known that a coin flip led to the preventable death of a soldier and the saving of an enemy combatant who had killed (or attempted to kill) other soldiers. As Gross highlights, military solidarity involves a mutual aid promise that military personnel promise to help one another.[31] A military physician is part of the military and, as such, is part of the mutual aid promise, which would appear to be violated if the physician flips a coin. Treating a member of one’s own team may be psychologically more beneficial than treating an enemy combatant and may lead to less moral distress.[32] Finally, treating soldiers rather than enemy combatants promotes broader military and social aims, including returning soldiers to health, maintaining unity of purpose, and minimizing community suffering from a soldier’s death. Favoring members of one’s group, that is, triage based on nationality in Battlefield Triage, would fulfill obligations of military group loyalty, which is contrary to the values and duties of medicine. It does not seem as though showing favoritism in this particular situation is very costly to the medical community or general public, but this is because there is recognition that the physician is in the military. Medicine is impartial to non-medical indications partly because of fairness and to promote public trust in medicine. However, Battlefield Triage is unique, as medicine is being practiced in a non-public, wartime setting. In ordinary circumstances, a patient’s identity is irrelevant, and physicians ought not play favorites. Since Battlefield Triage is not an ordinary circumstance, decisions based on patient identity may not undermine public trust in medicine. In addition, it is contestable that fairness in Battlefield Triage requires that no consideration be paid to one’s nationality. Fairness is about giving each person their due, what is owed to them, and the case can be made that soldiers who place themselves in danger for the sake of the common good or a just cause are owed special attention when they suffer harm in the line of duty. In other words, soldiers voluntarily undergo risk to themselves for the greater good, and society owes them for this sacrifice. This plausibly includes preferential treatment in a situation such as Battlefield Triage. So, while the medical community affirms justice demands non-preferential treatment, the military community can affirm the opposite. The demands of fairness are unclear at best or in conflict in this situation: demands of physician justice decry favoritism, while demands of military justice support favoritism. Triage not based on nationality is arguably unfair and triage based on nationality may not undermine public trust, after all. All things considered, there is a clear rationale for favoring nationality-based preferential treatment in Battlefield Triage. Adopting a nationality-based preference in this situation is more defensible than not. This does not make such a decision ethically right or just. Preference based on nationality is the least bad decision, but it is not morally blameless. It involves one in a serious moral wrong, a wrong otherwise avoided and contrary to one’s character. The virtuous military physician is in a situation in which obligations conflict, and we disagree with Gross, who posits that care of fellow soldiers “is important to the near exclusion of all else.”[33] Gross fails to appreciate the collective virtue of solidarity as applied to those in medicine. The military physician has duties to fellow soldiers but also to fellow physicians, to the medical community, and humanity. To favor a soldier on grounds of nationality violates her duties and responsibilities to this latter group. She is involved in a moral tragedy and can only seek the most just action given the circumstances, yet, at least in virtue ethics, the action remains far from blameless. CONCLUSION We argue that Battlefield Triage is a moral tragedy, meaning that it is a situation in which there is no morally blameless decision and that the demands of justice cannot be satisfied. As such, the virtuous military physician incurs a moral cost to acting as she does—there is a moral residue. However, despite being a moral tragedy, there are clear reasons to act in favor of treating one’s own, considering group solidarity. As such, these kinds of tragedies are resolvable: virtuous military physicians should favor treatment of their own, although they would do so with sorrow. - [1] Militaries set forth medical rules of eligibility or guidelines used to determine whether a person qualifies for specific medical interventions or treatments in certain circumstances, and these guidelines are binding for a military physician. For example, despite opposition from medical organizations, militaries have adopted reverse triage guidelines for military physicians to follow. For ethical discussion, see Falzone, Elisabeth, P. Pasquier, C. Hoffmann, O. Barbier, M. Boutonnet, A. Salvadori, A. Jarrassier, J. Renner, B. Malgras, and S. Mérat. "Triage in military settings." Anaesthesia Critical Care & Pain Medicine 36, no. 1 (2017): 43-51. https://doi.org/10.1016/j.accpm.2016.05.004 [2] There are issues that are related to this, including the triage of civilians and allied soldiers. We set related issues aside for purposes of this paper [3] American Medical Association, Code of Medical Ethics: Current Opinions with Annotations, 2004–2005 ed. (Chicago, IL: AMA, 2004), 300. [4] American Medical Association, Code of Medical Ethics: Current Opinions with Annotations, 2004–2005 ed. (Chicago, IL: AMA, 2004), 300. [5] This is termed the “dual loyalty” dilemma in military medicine and has been described at length elsewhere: Institute of Medicine (US) Board on Health Sciences Policy. Military Medical Ethics: Issues regarding Dual Loyalties: Workshop Summary. Washington (DC): National Academies Press (US); 2008. Toward a Framework for Resolving Dual Loyalties. Available from: https://www.ncbi.nlm.nih.gov/books/NBK214853/ [6] See Kenneth G. Swan and K.G. Swan, Jr., “Triage: The Past Revisited,” Military Medicine 161:8 (1996): 448–452. https://doi.org/10.1093/milmed/161.8.448; Jerome A. Singh, “American Physicians and dual loyalty obligations in the ‘war on terror,’” BMC Medical Ethics 4.4 (2003): 1–10. https://doi.org/10.1186/1472-6939-4-4; Beam, Thomas E. "Medical Ethics on the Battlefield." Military Medical Ethics: Sect. IV. Medical ethics in the military. Medical ethics on the battlefield: the crucible of military medical ethics 2 (2003): 369-402; Hereth, Blake. "Health justice for unjust combatants." Journal of Military Ethics 20, no. 1 (2021): 67-81. https://doi.org/10.1080/15027570.2021.1949782. [7] See Adams, Marcus P. "Triage priorities and military physicians." In Physicians at war: The dual-loyalties challenge, pp. 215-236. Dordrecht: Springer Netherlands, 2008. Gross, Michael L. "Comradery, community, and care in military medical ethics." Theoretical medicine and bioethics 32 (2011): 337-350. https://doi.org/10.1007/s11017-011-9189-6. Gross, Michael L. "The limits of impartial medical treatment during armed conflict." In Military medical ethics for the 21st century, pp. 71-84. Routledge, 2016. [8] World Medical Association, WMA Declaration of Lisbon on the Rights of the Patient. 5 December 2022, https://www.wma.net/policies-post/wma-declaration-of-lisbon-on-the-rights-of-the-patient/ [9] Geneva Convention for the Amelioration of the Condition of Wounded, Sick in Armed Forces in the Field. 12 August 1949. https://www.un.org/en/genocideprevention/documents/atrocity-crimes/Doc.30_GC-I-EN.pdf. [10] List, Justin M. "Medical neutrality and political activism: physicians' roles in conflict situations." In Physicians at war: The dual-loyalties challenge, pp. 237-253. Dordrecht: Springer Netherlands, 2008. 240 [11] Beauchamp, T., and J. Childress. 2013. Principles of Biomedical Ethics, 7th ed. Oxford, United Kingdom: Oxford University Press. [12] Adams, Marcus P. "Triage priorities and military physicians." In Physicians at war: The dual-loyalties challenge, pp. 215-236. Dordrecht: Springer Netherlands, 2008. [13] Gross, "Comradery, community, and care in military medical ethics," 347. [14] Gross, “Comradery, community, and care in military medical ethics,” 349. [15] Gross, Michael L. "When medical ethics and military ethics collide." Narrative inquiry in bioethics 13, no. 3 (2023): 199-204. 202 https://dx.doi.org/10.1353/nib.2023.a924191 [16] Our argument draws on virtue ethics, from which care ethics derives, and it is worth clarifying how our argument relates to Gross’s. We do not think that the virtue of friendship grounds triage decisions, for we think it is unlikely that the physician and wounded soldier are friends. Instead, as explained below, we think the collective virtue of group solidarity better captures the moral significance of group loyalty and that Gross would agree with us. But since military physicians are part of distinct groups, with competing obligations, the military physician will be forced to sacrifice a value in battlefield triage cases. In other words, we think Gross downplays the dual group membership of a military physician. [17] List,”Medical neutrality and political activism,” 250. [18] Adams,”Triage priorities and military physicians,” 235. [19] London, Leslie, Leonard S. Rubenstein, Laurel Baldwin-Ragaven, and Adriaan Van Es. "Dual loyalty among military health professionals: human rights and ethics in times of armed conflict." Cambridge Quarterly of Healthcare Ethics 15, no. 4 (2006): 381-391. 383. [20] Hursthouse, R. On Virtue Ethics. OUP 1999. 74 [21] Nussbaum, Martha C. "The costs of tragedy: Some moral limits of cost-benefit analysis." The Journal of Legal Studies 29, no. S2 (2000): 1005-1036, 1007. [22] De Wijze, S. (2005). Tragic-remorse–the anguish of dirty hands. Ethical theory and moral practice, 7(5), 453-471, 457. https://doi.org/10.1007/s10677-005-6836-x [23] Hursthouse, 73 [24] Hursthouse, 81 [25] Hursthouse, 72 [26] Aristotle, Politics 1253a8. Reeve, C. D. C., Indianapolis: Hackett Publishing Co., 2017 [27] Aristotle, Nicomachean Ethics. III.6.114a, 34-35. 2002, Nicomachean Ethics, Christopher Rowe (trans.), Oxford: Oxford University Press [28] Byerly, T. Ryan, and Meghan Byerly. "Collective virtue." The Journal of Value Inquiry 50, no. 1 (2016): 33-50. https://doi.org/10.1007/s10790-015-9484-y; Federico, Veronica. "Conclusion: solidarity as a public virtue." Solidarity as a Public Virtue (2018): 495-542. https://doi.org/10.5771/9783845290058. Rehg, William. "Solidarity and the common good: An analytic framework." Journal of Social Philosophy 38, no. 1 (2007): 7-21. https://doi.org/10.1111/j.1467-9833.2007.00363.x [29] Byerly and Byerly. "Collective virtue." 43 [30] Battaly, Heather. "Solidarity: Virtue or vice?." In Social virtue epistemology, pp. 303-324. Routledge, 2022. 304 [31] Ibid., 2011: 341 [32] It might be thought that displaying altruism by helping an enemy combatant at the expense of one’s fellow soldier may be psychologically satisfiying. For evidence that military physicians find it difficult to treat enemy combatants, see Lundberg, Kristina, Sofia Kjellström, Anders Jonsson, and Lars Sandman. "Experiences of Swedish military medical personnel in combat zones: adapting to competing loyalties." Military medicine 179, no. 8 (2014): 821-826. https://doi.org/10.7205/MILMED-D-14-00038. Lamblin, Antoine, Clément Derkenne, Marion Trousselard, and Marie-Ange Einaudi. "Ethical challenges faced by French military doctors deployed in the Sahel (Operation Barkhane): a qualitative study." BMC Medical Ethics 22 (2021): 1-13. https://doi.org/10.1186/s12910-021-00723-2 [33] Ibid., 2011: 344. (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)

Introduction. This survey is intended to introduce to logicians some notions, methods and theorems in set theory which arose—largely through the work of Saharon Shelah—out of attempts to solve problems in abelian group theory, principally the Whitehead problem and the closely related problem of the existence of almost free abelian groups. While Shelah's first independence result regarding the Whitehead problem used established set-theoretical methods, his later work required new ideas; it is on these that we focus. We emphasize the (...) nature of the new ideas and the historical context in which they arose, and we do not attempt to give precise technical definitions in all cases, nor to include a comprehensive survey of the algebraic results.In fact, very little algebraic background is needed beyond the definitions of group and group homomorphism. Unless otherwise specified, we will use the word “group” to refer to an abelian group, that is, the group operation is commutative. The group operation will be denoted by +, the identity element by 0, and the inverse of a by −a. We shall use na as an abbreviation for a + a + … + a [n times] if n is positive, and na = if n is negative. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number of (...) subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

This article aims to shed some light on the concepts embedded in the expressions ‘services of general interest’ (‘SGI’), ‘services of general economic interest’ (‘SGEI’), ‘non-economic services of general interest’ (‘NSGI’) and ‘social services of general interest’ (‘SSGI’). It is submitted that the expression ‘SGI’ conveys a general concept which comprises both SGEI and NSGI. SGEI may be distinguished from NSGI in that only the former involve an economic activity. In contrast to SGI, SGEI and NSGI, the expression ‘SSGI’ is (...) nowhere to be found in primary EU law. This means that it is for the EU legislator and, as the case may be, for the Member States to define such expression. Furthermore, this article supports the contention that a definition of the principles and conditions underpinning the operation of SGI must be capable of adapting to changing times and social perceptions, whilst being respectful of the vertical and horizontal allocation of powers set out in the Treaties. Vertically, a definition of SGI must not impinge upon the powers retained by the Member States. In the absence of harmonisation, it is for the Member States to define the services they consider to be of general interest, unless they commit a manifest error of assessment. In the presence of EU harmonising measures, the margin of discretion enjoyed by the Member States is, if still existent, narrowed down, given that national authorities are required to comply with the objectives pursued by the EU legislator. Horizontally, a definition of SGI must not encroach upon the prerogatives of the Commission in the realm of competition law. Moreover, in light of Article 9 TFEU and secondary EU legislation, the specific features of SSGI must be taken into consideration when determining the compatibility with EU State aid rules of public service compensation awarded to the providers of those services. An EU conceptual framework for the SGI must thus be the result of a constructive dialogue between the different levels of governance, as well as of a balanced solution among different policy areas in relation to which the EU enjoys competences. (shrink)

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. (...) To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and “transfer of structure” is incomparably more flexible and powerful than anything yet known in “set-theoretic model theory”.It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called “Definability Theory” in the near future.Tarski's set-theoretic foundational formulations are still favoured by the majority of model-theorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable, this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly. (shrink)

This paper aims to make explicit the methodological conditions that should be satisfied for the Bayesian model to be used as a normative model of human probability judgment. After noticing the lack of a clear definition of Bayesianism in the psychological literature and the lack of justification for using it, a classic definition of subjective Bayesianism is recalled, based on the following three criteria: an epistemic criterion, a static coherence criterion and a dynamic coherence criterion. Then it (...) is shown that the adoption of this framework has two kinds of implications. The first one regards the methodology of the experimental study of probability judgment. The Bayesian framework creates pragmatic constraints on the methodology that are linked to the interpretation of, and the belief in, the information presented, or referred to, by an experimenter in order for it to be the basis of a probability judgment by individual participants. It is shown that these constraints have not been satisfied in the past, and the question of whether they can be satisfied in principle is raised and answered negatively. The second kind of implications consists of two limitations in the scope of the Bayesian model. They regard (1) the background of revision (the Bayesian model considers only revising situations but not updating situations), and (2) the notorious case of the null priors. In both cases Lewis’ rule is an appropriate alternative to Bayes’ rule, but its use faces the same operational difficulties. (shrink)

The paper is devoted to analysis of P. Benacerraf’s argument against set-theoretic reductionist realism which is a fragment of a broader argument, know as the “identification problem”. The analyzed fragment of P. Benacerraf’s argument concerns the possibility of reducing of mathematical notions to set-theoretic notions. The paper presents a reconstruction of P. Benacerraf’s original argumentation, its analysis and also several possible objections proposed by P. Benacerraf himself about 30 years later after the original publication. Namely, he claimed (1) that a (...) set-theoretic definition of natural numbers in G. Frege’s fashion can serve as a proper and unique set-theoretic definition, (2) that his argument doesn’t undermine eliminative reductionsts’ position, (3) that even if there are no argument possible in favor of some particular set-theoretic definition of natural numbers one may take set-theoretic realism for granted. An analysis of the mentioned possible objections shows their dependence on a number of additional premises. The paper demonstrates that P. Benacerraf’s objections on his own argument against set-theoretic realism either have a pragmatic character themselves or essentially rely on additional arguments that are justified pragmatically or require additional argumentation. For example, his possible objections require that set theory is considered as the only true foundational theory in mathematics, and that it has several important pragmatic virtues, like convenience of use to formalize other mathematical theories. In some cases, P. Benacerraf’s objections on their own, or the indicated additional principles may well be called into question, which demonstrates the insufficiency of P. Benacerraf’s objections against his original argument. Without the mentioned pragmatic arguments P. Benacerraf’s objections become a kind of belief in mysticism. Accordingly, his doubts about his own argument against set-theoretical realism seem insufficient to reject the problem of identification and save the position of set-theoretical realism from collapse. (shrink)

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)