We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...) F the point where the increasing F-sequence terminates. We apply these results to inverse Goodstein sequences, i.e. increasing (1 + Id) (ω) -sequences. We show that the theorem every inverse Goodstein sequence terminates (a combinatorial theorem about ordinal numbers) is not provable in ID 1 . For a general presentation of the results stated in this paper, see [1]. We use notions and results concerning the category ON (ordinal numbers), dilators and bilators, summarized in [2, pp. 25-31]. (shrink)

Nielsen [Nielsen, T. . Felt presence: Paranoid delusion or hallucinatory social imagery? Consciousness and Cognition, 16, 975–983.] raises a number of issues and presents several provocative arguments worthy of discussion regarding the experience of the felt presence during sleep paralysis . We consider these issues beginning with the nature of FP and its relation to affective-motivational systems and provide an alternative to Nielsen’s reduction of FP to a purely spatial hallucination. We then consider implications of the “normal social imagery” model. (...) We can find only one specific empirical hypothesis articulated within this framework and it turns out to be one that we explicitly addressed in our original paper. We also review our position regarding the possible relation of FP during SP to a number of related anomalous experiences and contrast FP to anomalous vestibular-motor phenomena. We review our position that the neuromatrix concept, in the light of available evidence, is more appropriately applied to V-M experiences than FP. Finally, we pursue speculations, raised in Nielsen’s commentary, on the wider implications of FP. (shrink)

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

The article is devoted to the phenomenon of interstate confrontation known as “hybrid war.” It attempts to consider this phenomenon in relation to pankration, the ancient Greek martial art with minimum limitations. The paper defines the philosophical and historical preconditions for hybrid war, its epistemological and ideological aspects. The author assesses the statement declaring Russia guilty of waging this type of war. Analysis of relevant sources allows us to answer the question of the theoretical prerequisites for the formation of the (...) concept of hybrid wars and to name the authors who first expressed ideas of the transformation of war into a new type of military confrontation. An attempt is made to perform a comparative analysis of various interpretations of the concept of “hybrid war.” The place of this concept among others that are related to the so-called “new wars” is considered. The author questions a negative connotation to the concept of hybrid war and the legitimacy of attempts by Western countries to attribute the conduct of this type of military action exclusively to Russia. A number of countries attempt to use Russia as a “scapegoat,” and this complex has been described by the French philosopher R. Girard. A broader interpretation of this mechanism leads to sacralization of collective aggression, but not in relation to an individual but in relation to a participant in international relations. Comprehension of the essential features of hybrid war, of its tendencies towards eliminating restrictions and regulating forms and methods of achieving military and political goals makes it possible to identify the possibilities of resisting aggressive aspirations of some countries trying to impose their scenarios for resolving international contradictions on other states. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version (...) of any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

En el Canto V del Infierno, uno de los pasajes más universalmente conocidos de la Divina Comedia, Dante sugiere la fuerza corruptora de la literatura, desencadenante del adulterio de Paolo y Francesca. Este esquema en que lo literario se convierte en motivo de perdición, reaparece en casos tan conocidos como el de Don Quijote y otros menos conocidos como el dickensiano Nicodemus Boffin de Nuestro común amigo. Estos escritores dejan traslucir en sus obras sus inquietudes respecto a una influencia que (...) simultáneamente buscan y temen sobre los lectores. Sus «libros dentro de los libros» pueden ser interpretados como una vacuna con la que el escritor quiere proveer al lector de las herramientas para protegerse de los efectos perversos de una literatura recibida en clave romántica. Proponemos, siguiendo especialmente a Renato Poggioli, John Freccero o René Girard, una interpretación antirromántica que subraya la actualidad de la arquitectura moral de la Divina Comedia y su ascendencia sobre varios clásicos de la literatura moderna posterior. (shrink)

Для широкого круга читателей (слушателей, аспирантов, преподавателей) интересующихся данной проблемой.

