Search

Modern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A. Tarski, modern history of logic ...

... Transl. and ed. by D. Walford, R. Meerbote. Cambridge. Kant, I. 1998, Critique of Pure Reason, transl. by P. Guyer, A. W. Wood, Cambridge. King, P. 2001, Consequence as Inference. Medieval Proof Theory 1300—1350. In: Yrjönsuuri, M. (ed.), Medieval Formal Logic. Dordrecht, pp. 117—145. Klima, G. 2004, Consequences of a Closed, Token-Based Semantics: The Case of John Buridan. In: History and Philosophy of Logic, vol. 25, no. 2, pp. 95—110. Klima, G. 2016, Consequence. In: Dutilh Novaes, C., Read, S....

... рр. 125—165. 6. Grifcova I. N. 1998, Logika kak teoreticheskaya i prakticheskaya disciplina. K voprosu o sootnoshenii formal'noj i neformal'noj logiki [Logic as a theoretical and practical discipline. On the question of the relationship between formal and informal logic]. Moscow. 7. Zeebom T. M. 1992, Logika ponyatij kak predposylka kantovskoj formal'noj i transcendental'noj logiki [The logic of concepts as a prerequisite for Kant's formal and transcendental logic] In: Kantovskij sbornik. Vyp. 17. [Kantovsky sbornik....

... // Phronesis. 2002. Vol. 47. № 2. Р. 127—152. 22. Kirwan C. Logic and Argument. New York University Press, 1978. 23. MacFarlane J. What does it mean to say that logic is formal? PhD dissertation. Pittsburgh University, 2000. 24. Prior A. N. Formal Logic. Oxford, 1962. 25. Rose L. Aristotle' s Syllogistic. Springfield Illinois, 1968. 26. Smiley T. The Schematic Fallacy // Proceedings of the Aristotelian Society, 1982. Vol. 83. Р. 1—17. 27. Striker G. Aristotle’s Prior Analytics: Book 1. ...

.... These three perspectives on his conclusions are practically undifferentiated. The first part of this article discusses the logical and ontological-gnoseological content of the treatise in order to reveal the prerequisites for the cognitive interpretation ... ... distinction Kant draws between two modes of formulating conclusions, one of which is “in the form of judgements”. Here, formal and “ontological” syllogisms are distinguished by the type of relation that obtains between parts of the premises. ...

... transcendental logic through introducing ontological considerations based on P. Strawson's descriptive metaphysics. The notions of a particular, a sortal universal and a feature universal are introduced into the transcendental limitation on the inferences of formal logic. 1. Аристотель. Категории // Аристотель. Соч.: в 4 т. М., 1978. Т. 2. С. 53—90. 2. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики ...

... transcendental logic through introducing ontological considerations based on P. Strawson's descriptive metaphysics. The notions of a particular, a sortal universal, and a feature universal are introduced into the transcendental limitation on the inferences of formal logic. 1. Аристотель. Категории // Аристотель. Соч.: в 4 т. М., 1978. Т. 2. С. 53—90. 2. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики ...

... conveyed by discussions about logical aliens - fan­tastic mad-humans, in which Frege embodied his idea of the impossibility of denying the nec­essary nature of logical laws in the acquisition of truth, in the context of the remarkable diver­sity of formal logical tools for modeling argumentation and reasoning. Based on modern stud­ies of conditional reasoning, using the example of Onegin’s conditional reasoning from a let­ter to Tatyana, we show that there are different ways of reconstructing it, including ...

This article shows that the opposition between formal and dialectical logic first emerged within Hegel’s dialectical logic. The article shows that in the framework of the division of time into «now» and «not now», the incorrect formal logical description of dialectical opposition disappears. The author comes to a generalised conclusion: the rejection of language description of dialectical opposition as a true conjunctive proposition of the A ¬A type marks the end of opposition ...

... already been thought of. Thereby Maimon substantially broadened the area of analytic judgments at the cost of the synthetic ones, which ultimately allowed him to reinterpret the relation of the formal and transcendental logic, and also to subject the formal logic itself to a thorough revision. 1. Брюшинкин В. Н. Логика Канта и метафизика Стросона // Кантовский сборник. 2011. Вып. 37. С. 7—17. 2. Кант И. Избранные письма ...

... identifying key positions in the analysed texts, by their historical commentary, mutual comparison, and the discovery of authors’ logic. The results of the research include the publication of archival materials and their interpretation in the context of internal ... ... contrary, rejected an important part in Zhirmunsky’s rhyme theory. The interrelation between different branches of the Russian formalism become clearer. Akimova, M. V., 2024. State Academy of Artistic Sciences vs. Formalism in Pet­rograd: Theory ...

... the idea of Kant’s transcendental deduction in the Critique of Pure Reason as well as its Hegelian reading in the Science of Logic and reformulation as the very method of philosophy in the Philo­sophy of Right. I show what in the Kantian argumentation ... ... In so doing, I highlight a ‘red thread’ between the two ideas of the transcendental deduction. I conclude by proposing a formal account of Kant’s and Hegel’s ideas and by summing up the main metaphilosophical insights we can gain from Kant’s ...

....2019). 8. Colubi A., Gonzalez-Rodriguez G. Fuzziness in data analysis: Towards accura­cy and robustness // Fuzzy Sets and Systems. 2015. Vol. 281. P. 260—271. doi: https://doi.org/10.1016/j.fss.2015.05.007 . 9. Godo L., Gottwald S. Fuzzy sets and formal logics // Fuzzy Sets and Systems. 2015. Vol. 281. P. 44—60. doi: https://doi.org/10.1016/j.fss.2015.06.021 . 10. Holčapek M., Perfilieva I., Novák V., Kreinovich V. Necessary and suffi­cient conditions for generalized uniform fuzzy partitions // ...

