Yukio Mishima's literary work, "Kinkaku-ji," delves into the portrayal of a young man ensnared by imaginary fetishism. Mizoguchi's arson act is profoundly influenced by this deification. The protagonist, Mizoguchi, struggles with the dichotomy between excessive aesthetic idolatry rooted in the imagined Kinkaku-ji and the flawed existence of the real Kinkaku-ji. This essay explores how his internal conflict, shaped by fetishism, weaves complex factors, including deification and alienation, ultimately culminating in his resolve to set Kinkaku-ji ablaze. In summary, this thesis concludes (...) that Mizoguchi imperative for arson lies in his pursuit of establishing the absolute nature of the imagined Kinkaku-ji. (shrink)

Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...) questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Heidegger’s latest work Contributions of Philosophy. Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the Park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their ↪Quart Nr 2(52)/2019 logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in Kant’s philosophy, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. (shrink)

In the texts that presented the theoretical assumptions of the Parc de La Villette, Bernard Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Jacques Derrida, prove that (...) terms such as disruption, dissociation, disfunction, disjunctions and dispersion not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette, 1985, in which the architect’s design drawings and texts explaining his concepts related to the Park de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Peter Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus a thesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the stratus of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. (shrink)

Background: -/- With recent attention to the organizational dynamics of contemporary Satanism, updated information on Satanic and Setian organizations is imperative for the field. Purpose: -/- The purpose of this research note is to update the literature surrounding Satanism and Setianism with new organizational and administrative information, which will help scholars studying these groups in developing new theoretical frameworks and interpretations. Methods: -/- A snowball sample interview, participant observation, and ethnographic study was conducted. In person field work was done primarily (...) in Austin, TX, and New York, NY, where occult bookstores, wicca stores, online group pages/forums, Satanic gatherings, and goth clothing shops were frequented for a portrayal of “lived Satanism.” Results: -/- Findings elaborate on the authority structures of five Satanic and Setian organizations, and a long considered defunct Satanic group called the Church of Satanic Brotherhood is uncovered. Participants also elaborate on the previous schisms within the Satanic niche. Conclusions and Implications: -/- Field note recommendations are given to future researchers working in Satanic studies. The organizational findings inform future research and theoretical innovations, including religious organization ecology (ROE) theory. (shrink)

John McDowell’s debates about concepts with Robert Brandom and Hubert Dreyfus over the past two decades reveal key commitments each philosopher makes. McDowell is committed to giving concepts a role in our embodied coping, extending rational form to human experience. Brandom is committed to defining concepts in a way that helps make rationality distinct. And Dreyfus is committed to explaining how rational understanding develops out of lesser abilities we share with human infants and other animals (I call this “Dreyfus’s challenge”). (...) These commitments appear irreconcilable. I argue to the contrary that they are, in principle, reconcilable, provided we give up their shared “rationalist” commitment to the idea that the rational use of language is necessary for having concepts. First, I exploit Brandom and McDowell’s debate to motivate abandoning the rationalist commitment. Next, I exploit Dreyfus and McDowell’s debate to establish the need for a broader notion of concepts to answer Dreyfus’s challenge. I turn to Elizabeth Camp’s broader notion of concepts as spontaneously, systematically recombinable representations, and establish that it lacks resources for distinguishing human rationality. To resolve that weakness, I integrate Camp’s notion of concepts with John Haugeland’s theory of objectivity, which does make rationality distinct. Finally, drawing my integration of Camp and Haugeland, I propose a way to answer Dreyfus’s challenge, which I call “relaxed holism.” The core of relaxed holism is a cumulative, developmental sequence of three related cognitive abilities: representation, concepts, and metacognition. I argue that relaxed holism also reconciles both McDowell’s commitment to giving normatively governed concepts a role in embodied coping, and Brandom’s commitment to defining concepts in a way that helps make rationality distinct. (shrink)

