Peculiarities of Kant’s Interpretation of the Term ‘Consequence’
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 ...
Dilemmas of logical hylomorphism
... // 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. ...
Consequences and Design in General and Transcendental 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....
Kant, Gödel, and the problem of synthetic a priori judgements
... рр. 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....
Wanderings in Syllogistic Figures: On Kant’s Possible Cognitive Syllogistics
.... 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. ...
Kant's logic and Strawson's metaphysics
... 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. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики ...
Kant’s logic and Strawson’s metaphysics
... 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. Брюшинкин В. Н. Взаимодействие формальной и трансцендентальной логики ...
The history of opposition between formal and dialectical logic in Russian philosophy
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 ...
“When life was in the home circle” in the conditional reasonings of Fregean mad-humans and logical penalists
... conveyed by discussions about logical aliens - fantastic mad-humans, in which Frege embodied his idea of the impossibility of denying the necessary nature of logical laws in the acquisition of truth, in the context of the remarkable diversity of formal logical tools for modeling argumentation and reasoning. Based on modern studies of conditional reasoning, using the example of Onegin’s conditional reasoning from a letter to Tatyana, we show that there are different ways of reconstructing it, including ...
Maimon’s critique of I. Kant’s theory of analytic judge-ments
... 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. Кант И. Избранные письма ...
Theoretical analysis of fuzzy logic and Q. E. method in economics
....2019).
8. Colubi A., Gonzalez-Rodriguez G. Fuzziness in data analysis: Towards accuracy 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 sufficient conditions for generalized uniform fuzzy partitions // ...
The State Academy of Artistic Sciences versus Petrograd formalism: Verse theory. II. On Zhirmunsky’s “Rhyme, its history and theory”
... 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 Petrograd: Theory ...
Kant über inneren Sinn, Zeitanschauung und Selbstaffektion
... 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. ...
On the methodological meaning of notion of isomorphic enclosure of formalisms
... логики и методологии науки. Киев, 1980.
3.
Справочная
книга по математической логике: в 4 ч. М., 1982. Ч. 1.
4.
Hodges W.
Elementary predicate logic // Handbook of philosophical logic.
2
nd
ed
.
Vol
. 1.
Springer
, 2001.
P
. 1—130.
Olkhovikov G. K.
formalism, isomorphic enclosure.
7-15
The Transcendental Deduction of Categories as Philosophical Proof
... 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 Philosophy 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 ...
I. Kant in the development of N. O. Lossky’s philosophical views: The case of a translation
... Moscow.2. Arzakanjan, C. G., Primechanija [Notes]. In: Kant, I., 1994, Kritika chistogo razuma [Critique of pure reason], Мoscow, p. 546—563.3. Bryushinkin, V. N., 2006, Vzaimodejstvie formalnoj i transcendentalnoj logiki [The interconnection of formal and transcendental logic], Kantovsky sbornik [Kant’s Compendium], no. 26, p. 148—167.4. Bryushinkin, V. N., 1986, Kant I sillogistika. Nekotorye razmyshlenija po povodu “lognogo mudrstvovaniya v chetyreh figurah syllogizma” [Kant and syllogistics. Some thoughts ...
What is Kantian Philosophy of Mathematics? An Overview of Contemporary Studies
... 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,...
Heine’s dolnik in the academic discussion and the Russian translation practice of the 1900s—1930s
... 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,...
The place and role of ontology in the system model of argumentation
... 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....
Really: syntactics without semiotics?
... 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 ...
Review of the 13th International Kant Congress
... 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 ...
Where and how meanings emerge
... 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: Logika L'yuisa Kerrolla i gipoteza Lukasevicha [Logic, language and formal models]. St. Petersburg, 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 ...
Space and Time as A Priori Forms in the Works of Hermann Cohen and Ivan Lapshin
... 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”)]....
‘What can be described can happen too…’: describing text semantics as a model structure of transworld relationships
In this article, I explore the content-related and formal aspects of describing the multidimensional 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]....
Kant and new mathematics 100 years later
... Theory: Univalent Foundations of Mathemat-ics. Princeton, 2013.
20. Wigner E. The unreasonable effectiveness of mathematics in the natural sciences // Commun. Pure Appl. Math. 1960. № 13. P. 1—14.
Cassirer, Russell, philosophy of mathematics, formal logic, object-based knowledge, Category theory
Rodin A.
7-16
10.5922/0207-6918-2015-1-1
[html]1. Arnold V. I., 1998, O prepodavanii matematiki [On Mathematical Teaching] // Us-pekhi matematicheskih nauk [Advances of Mathematical Sciences] 53:1. p....
A transcendental analysis of mathematics: The constructive nature of mathematics
... 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 ...
The history of verse studies and formalism
... 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 filosofiya yazyka
[Freudianism. Formal method in literature studies. Marxism and philosophy of language]. Moscow (in Russ.).
Bourdieu, P., 2000. Literary field.
Novoe literaturnoe obozrenie
[New ...
The text in the context of the Tartu Semiotic School: problems and prospects
... Philology XXIII. A series of linguistic.]. 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. Seriya ... ... tipologicheskie issledovaniya [Some general remarks regarding the consideration of the text as a kind of signal. Structural typological studies]. Moscow: Publishing House of the Academy of Sciences of the USSR. pp. 144—154 (in Russ.).
Ronen, O., 1973. ...
How transcendental are Kant’s principles of public law?
... 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 ...
Application of the mathematical modelling and simulation methods to the study of didactic systems
... didactic systems and various approaches to the construction of mathematical and computer models of the student. The following models are discussed: 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 ...
Problems of legislative regulation of investigation activity on the Internet in countering extremism
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 activities” 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...
Attribution of de re propositional attitudes as a means of persuasion
....
Egré, P., 2014. Hyperintensionality and De Re Beliefs. In: F. Lihoreau and M. Rebuschi, 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 semantics]. Moscow, pp. 230—246 (in Russ.).
Frolov, K. G., 2022. On the Bench-Capon Value-Based Argumentation ...
OPOIAZ and Bakhtin: the Decision Science’s perspective
... 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-Library.
Rousseau, J.-J., 1761. Julie ou la Nouvelle Héloïse: Lettres de deux amans, Habitans d'une petite ...
Russian Political Kant after Liberalism: Sergey Hessen on 1924 Kant Jubilee
... text was first published in the Berlinbased 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.)
...
Simulation technique in the mathematical theory of learning
... is closely connected to the use of mathematical and digital techniques in learning process simulations. This article explores formal methods for studying a didactic system as well as difficulties in employing them. The author describes key stages of simulation ... ... learning, and the analysis of semiformalized and semistructured systems, research into cognitive and simulation management, fuzzy logic and soft system methodology comprise the methodological framework for the study.
1. Ажмухамедов И. М. Нечеткая ...
Cognitive-semantic modelling of the metaphoric choice devices
... Metaphor is able to shed light on intuitive and creative mechanisms of thinking process, thus filling the blanks in the fund of logically objective human knowledge, which opens the possibility to describe abstract concepts of human mind in terms.
1.
... ... three Domains of Creativity in The Concept of Creativity. L., 1981.
6.
Turner M., Fauconnier G.
Conceptual integration and formal expression // Journal of Metaphor and Symbolic Activity.
1995. Vol. 10. No. 3. P. 183—204.
7.
Жинкин Н.
...
Legal regulation of extradition in Russia: the interplay between international and national provisions
... international and national legal frameworks for extradition, focusing on a mechanism for safeguarding national interests within international treaties on extradition. The study follows the general research principle of objectivity, using, in particular, the formal legal method, abstraction, generalisation and general logical methods. The investigation of mechanisms for defending national interests when applying extradition norms made it possible to identify specific regulation problems. Factors hindering more effective implementation of the said provisions include ...
Classification of subjects of legal relations on the Internt
... One of these issues is the classification of subjects interacting within the global network. The purpose of this scientific research is to identify the grounds for such a classification, its justification and further development. The author relied on formal legal, comparative legal, and general logical methods of scientific research, subsequently worked out a classification of subjects based on functional division and drew attention to several problematic issues related to the activities of some subjects.
Georgiev I.V.
subjects of law, Internet,...