... logic. Translated by J. M. Young. Cambridge: Cambridge University Press, pp. 521-640. Lu-Adler, H., 2018. Kant and the Science of Logic. A Historical and Philosophical Reconstruction. New York: Oxford University Press. Mancosu, P., 1996. Philosophy of Mathematics ... ... Categories. In: C. J. Posy, ed. 1992. Kant’s Philosophy of Mathematics. Dordrecht: Springer, pp. 135-158. Peijnenburg, J., 1994. Formal Proof or Linguistic Process? Beth and Hintikka on Kant’s Use of ’Analytic’. Kant-Studien, 85(2), pp. 160-178. Posy,...

... theoretical interest in ‘dolnik’ was fueled not only by the prevailing poetic processes but also by new translation experiments, primarily the equirhythmic translations of Heine by Alexander Blok, published in his collection “Night Hours” (1911). The formal similarities between Russian and German ‘dolnik’ prompted scholars to develop comparative metrics and theories of tonic verse, while the rhythmic differences led to the refinement of concepts related to rhythm and meter in non-syllabic verse,...

... discourse particles allow both approaches. The existence of Old Russian particle TI1 as has been proved by Zaliznjak on the basis of formal conditions, constraining the position of this particle in the clausal structure. Meanwhile, Zaliznjak failed to provide ... ....edu/88336709/ [Accessed 26 December 2022] (in Russ.). Bach, E., 1986. Natural Language Metaphysics. In: R. Barcan Marcus et al., eds. Logic, Methodology, and Philosophy of Science, VI. Amsterdam: North Holland, pp. 573—595. Baranov, A. N., Plungyan, V. A. and ...

... function involved in the pure self-affection is decisive for the generation of formal intuition. In particular, I explain why the formal intuition of time depends on the intuition of space and how it is constituted by drawing a line. After that, I turn to ... ... Neue Autographen und Dokumente zu Kants Leben, Schriften und Vorlesungen. Hamburg: Felix Meiner, pp. 1-30. Caimi, M., 2012. The Logical Structure of Time According to the Chapter on the Schematism. Kant-Studien, 103(4), pp. 415-428. Van Cleve, J., 1999. ...

... Postmodern in ICT’ // Fountains of Computing Research — Proceedings of SAICSIT 2010 (Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists). 2010. P. 153—159. 16. Poli R. Descriptive, Formal and Formalized Ontologies // Husserl's Logical In¬vestigations Reconsidered. 2003. Vol. 48. P. 183—210. 17. Scheuer O, Loll F.,Pinkwart N., McLaren B. M. Computer-supported argumenta¬tion: A review of the state of the art // Computer Supported Learning. 2010. Vol. 5, № 1. P. 43—102....

... Oslo, 6-9 August 2019. Berlin & Boston: Walter de Gruyter, 2021, pp. 49-67. Anderson, R. L., 2022. Transcendental Idealism as Formal Idealism. European Journal of Philosophy, [e-journal] pp. 1-25. https://doi.org/10.1111/ejop.12753 Buroker, J. V., 1981.... ... International Kant Congress. Oslo, 6-9 August 2019. Berlin & Boston: Walter de Gruyter, 2021, pp. 69-83. Capozzi, M., 1987. Kant on Logic, Language and Thought. In: M. Ferrian and D. Buzzetti, eds. 1987. Speculative Grammar, Universal Grammar, and Philosophical ...