The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...) and urban assumptions in the French capital gave Tschumi a unique opportunity to realise ideas that polemicised with traditional forms of social life, questioned the basic principles of architecture and included architectural work in the philosophical disputes over the issues of metaphysics. Tschumi’s theoretical assumptions put forward during the design of the Parc de La Villette highlighted the questions of conflict between the main components of the project and suggested that the intensification of differences was analogous to Jacques Derrida’s creation of the concept of différance. It was this philosopher who in a special commentary to Derrida’s project also introduced the concept of maintenant, which aimed at demonstrating that the architect’s polemical inclinations remain in a hidden balance with his inclinations to affirmation of architectural principles. During the discussion between Derrida and Peter Eisenman, who was to take part in the design of the Parisian park, the concept of the chôra was also put forward, which in the course of the debate led to an additional confusion of architectural and philosophical problems. II In the period from the Antiquity to the Renaissance, the dialogue Timaeus was the most frequently commented work of Plato. At present, the most frequently discussed is the issue of the chôra included in it, which aroused fascination among philosophers, researchers of rhetoric, religion, feminism, but also architecture. The work on the chôra also influenced the development of the interpretation of the Parc de La Villette, among which the topics related to the beginning and the change were highlighted. In early uses of the word chôra in Greek, as in Homer’s 18th Book of Iliad, it meant both dancing and a place to dance. On this occasion, it can be seen that it is not possible to determine which phenomenon took precedence in the creation of the name. It cannot be denied, however, that the word concerned a specific movement, as if circular and returning to an indefinable beginning. Despite gaining more and more general meanings, the word chôra has retained its connection with the dance of people on the threshing floor, the dance of bees (choros meliton) or the dance of stars (choros astron). In Timaeus, the chôra is a space filled with movement with an effect similar to shaking the sieve to husk the grain: it separates similar elements from the dissimilar ones. The juxtaposition of the Parc de La Villette and the chôra already at this stage leads to the suggestion that the park was treated by the architect as a place of dynamic changes leading to the establishment of new social solutions. In his statements, the architect confirmed that the park was to be a space of new politics and ethics. The book by Julia Kristeva La Révolution du langage poétique contributed to the spread of the belief that works of art can play a role as factors of political revolution. In this work, the author put forward the thesis that the chôra is a kind of space, the character of which has a destructive influence on attempts to conclude language games. The chôra gives beginning to words, but at the same time, by leaving a trace of this beginning it forces us to renew their meanings. The chôra understood in this way, turns out to be an irremovable beginning, to which one has to return all the time. Kristeva found manifestations of the chôra’s activity in avant-garde French poetry, to which she attributed the role of a mediator between criticism of metaphysics and aspirations for social change. The chôra, violating the language, introduces some voids into it, as if traces of the abyss, which direct the consciousness towards understanding the necessity of political changes. The Parc de La Villette was to pursue similar objectives in the city space. In his essays, Tschumi considered the problems of creating spaces that would give rise to a radical democracy. The proposed rebellious spaces should have the characteristics of a void, in which contradictory forces would occur as forms of pure activity. The means of achieving this goal was to concentrate contradictions and make them visible. The Parc de La Villette was supposed to collect differences as indelible and at the same time by showing them it was supposed to raise awareness of the social world as a conglomerate of differences. Saturation of the space of the park with subversive values results from the character of this space suppressed in the consciousness, as well as from the social diversity which has not been taken into account so far. The main contradictions contained in space relate to the division that exists between its presentation as a mental problem and a sensual one. The park was the deliberate creation of a place that transcends such a division and creates a separate space for negotiation between architectural theories and its practical applications. The purpose of the park was to become a place of future events, which would not hide their conflicting character coming from diversity of both space and society. The method of composition usually aimed at achieving a harmonious whole has been replaced by Tschumi with a system of juxtaposition of non-coherent elements or those resulting from variations and transformations. Tschumi did not seek direct influence on politics in the Parc de La Villette, but made room for thinking about the possibilities of the future. He introduced problems rather than showed solutions to them. The task of the park was to put the principles of architecture into a kind of vibration that would inspire users to participate in the new community. III Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Albert Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Martin Heidegger’s latest work Contributions of Philosophy: Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in the philosophy of Immanuel Kant, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Georg Wilhelm Friedrich Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. IV In the texts that presented the theoretical assumptions of the Parc de La Villette, Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Derrida, prove that terms such as “disruption”, “dissociation”, “disfunction”, “disjunction” and “dispersion” not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette 1985, in which the architect’s design drawings and texts explaining his concepts related to the Parc de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus athesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or the Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the status of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’Autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. V In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. Parc de La Villette represents the last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, absolute otherness (tout autre) and the Impossible were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others).Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. John Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (shrink)

