### Article

## Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic

During the nineteenth century, German philosophy developed from a type of general knowledge to an academic discipline at the university. Changes across disciplines to the philosophy of science and psychological surveys created new challenges for the place and purpose of philosophy in the educational system. The content of logic courses for secondary schools (Gymnasiums) was centred on the dissociation of nature and the scale of logic.In this paper, I will examine a number of projects for teaching philosophy at the secondary school level from new humanism to reduce philosophical to philological concerns about different projects offered by Niethammer, Hegel and Herbart. Then, I will focus on the most successful – Adolf Trendelenburg’s Elements of Aristotle’s Logic (1st edition of 1836). This work is a compilation of the logical texts of Aristotle, and for as long as sixty years, it was an official textbook in Prussian secondary schools. The aim of the paper is to show how the rethinking of Aristotle’s heritage affected the theoretical and ideological expectations of propaedeutic courses and transformed the image of logic as a philosophical discipline.

The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the *k*-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of monadic logic, of finite automata and of the represented by them languages, of temporal logic are considered. Many examples are shown. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National research university Higher school of economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

The aim of the paper is, firstly, to reconstruct the nature of logic as a formal, normative discipline within Herbart’s system and, secondly, to question the extent to which Herbart could consistently define logic as the “organon of knowing from a formal point of view”. This discussion should not only contribute to the problematic historiography 19th-century logic, but also explore the relevance of formalistic stances and challenge the received distinction of form and matter.

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle's system appears then as a fragment of a broader system which can be developed by using FOL.

Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. Commutative subexponentials enhance the expressiveness of linear logic frameworks by allowing the distinction of multiple contexts. These contexts may behave as multisets of formulas or sets of formulas. Motivated by applications in distributed systems and in type-logical grammar, we propose a linear logical framework containing both commutative and non-commutative subexponentials. Non-commutative subexponentials can be used to specify contexts which behave as lists, not multisets, of formulas. In addition, motivated by our applications in type-logical grammar, where the weakenening rule is disallowed, we investigate the proof theory of formulas that can only contract, but not weaken. In fact, our contraction is non-local. We demonstrate that under some conditions such formulas may be treated as unbounded formulas, which behave intuitionistically.

The following paper considers the debate on disciplinary boundaries of logic in German philosophy of the early 19th century. It is supposed to distinguish four competing views on understanding of the logical knowledge. The analysis of the controversy enables to adjust the location of the Hegelian idea of the "Science of Logic," project and to clarify the historical context of the emergence of formal logic as a discipline.

The article considers the Views of L. N. Tolstoy not only as a representative, but also as a accomplisher of the Enlightenment. A comparison of his philosophy with the ideas of Spinoza and Diderot made it possible to clarify some aspects of the transition to the unique Tolstoy’s religious and philosophical doctrine. The comparison of General and specific features of the three philosophers was subjected to a special analysis. Special attention is paid to the way of thinking, the relation to science and the specifics of the worldview by Tolstoy and Diderot. An important aspect is researched the contradiction between the way of thinking and the way of life of the three philosophers.

Tolstoy's transition from rational perception of life to its religious and existential bases is shown. Tolstoy gradually moves away from the idea of a natural man to the idea of a man, who living the commandments of Christ. Starting from the educational worldview, Tolstoy ended by creation of religious and philosophical doctrine, which were relevant for the 20th century.

This important new book offers the first full-length interpretation of the thought of Martin Heidegger with respect to irony. In a radical reading of Heidegger's major works (from *Being and **Time* through the ‘Rector's Address' and the ‘Letter on Humanism' to ‘The Origin of the Work of Art' and the *Spiegel* interview), Andrew Haas does not claim that Heidegger is simply being ironic. Rather he argues that Heidegger's writings make such an interpretation possible - perhaps even necessary.

Heidegger begins *Being and Time* with a quote from Plato, a thinker famous for his insistence upon Socratic irony. *The Irony of Heidegger *takes seriously the apparently curious decision to introduce the threat of irony even as philosophy begins in earnest to raise the question of the meaning of being. Through a detailed and thorough reading of Heidegger's major texts and the fundamental questions they raise, Haas reveals that one of the most important philosophers of the 20th century can be read with as much irony as earnestness.* The Irony of Heidegger* attempts to show that the essence of this irony lies in uncertainty, and that the entire project of onto-heno-chrono-phenomenology, therefore needs to be called into question.

The article is concerned with the notions of technology in essays of Ernst and Friedrich Georg Jünger. The special problem of the connection between technology and freedom is discussed in the broader context of the criticism of culture and technocracy discussion in the German intellectual history of the first half of the 20th century.