... integrated through isomorphic embeddings of their elements into each other. The article considers some alternative notions of formalism and the definitions of isomorphic embeddings corresponding to them. A number of new results concerning their interrelations ... ... Справочная книга по математической логике: в 4 ч. М., 1982. Ч. 1. 4.  Hodges W. Elementary predicate logic // Handbook of philosophical logic. 2 nd ed . Vol . 1. Springer , 2001. P . 1—130.

... nauke [Modern logic: problems of theory, history and application in science]. St. Petersburg, pp. 115—118 (in Russ.). Tulchinskii, G. L., 2012. Lewis Carroll's logic and Lukasiewicz's conjecture. In: Lo­gika L'yuisa Kerrolla i gipoteza Lukasevicha [Logic, language and formal models]. St. Pe­tersburg, pp. 152—159 (in Russ.). Tulchinskii, G. L., 2022. Stratification semantic models of text: “deep semiotics” and “stereometric semantics”. In: S. T. Zolyan and G. L. Tulhinskii, eds. Mezhdu mirom i yazykom: smysl ...

In this article, I explore the content-related and formal aspects of describing the multidi­mensional semantic organization of a text, particularly, I focus on the possibility ... ... Moscow: AN SSSR Publ. pp. 167—194 (in Russ.). Gindin, S. I., 1982. Some lessons and possible perspectives of contacts between logic and the linguistic theory of the text. In: Logicheskii analiz estestvennogo yazyka [Logical analysis of natural language]....

... pre-establish the language of observation and found all scientific-theoretical work. Lapshin, on the other hand, in discussing the formal and substantive features of these categories (the introduction of “axioms” of time, the need to specify the concepts ... ... Logika otnoshenij i sillogizm. (Po povodu knigi privat-dotsenta S.I. Povarnina “Logika. Obshee uchenie o dokazatel’stve”) [Logic of Relations and Syllogism. (About the Book by Privat-Docent S.I. Povarnin “Logic. The General Doctrine of Proof”)]....

... Euclid’s genetic method is an important innovation introduced by Kant. This understanding is at the heart of modern mathematical formalism, intuitionism, and constructivism. Within Kant’s constructivism, mathematics can be described as a two-tier system,... ... particular, Kant's ‘intuitionism’ of mathematics can be understood as structural properties of mathematical language or its ‘logical space’ (Wittgenstein; cf. mathematical structuralism). In his theory, Kant distinguishes between two types of constructing ...

... separation from psychology. In recent times, Franco Moretti has attempted to mimic the methodology of formalists, though he still advocates the stance of a methodologically opposed party, which assumes that literary facts can be explained using the logic of social sciences. Bakhtin, M. M., 2000. Freidizm. Formal'nyi metod v literaturovedenii. Marksizm i filo­sofiya yazyka [Freudianism. Formal method in literature studies. Marxism and philo­sophy of language]. Moscow (in Russ.). Bourdieu, P., 2000. Literary field. Novoe literaturnoe obozrenie [New ...

... Philology XXIII. A series of lin­guistic.]. Tartu: TGU. pp. 3—29 (in Russ.). Gasparov, B. M., 1975b. The structure of the formal connection of sentences in modern Russian. In: B. Gasparov, ed. Trudy po russkoi i slavyanskoi filologii XXIII. Seri­ya ... ... tipologicheskie issledovaniya [Some general remarks regarding the consideration of the text as a kind of signal. Structural typo­logical studies]. Moscow: Publishing House of the Academy of Sciences of the USSR. pp. 144—154 (in Russ.). Ronen, O., 1973. ...

... the ‘doctrine of happiness’ dispels doubts over the implicitly a posterior and empirical nature of criteria introduced as formal and a priori ones. 1. Arendt, H. 2011, O politicheskoj filosofii Kanta: Kurs lekcij. Perev. A. N. Salikova. Lekcija 10 ... ... logicheskih rabot Kanta. Perev. A. K. Sudakova [Among the Enlightenment and the Critique of Reason: Studies on the Case of Kant’s Logical Works. Transl. by A. K. Sudakov]. М. 21. Blesenkemper, K. 1987, „Publice age“ — Studien zum Öffentlichkeitsbegriff ...

.... Egré, P., 2014. Hyperintensionality and De Re Beliefs. In: F. Lihoreau and M. Re­buschi, eds. Epistemology, Context, and Formalism. New York: Springer, pp. 213—243, https://doi.org/10.1007/978-3-319-02943-6_13 . Fodor, J. D., 1970. The Linguistic ... ... and denotation. In: B. V. Biryukov and Z. A. Kuzicheva, eds. Gottlob Frege. Logika i logicheskaya semantika [Gottlob Frege. Logic and logical se­man­tics]. Moscow, pp. 230—246 (in Russ.). Frolov, K. G., 2022. On the Bench-Capon Value-Based Argumentation ...