No século XVII, vemos a emergência de uma nova abordagem geométrica às seções cônicas. Desenvolvida inicialmente por Girard Desargues e por Blaise Pascal, tal geometria é herdeira do método de representação pela perspectiva linear a aponta na direção da geometria projetiva do século XIX. Estudos recentes de J. Echeverría e de V. Debuiche iniciaram a discussão da recepção de tais trabalhos por Leibniz, assim como a relação deles com os trabalhos do próprio Leibniz em perspectiva e com a Geometria (...) situs. Este artigo percorre algumas questões associadas a estes domínios, assim como a importância do paradigma da perspectiva para a filosofia de Leibniz. (shrink)

The hope of moving beyond formalism is one of two things that unites an otherwise diverse group of literary theorists who have begun to explore the role of desire in narrative. Peter Brooks, for example, in Reading for the Plot, says in more than one place that his interest in desire “derives from my dissatisfaction with the various formalisms that have dominated critical thinking about narrative.”3 Leo Bersani sees desire as establishing a crucial link between social and literary structures. Teresa (...) de Lauretis faults structuralist models for their inability to disclose the ways in which narrative operates, through the desire it excites and fulfills, to construct the social world as a system of sexual differences. Other names could be added, both within and outside the field of narrative theory—Nancy Armstrong, Roland Barthes, Georges Bataille, Jessica Benjamin, Gilles Deleuze and Félix Guattari, René Girard, Luce Irigaray, Fredric Jameson, Peggy Kamuf, Linda Kauffman, Julia Kristeva, Jacques Lacan, Jean Laplance, Catharine A. McKinnon, and Eve Kosofsky Sedgwick—for desire has become one of the master tropes of contemporary criticism. 3. Peter Brooks, Reading for the Plot: Design and Intention in Narrative , p. 47; hereafter abbreviated RP.4. Leo, Bersani, A Future for Astyanax: Character and Desire in Literature , p. 13; hereafter abbreviated FA.5. Bersani and Ulysse Dutoit, The Forms of Violence: Narrative in Assyrian Art and Modern Culture , p. v; hereafter abbreviated FV. Although Bersani coauthored this book with Dutoit, for convenience I refer to it by Bersani’s name alone. This practice is justified by two considerations: first, most of the arguments about narrative, violence, and desire are elaborations of positions that Bersani has taken in earlier works; second, passages and examples in the sections with which I shall be dealing are reprinted with only minor changes from an article that Bersani published under his own name. Jay Clayton, associate professor of English at Vanderbilt University, is the author of Romantic Vision and the Novel and coeditor of Contemporary Literature and Contemporary Theory . He is currently completing a study of contemporary American literature and theory, Narrative Power. (shrink)

Wedin considers the relation between the ontological commitment in the Categories and the semantical theory of underlying ontological configurations for standard categorical statements. According to Wedin, Aristotle's fourfold division of beings, which divides things according to whether they are, or are not, said of, and/or present in a subject, is a meta‐ontology that is concerned with beings per se, i.e. the fundamental things that are. Wedin explains that the primacy of c‐substance involves an asymmetry in the relation between c‐substance and (...) everything else, or between the substantial and the nonsubstantial. This is because there is an ontological dependence of non‐substances, and also of secondary substances, on substances: everything is either said of, or in, primary substance. The argument of this chapter, then, is that the world of the Categories is a world of individuals: all ontological relations needed for semantics can be accommodated by appeal to individuals only. (shrink)

Wedin argues that Aristotle makes form the substance of c‐substances because it is the essence of the c‐substance. Much of this chapter consists of a careful examination of a passage in Metaphysics Zeta 4, which Wedin calls the ‘New Primacy Passage’, that is crucial to Wedin's overall thesis, because here Aristotle appeals to a notion of definitional primacy, as opposed to the ontological primacy of the Categories. Z.4 focuses on this claim that form must be essence: Wedin argues that essence (...) is a certain kind of form, a form of a genus ; this does not mean ‘species’, as some commentators have thought. This is because the species is a combination of form and matter, whereas the genous eidos, Wedin argues, is the formal part only of the definition that applies to the thing. On Wedin's account, Aristotle introduces the notion of explanatory primacy of form in Z.4. (shrink)