While Autonomous Weapons Systems have obvious military advantages, there are prima facie moral objections to using them. By way of general reply to these objections, I point out similarities between the structure of law and morality on the one hand and of automata on the other. I argue that these, plus the fact that automata can be designed to lack the biases and other failings of humans, require us to automate the formulation, administration, and enforcement of law as much as (...) possible, including the elements of law and morality that are operated by combatants in war. I suggest that, ethically speaking, deploying a legally competent robot in some legally regulated realm is not much different from deploying a more or less well-armed, vulnerable, obedient, or morally discerning soldier or general into battle, a police officer onto patrol, or a lawyer or judge into a trial. All feature automaticity in the sense of deputation to an agent we do not then directly control. Such relations are well understood and well-regulated in morality and law; so there is not much challenging philosophically in having robots be some of these agents — excepting the implications of the limits of robot technology at a given time for responsible deputation. I then consider this proposal in light of the differences between two conceptions of law. These are distinguished by whether each conception sees law as unambiguous rules inherently uncontroversial in each application; and I consider the prospects for robotizing law on each. Likewise for the prospects of robotizing moral theorizing and moral decision-making. Finally I identify certain elements of law and morality, noted by the philosopher Immanuel Kant, which robots can participate in only upon being able to set ends and emotionally invest in their attainment. One conclusion is that while affectless autonomous devices might be fit to rule us, they would not be fit to vote with us. For voting is a process for summing felt preferences, and affectless devices would have none to weigh into the sum. Since they don't care which outcomes obtain, they don't get to vote on which ones to bring about. (shrink)

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...) set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Hylomorphically complex objects are things that change their parts or matter or that might have, or have had, different parts or matter. Often ontologists analyze such objects in terms of sets (or functions, understood set-theoretically) or other extensional entities such as mereological fusions or quantities of matter. I urge two reasons for being wary of any such analyses. First, being extensional, such things as sets are ill-suited to capture the characteristic modal and temporal flexibility of hylomorphically complex objects. Secondly, sets (...) are often appealed to because they seem to contain their members. But the idea that sets do contain their members, in the ordinary sense of containment, is a substantive metaphysical position that makes analyses that rely on that idea for their plausibility much more metaphysically committing than is generally thought. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes and (...) the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

Here, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in set theory (...) in the future. (shrink)

Moss (2018) argues that rational agents are best thought of not as having degrees of belief in various propositions but as having beliefs in probabilistic contents, or probabilistic beliefs. Probabilistic contents are sets of probability functions. Probabilistic belief states, in turn, are modeled by sets of probabilistic contents, or sets of sets of probability functions. We argue that this Mossean framework is of considerable interest quite independently of its role in Moss’ account of probabilistic knowledge or her semantics for epistemic (...) modals and probability operators. It is an extremely general model of uncertainty. Indeed, it is at least as general and expressively powerful as every other current imprecise probability framework, including lower probabilities, lower previsions, sets of probabilities, sets of desirable gambles, and choice functions. In addition, we partially answer an important question that Moss leaves open, viz., why should rational agents have consistent probabilistic beliefs? We show that an important subclass of Mossean believers avoid Dutch bookability iff they have consistent probabilistic beliefs. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