... Introduction to Decision Theory. IEEE Transactions on Systems Science and Cybernetics, Vol. SSC-4, no. 3, pp. 200—210. Marx, K., 1963. The Eighteenth Brumaire of Louis Bonaparte. New York: International Publishers. Pietarinen, A.-V., 2003. Games as Formal Tools versus Games as Explanations in Logic and Science. Foundations of Science, 8, pp. 317—63. Popper, K., 2005. The Logic of Scientific Discovery. London: Taylor and Francis e-Lib­rary. Rousseau, J.-J., 1761. Julie ou la Nouvelle Héloïse: Lettres de deux amans, Habitans d'une petite ...

... didactic systems and various approaches to the construction of math­ematical and computer models of the student. The following models are dis­cussed: linear and nonlinear learning models; multicomponent model; models of assimilation and forgetting logically related and unrelated information; models that take into account the dependence of the degree of understanding on the speed of receipt of educational information. The resulting graphs of changes in the amount of the student’s knowledge over ...

In the current article, the author explores the legal basis for investigation activities on Internet, paying particular attention to the provisions set forth in the Federal Laws “On Communications,” “On Information, Information Technologies and the Information Security”, “On the Investigative Search ac­tivities” in the context of countering extremism. The article analyzes the technical and legal features of online investigation measures. The author analyzes the legislation on the investigation measures...

... demonstrate the need to search for new perspectives that allow a somewhat different consideration of inves­tigative actions as a legal phenomenon, which determined the aim of this article. To achieve this aim, along with general scientific methods (logical, comparative analysis, synthesis), spe­cific legal methods (interpretation of legal norms and formal-legal analysis) were also applied. The empirical method formed the basis for addressing law enforcement practice. This made it possible to determine ...

... assumptions of linguistics] . Moscow (in Russ.). Kravchenko, A. V., 2015. External realism and biology of cognition: the epistemo­logical turn. In: E. I. Pivovar, ed. Gumanitarnye chteniya RGGU — 2014 [The RGGU readings in the humanities — 2014]. Moscow,... ... nature, origins and trans­for­mations . London; New York: Routledge. Linell, P., 2013. Two views on the nature of language: formal linguistics (with its written language bias) vs dialogical linguistics. In: A. V. Kravchenko, ed. Kognitivnaya dinamika ...

... (Searle), or the recipient's standpoint (Zolyan). On the other hand, the theory of the poetic function of language, as presented in formalism and structuralism, posits that the reference of the poetic sign does not extend to the world of objects but rather to ... ... denotation. In: B. V. Biryukov and Z. A. Kuzicheva, eds. Gottlob Frege. Logika i logicheskaya semantika [Gottlob Frege. Logic and logical se­mantics]. Moscow, pp. 230—246 (in Russ.). Jakobson, R., 1975. Linguistics and poetics. In: Strukturalizm: ...

The article is based on a chapter from the author’s book Russian Formalism: A Metapo­etics (1984). It deals with the poetics of Roman Jakobson formulated during his stay in Prague from 1920 ... ... Einführung: Linguistische Poetik. In: R. Jakobson, ed. Höl­der­lin. Klee. Brecht. Frankfurt a/M, pp. 7—25. Husserl, E., 1970. Logical Investigations, Vol. 1. Translated by J. N. Findlay. New York. Ivanov, V., 1909. Sporades. In: V. Ivanov, ed. Po zvezdam....

... intermediary between the author of the source text and the reader. Literal translation determines what linguistic, rhythmic, and formal features of the original the translator will identify. In this situation, the quality of the final translation depends ... ... translation technique. Logicheskii analiz yazyka. In: N. D. Arutyunova, ed. Perevod khudozhestvennykh tekstov v raznye epokhi [Logical analysis of the language. Translation of literary texts in different epochs]. Moscow, p. 19—30. 7. Tarasova, M. A., ...

... text was first published in the Berlin­based Russian liberal newspaper “Rul’”, gives us reason to see it not just as a formal jubilee tribute, but as an act addressed to the qualified liberal audience which witnessed thecollapse of liberalism in ... ... estestvenno-nauchnogo obrazovaniya ponyatij: logicheskoe vvedenie v istoricheskie nauki [Boundaries of Natural-Scientific Formation of Concepts: Logical Introduction to Historical Sciences]. Translated (into Russian) by A. Voden. St. Petersburg: E. D. Kuskova. (In Rus.) ...