Wedin offers an interpretation of Metaphysics Zeta 13, a very important and difficult chapter, where Aristotle apparently denies that substance is a universal, having, on most accounts, already claimed that form is substance, and that form is a universal. This interpretation of the argument of Z.13, Wedin argues, threatens the possibility of attaining a definition of substance, and places in doubt what has gone before in the treatise. According to Wedin, what Aristotle is concerned with in Z.13 is not the (...) denial that substance is a universal but rather with the denial that anything predicated universally of a c‐substance is the substance‐of the c‐substance, which Wedin calls ‘Weak proscription’. In Wedin's account of Z.13, then, Aristotle is continuing to pursue issues first raised in Z.10–11 that have to do with the relations between form and definition, and form and the universal. Wedin also argues that the dilemma at the conclusion of Z.13, regarding the definability of substance, is resolved in Z.16, with the notion of ‘Dual Complexity’, according to which the parts of a form exist potentially in the form, just as the parts of the c‐substance exist potentially in the c‐substance. (shrink)

Wedin addresses the debate over whether nonsubstantial individuals, that inhere in a subject but are not said of a subject, i.e. accidents, such as the pallor of Socrates, are nonrecurring particulars or a kind of determinate universal. Wedin examines the secondary literature on this topic and divides it into two schools of thought, determined by the contributions of J.L. Ackrill and G.E.L. Owen. According to Ackrill, individuals in non‐substance categories are particular to the substance they are in; Owen critiques Ackrill's (...) view, and proposes that these items can recur in more than one subject and hence are a sort of universal. Wedin finds Owen's thesis unsatisfactory, even after supplementing it with an improved version due to Michael Frede; instead, Wedin argues for a revised version of Ackrill's interpretation of nonsubstantial individuals as nonrecurrent particulars. According to Wedin, Aristotle is committed to individuals only—e.g. to Socrates and to the particular bit of pallor in him: this conclusion has an important bearing on the ontological status of individuals and on the primacy of substance to nonsubstantial items. (shrink)

Wedin considers the problem of the compatibility of the Categories account of primary substance with the theory of substantial form of the Metaphysics. Wedin collects from the secondary literature the most important arguments for incompatibilism, and offers some proposals for restoring their harmony. While admitting the evident differences in the way Aristotle treats the question of substance in each treatise, Wedin is keen to argue that these differences are not sufficient to conclude that the treatises are incompatible. Wedin singles out (...) for particular attention, and criticism, Michael Frede and Gunther Patzig's account of Metaphysics Zeta, according to which the primary substance of the Metaphysics and the basic subject of predications is the form. Wedin considers two ‘philosophical’ arguments and one ‘Aristotelian’ argument for the subjecthood of forms, and argues that the textual evidence does not support the claim that form is the subject of accidents. (shrink)

Wedin discusses Aristotle's claims in Metaphysics Zeta 6 that the essence of a thing is to be sought among its per se attributes, and that each thing that is primary and spoken of per se, e.g. primary substance, is the same as its essence. Wedin argues that the Zeta 6 Thesis, i.e. that the essence of a thing is the thing's immediate essence, is a crucial requirement of the explanatory role of essence as the substance of c‐substances. According to Wedin, (...) Aristotle introduces this requirement in order to establish that a thing's essence cannot depend on another essence. Form must be the essence; if form cannot explain the nature of the thing of which it is the form, there would be the threat of a regress of explanatory forms. At the end of the chapter, Wedin considers the problem that the identity of a thing and its essence is a requirement that can be met by non‐substance items, but he denies that this leads to a dilution of the conception of substance. (shrink)

This essay explores the aspects of the Aristotelian psuchē that accounts for its contemporary appeal. The poverty of the notion of the mind is discussed. The superiority of the psuchē over the mind is emphasized.

The glorious anniversary of the great victory of the Soviet people and their heroic armed forces over the most aggressive armies of international imperialism provides a perspective that makes it possible to see the importance of this feat on the scale of world history, in the vivid light of the favorable influence it has exercised on all the subsequent development of sociopolitical processes on earth.

Among the numerous philosophical problems associated with analysis of the current revolution in science and technology, the problem of the revolution in the productive forces of society holds a place of importance. The revolution in science and technology brought the problem of the revolution in the productive forces into the foreground, along with the problems of the social revolution as a revolution in the entire system of societal relations.