This article brings animal protection theory to bear on Temple Grandin’s work, in her capacity both as a designer of slaughter facilities and as an advocate for omnivorism. Animal protection is a better term for what is often termed animal rights, given that many of the theories grouped under the animal rights label do not extend the concept of rights to animals. I outline the nature of Grandin’s system of humane slaughter as it pertains to cattle. I then outline (...) four arguments Grandin has made defending meat-eating. On a protection-based approach, I argue, Grandin’s system of slaughter is superior to its traditional counterpart. Grandin’s success as a designer of humane slaughterhouses however is not matched by any corresponding success in offering a moral defence of meat-eating. Despite, or perhaps because of, the popularity of her work, Grandin’s arguments for continuing to eat animals are noteworthy only in how disappointing and rudimentary they are. If we can thank Grandin for making a difference in the lives of millions of farm animals, her work can also be criticized for not engaging the moral status of animals with the depth and rigor that it deserves. (shrink)

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet (...) his preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...) aims of the Second Philosopher’s investigation into set-theoretic methodology; pro- vides a platform to analyze the Second Philosopher’s methods themselves; and can be applied to further questions in the philosophy of set theory. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

Göbeklitepe is regarded as one of the oldest temples of the humanity according to archaeologs. In this work, by going back twelve thousand years, we will attempt both to provide information about this structure and to make interpretations by highlighting the theological and philosophical associations of this structure. In our study, we will examine Göbeklitepe not from the perspective of archaeology and history of art but from that of philosophy of religion and religious symbolism. In our research, we benefit from (...) the data of archeology and historical geography. The basic aim of this search is archaeological data that is obtained in the region and to evaluate these datas based on the historical geography and the history of religions. When it is, we have interpreted according to language of religion and religious symbolism. As a result, contrary to popular belief, we saw important reasons Göbeklitepe area that is sacred structures, the people of the Stone Age is not primitive and faith is as old as humanity. We have reached the conclusion that must be rethought the development of human civilization on the Göebeklitepe Temples. Our main objective is to connect Göbeklitepe with philosophical and theological literature and to propose a method and subject as to how to accomplish this. Thus, our study is just an attempt at interpretation. (shrink)

This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds in Being and Event. (...) I review his descriptions of the ontological problematic at some length here, only to argue that set theory is a poor fit. Although philosophers working on questions of being were certainly occupied with matters of oneness and the part-whole relationship, I argue that Badiou’s discussion of philosophical sources points towards a mereological treatment, not a set-theoretic one. Finally, I suggest that Badiou’s philosophical interpretations of key set-theoretic results are better understood as some sort of analogising between mathematics, ontology, and philosophical anthropology. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

The theory of plithogeny developed by Smarandache is described as a more generalized form of representing sets of different nature such as crisp, fuzzy, intuitionistic and neutrosophic. Plithogenic set comprises degree of appurtenance and contradiction degree with respect only to the dominant attribute. This paper introduces extended plithogenic sets comprising degrees of appurtenance and contradiction with respect to both dominant and recessive attributes. The extension of the 5-tuple Plithogenic sets to a 7- tuple plithogenic sets helps in developing a more (...) comprehensive kind of Plithogenic sociogram. The newly developed plithogenic sets and its implications in Plithogenic sociogram is validated by the decision making problem on food processing industries. The obtained results using extended plithogenic sets are more promising in comparison to the conventional plithogenic sets. The proposed kind of plithogenic sets will benefit the decision makers to make optimal decisions based on both optimistic and pessimistic approaches. (shrink)

We have introduced for the first time the degree of dependence (and consequently the degree of independence) between the components of the fuzzy set, and also between the components of the neutrosophic set in our 2006 book’s fifth edition [1]. Now we extend it for the first time to the refined neutrosophic set considering the degree of dependence or independence of subcomponets.

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of (...) the natural numbers. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

In this paper, we generalize the definition of Neutrosophic sets and present a method for extending crisp functions on Neutrosophic sets and study some properties of such extended functions.

In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set.

In this paper, we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), which is a set whose elements are characterized by many attributes (parameters)’ values. An attribute value v has a corresponding (fuzzy, intuitionistic fuzzy, or neutrosophic) degree of appurtenance d(x,v) of the element x, to the set P, with respect to some given criteria. In order to obtain a better accuracy for the plithogenic aggregation operators in the plithogenic set, and for a more (...) exact inclusion (partial order), a (fuzzy, intuitionistic fuzzy, or neutrosophic) contradiction (dissimilarity) degree is defined be-tween each attribute value and the dominant (most important) attribute value. The plithogenic intersection and union are linear combinations of the fuzzy operators tnorm and tconorm, while the plithogenic complement, inclusion (inequality), equality are influenced by the attribute values contradiction (dissimilarity) degrees. This article offers some examples and applications of these new concepts in our everyday life. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

This paper is a discussion note on Isaacs et al. (2022), who have claimed to offer a new motivation for imprecise probabilities, based on the mathematical phenomenon of non-measurability. In this note, I clarify some consequences of their proposal. In particular, I show that if their proposal is applied to a bounded 3-dimensional space, then they have to reject at least one of the following: (i) If A is at most as probable as B and B is at most as (...) probable as C, then A is at most as probable as C. (ii) Let A ∩ C = B ∩ C = ∅. A is at most as probable as B iff (A ∪ C) is at most as probable as (B ∪ C). But rejecting either statement seems unattractive. (shrink)

In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...) for operative logic and mathematics. In this article, we claim that this is in fact not the case. Rather, we argue for a shift that happened in Lorenzen’s treatment of the infinite from the early to the late 1950s. His early motivation for the development of operativism is concerned with a critique of the Cantorian notion of set and related questions about the notion of countability and uncountability; only later, his motivation switches to focusing on the concept of infinity and the debate about actual and potential infinity. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

The purpose of this paper is to introduce and study the characteristic function of a neutrosophic set. After given the fundamental definitions of neutrosophic set operations generated by the characteristic function of a neutrosophic set ( Ng for short), we obtain several properties, and discussed the relationship between neutrosophic sets generated by Ng and others. Finally, we introduce the neutrosophic topological spaces generated by Ng . Possible application to GIS topology rules are touched upon.

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

Smarandache (1995) defined the notion of neutrosophic sets, which is a generalization of Zadeh's fuzzy set and Atanassov's intuitionistic fuzzy set. In this paper, we first develop some similarity measures of neutrosophic sets. We will present a method to calculate the distance between neutrosophic sets (NS) on the basis of the Hausdorff distance. Then we will use this distance to generate a new similarity measure to calculate the degree of similarity between NS. Finally we will prove some properties of the (...) proposed similarity measures. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

A contradiction is obtained, considering the axiom of infinity, then ℕ and Peano axioms, together a list of ℕ subsets and with inclusion relation and union operation. Natural numbers constitute an infinite set, ℕ, but we show the union of its proper subsets, with a specific form, isn’t an infinite set. Also we get a simpler explanation and a symbolic representation. Lastly, inconsistency of Peano successor axiom is a consequence of rejecting infinity.

In this paper we have defined neutrosophic ideals, neutrosophic interior ideals, netrosophic quasi-ideals and neutrosophic bi-ideals (neutrosophic generalized bi-ideals) and proved some results related to them. Furthermore, we have done some characterization of a neutrosophic LA-semigroup by the properties of its neutrosophic ideals. It has been proved that in a neutrosophic intra-regular LA-semigroup neutrosophic left, right, two-sided, interior, bi-ideal, generalized bi-ideal and quasi-ideals coincide and we have also proved that the set of neutrosophic ideals of a neutrosophic intra-regular LA-semigroup forms (...) a semilattice structure. (shrink)

Review of Maddy, Penelope "Defending the Axioms".

In the literature, new types of neutrosophic sets have been introduced in the meantime by the growing neutrosophic community. We present a few: Pythagorean Neutrosophic Set, Fermatean Neutrosophic Set, Generalized Fermatean Neutrosophic Set, n-power Neutrosophic Set, Cubic Spherical Neutrosophic Set, Spherical Neutrosophic Set, n-HyperSpherical Neutrosophic Set, Refined n-HyperSpherical Neutrosophic Set.

Interval bipolar neutrosophic set is a significant extension of interval neutrosophic set where every element of the set comprises of three independent positive membership functions and three independent negative membership functions. In this study, we first define correlation coefficient, and weighted correlation coefficient measures of interval bipolar neutrosophic sets and prove their basic properties. Then, we develop a new multi-attribute decision making strategy based on the proposed weighted correlation coefficient measure. Finally, we solve an investment problem with interval bipolar neutrosophic (...) information and comparison is given to demonstrate the applicability and effectiveness of the proposed strategy. (shrink)