Поиск

... Tamminga, A. Moral conflicts between groups of agents // Journal of Philosophical Logic, Vol. 37, pp. 1-21, 2008. Meyer, J.-J. C. & others. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic // Notre dame journal of formal logic, Vol. 29, pp. 109-136, 1988. Payette, G. Decidability of an xstit logic // Studia Logica, Vol. 102, pp. 577-607, 2014. Wansing, H. Doxastic decisions, epistemic justification, and the logic of agency // Philosophical Studies, Vol. 128, pp. 201-227,...

... аргументации 3-21 logic, informal logic, epistemology, argumentation, structure of argument, appraisal of argument The article is devoted to consideration of some theoretical problems in informal logic: its definition, the connection with formal logic and epistemology, argumentation as an inferential structure and a kind of dialogue, its structure and appraisal. Different approaches to their decisions are analyzed.

... Semantics of John Stuart Mill. Dordrecht, Reidel Publishing Company. De Morgan, A. (1842) On the Foundation of Algebra, in Ewald W.B. (ed.) From Kant to Gilbert. A Source Book in the Foundations of Mathematics, Vol.1, Oxford UP. De Morgan, A. (1847) Formal Logic, or the calculus of inference, necessary and probable. London: Taylor and Walton. Grattan-Guinness, I. (2000) The Search for Mathematical Roots, 1870-1940. Princeton UP. Gregory, D.F. (1865) ‘On the real nature of symbolical Algebra’, in W....

... Sergot M., Stephenson A. Formalizing Kant’s Rules: A Logic of Conditional Imperatives and Permissives // Journal of Philosophical Logic. 2019. Vol. 48. P. 1—68. doi: 10.1007/s10992-019-09531-x. Kovač S. Logical Foundations and Kant’s Principles of Formal Logic // History and Philosophy of Logic. 2020. Vol. 41, № 1. P. 48—70. Ludovici C. G. Ausführliche Entwurff einer vollständigen Historie der Wolffischen Philosophie, zum Gebrauch seiner Zuhörer. Leipzig : Johann Georg Löwe, 1737. Bd. 2. MacFarlane ...

... // 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. ...

.... Consequentiae (ed. by P. V. Spade) // Mediaeval Studies. 1976. Vol. 38. Р. 54—58. Floridi L. The Logic of Design as a Conceptual Logic of Information // Minds and Machines. 2017. Vol. 28. Р. 495—519. King P. Medieval Proof Theory // Medieval Formal Logic / ed. by M. Yrjönsuuri. Dordrecht, 2001. Р. 117—145. Klima G. Consequences of a Closed, Token-Based Semantics: The Case of John Buridan // History and Philosophy of Logic. 2004. Vol. 25. Р. 95—110. Klima G. Consequence // The Cambridge Companion ...

... 1299—1318. Александр Александрович Беликов логика Данна-Белнапа, формальные модели аргументации, аргументативное следование 36-48 Dunn-Belnap logic, formal argumentation theory, argumentative entailment In this paper we consider different applications of Dunn-Belnap logic to formal argumentation modelling. Among them we distinguish two approaches: A. Bochman’s method of bi-sequentional relations ...

... Cognition, vol. 45, pp. 257–284. Norenzayan, A., Smith, E.E., Kim, B. and Nisbett, R.E. (2002) ‘Cultural preferences for formal versus intuitive reasoning’, Cognitive Science, vol. 26, pp. 653– 684. Papafragou, A. and Musolino, J. (2003) ‘Scalar ... ... experiments at the semantics-pragmatics interface’, Cognition, vol. 86, no. 3, pp. 253–282. Perkins, D. N. (2002) ‘Standard Logic as a Model of Reasoning: The Empirical Critique’, in Gabbay, D.M., Johnson, R.H., Ohlbach, H.J. and Woods, J. (eds.) Handbook ...

... universal. This article analyses the criteria for distinguishing subject and predicate expressions in the context of identifying the forms of interaction between formal and transcendental logic. The author poses the problem of limiting the inferences of formal logic by certain conditions set out by transcendental logic and determined by metaphysical considerations. From this point of view, the author considers the contribution of P.F. Strawson’s descriptive metaphysics to the solution to the problem of distinguishing ...

... 2000. 35. Woods J. (2004). The death of argument: fallacies in agent based reasoning. Dordrecht (Kluwer) 2004. 36. Woods J., D.Gabbay (2001). More on non-cooperation in dialogue logic \\ Journal of IGPL (2001) 9 (2). 37. Woods J., D.Gabbay (2002). Formal approaches to practical reasoning. A survey \\ Handbook of the Logic of the Argument and Inference. Ed. J.Woods, D.Gabbay et al. Amsterdam, Elsevier, 2002. 38. Woods J., Walton D (1976). ‘Ad baculum’. Grazer Philosophische Studien 2, 1976. 39. Wreen M.. Admit no force but argument. \\ Informal Logic (1988) ...

... of Rhetoric in Rational Argumentation \\ Argumentation 12: 315–323, 1998. 15. Hamblin Ch. Fallacies. London, 1970. 16. Prakken H., Vreeswijk G. Logic for Defeasible Argumentation \\ D.M. Gabbay and F. Guenthner, Editors, Handbook of Philosophical Logic, Vol. 4 (2nd Edition ed.),, Kluwer Academic, Dordrecht (2002), pp. 218–319. 17. Wells S., Reed Ch. Testing formal dialectic. \\ Lecture Notes in Computer Science. Ed. S.Parsons et el. Vol. 4049\2006Berlin Springer Verlag, 2006. P. 74-87. Елена Николаевна Лисанюк формальная диалектика, риторика, Ч. Хэмблин,...

... Поварнина, авторский образ логики, дескриптивность логических форм, наивный психологизм, педагогика логики 53-74 Povarnin’s logical doctrine, author’s image of logic, naive psychologism, descriptiveness of logical forms, pedagogy of logic The author’s image of logic is analyzed. The author extracts the non-formal elements of the Povarnin’s logical theory and connection between logic and psychology, logic ...

... ред. З.А. Кузичевой, М.: Аспект Пресс, 2000. – 512 с. 4. Fitting M. Kleene’s Three Valued Logics and Their Children // Fundamenta Informaticae, 20, 1994, pp 113—131 5. Groenendijk J, Stokhof M. Questions, Handbook of Logic and Language // J. van Benthem & A. ter Meulen (eds)Amsterdam/Cambridge, Mass., Elsevier/MIT Pess, Amsterdam/Cambridge, Mass.,1997, pp. 1055-1124 6. Hamblin C.L. Questions // Australian Journal of Philosophy, 36, 1958, 159-68 7. Harrah D. The ...

... formal and informal logic from its presuppositions and effects. Cognitive “need for better” – clear and precise – scientific understanding of subjective, personal side of thinking is manifested in the process of blurring the boundaries between logic (formal) and pragmatics (the 'informal logic'). Thus there is an urgent need to clarify the values and methodological priorities of logical investigations.

... is defined as the science of correct reasoning. Logic studies the laws and forms of correct reasoning. Therefore, by its very nature, any logical investigation bears the sign of the formalities. In the mainstream of "science of reasoning" formal logic is one of its kinds, which is opposed to the logic of an informal approach to its specific reasoning. But the question of whether this approach is more appropriate for the actual process of communication is still open.

... рассуждений // Модели рассуждений – 4: аргументация и риторика, Калининград, 2011, сс 52-66 2. Dunn J. M., Partiality and its Dual, Studia Logica, 2000, 65, pp. 5-40. 3. Harman G. Internal Critique: a logic is not a theory of reasoning and a theory of reasoning is not a logic // Handbook of the Logic of Argument and Inference (Studies in Logic and Practical Reasoning) by D.M. Gabbay, North Holland, 2002. 4. Russel B. Our Knowledge of the External ...

... тривий, логика, спекулятивная риторика, диаграмма, визуальное рассуждение. 15-25 semeiotic, trivium, logic, speculative rhetoric, diagram, visual reasoning. Charles Sanders Peirce considered logic as «formal art», making trivium together with grammar and rhetoric. My purpose in this paper is to reveal implications of the semiotics reconstruction of trivium, carried out by Peirce, for the demarcation of its internal and external borders. The upshot ...

... Argumentation: Across the Lines of Discipline / Frans H. van Eemeren. Rob Grootendorst, J. Anthony Blair, Charles A. Willard (eds.). Dordrecht, Provedance: Foris Publications, 1987. P. 81-91. Finocchiaro, Maurice A. Meta-Argumentation: An Approach to Logic and Argumentation Theory. London: College Publications, 2013. 279p. Finocchiaro, Maurice A. Two Empirical Approaches to the Study or Reasoning // Informal Logic. 1994. Vol. 16. No 1.Pp. 1-21. Gross, Allan G., Harmon, Joseph E., Reidy, Michael ...

... ‘Семантические основания логики У. Бурлея’, Логико-философские штудии-2, № 7, с. 228-243. Barnes, J. (1997) Logic and the Imperial Stoa, Leiden-New York-Koln: BRILL. Bochenski, I.M. (1961) A History of formal logic, Notre Dame, Ind: University of Notre Dame Press. Nielsen, L.O. (1982) Thomas Bradwardine’s Treatise on ‘incipit’ and ‘desinit’, Copenhague. Burlaeus, G. (1955) De puritate artis logicae tractatus Longior with a revision of tractatus ...

... аргументации, рассуждения, дискурс 9-21 argument, argumantation, theory of argumentation, logic, reasoning, discourse Argumentation theory is considered as a branch of logical knowledge, which focuses not on an abstract ... ... theoretical proof, but on those components, which did not undergo formalising and distinguish a natural language from its abstract formal models.

... В. Н. Когнитивные карты наборов аргументов // Модели рас-суждений — 4: Аргументация и риторика. Калининград, 2011. С. 161—181. 6. Лобанов Г. Ю. Basic Formal Ontology как средство построения онтологии в системной модели аргументации // РАЦИО.ru. 2013. № 11. С. 126—143. 7. Лобанов Г. Ю., Хизанишвили Д. В. Обзор ...

... Гуманитарные науки. (в печати) Gruber, T.R. (1995) ‘Toward principles for the design of ontologies used for knowledge sharing?‘, International journal of human-computer studies, vol. 43, no. 5, pp. 907–928. Poli, R. (2003) ‘Decriptive, Formal and Formalized Ontology‘, in Fisette, D. (ed.) Husserl's Logical Investigations reconsidered, pp. 183–210. Scheuer, O., Loll, F., Pinkwart, N. and McLaren, B.M. (2010) ‘Computer-supported argumentation: A review of the state of the art‘,...

... Serck-Hanssen, B. Himmelmann. Berlin ; Boston : Walter de Gruyter, 2021. P. 49—67. Anderson R. L. Transcendental Idealism as Formal Idealism // European Journal of Philosophy. 2022. P. 1—25. doi.org/10.1111/ejop.12753. URL: https://onlinelibrary.... ... August 2019 / ed. by C. Serck-Hanssen, B. Himmelmann. Berlin ; Boston : Walter de Gruyter, 2021. P. 69—83. Capozzi M. Kant on Logic, Language and Thought // Speculative Grammar, Universal Grammar, and Philosophical Analysis of Language / ed. by M. Ferrian,...

... предмете // Фреге Г. Логика и логическая семантика: сб. тр. / пер. с нем. Б .   В . Бирюкова ; под ред . З .   А . Кузичевой . М ., 2000. 7.  Bryushinkin V. The Interaction of Formal and Transcendental Logic // Proceedings of the Eighth International Kant Congress. Memphis 1995. Milwaukee, 1995. С . 553—566. 8.  Guizzardi G., Wagner G., Sinderen M. van. A formal theory of conceptual modeling universals // Workshop on Philosophy and Informatics ...

... Methods in Economics. URL: https:// ssrn.com/abstract=3168087 (дата обращения: 11.02.2019). 5. Challoumis C. Fuzzy Logic Concepts in Economics. URL: https://papers . ssrn.com/sol3/papers.cfm?abstract_id=3185732 (дата обращения: ... ... 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 ...

... которые в современной логике имеют статус «логической системы». 1. Post E. Formal reductions of the general combinatorial decision problem // Amer. J. Math., vol.65, 1943. P. 197-215. 2. Ацел П. ... ... не-фрегевская аргументация 43-49 post systems, inductive definitions, argumentation systems, quantum logic, logic of quantum mechanics, non-Frege argumentation By example of quantum logic the author considers the problem of demarcation ...

... 80-89. (In Russian); 7. Bryushinkin, Vladimir. Kant and Artificial Intelligence: Transcendental Analysis of World Models // Kantovskii Sbornik. Vol. 16. Kaliningrad, 1991, 84-89. (In Russian); 8. Bryushinkin, Vladimir. The Interaction of Formal and Transcendental Logic // Proceedings of the Eighth International Kant Congress. Memphis 1995. Milwakee: Marquette University Press, 1995. С. 553-566. 9. Kant, Immanuel. Critique of Pure Reason. Translated and edited by Paul Guyer and Allen W. Wood. Cambridge, 1998....

... https://philpapers.org/browse/kant-philosophy-of-mathematics (дата обращения: 03.01.2021). Lu-Adler H. Kant and the Science of Logic. A Historical and Philosophical Reconstruction. N. Y. : Oxford University Press, 2018. Mancosu P. Philosophy of Mathematics ... ... Categories // Kant’s Philosophy of Mathematics / ed. C. J. Posy. Dord­recht : Springer, 1992б. P. 135—158. Peijnenburg J. Formal Proof or Linguistic Process? Beth and Hintikka on Kant’s Use of ’Analytic’ // Kant-Studien. 1994. Bd. 85, № 2....

... transcendental argumentation originating from Kant's works. In order to prove the completeness and consistency of his system of categories, Kant uses metaphysical and transcendental deduction. The common component of these deductions is transcendental logic based on Kant’s original theory of judgement, which reveals the transcendental content of judgements. The author also addresses the correlation between formal and transcendental logics and the possibility of formalizing the latter.

... ontology. The article analyses Kant’s transcendental arguments. To prove completeness and consistency of his system of categories Kant uses the Metaphysical and Transcendental deductions. The general component of these deductions is transcendental logic. It is based on Kant’s original theory of judgement which reveals a transcendental content of judgements. The question of correlation between formal and transcendental logics and possibilitу of a formalization of the last is also discussed.

... 2017. North D. W. A Tutorial Introduction to Decision Theory // IEEE Transactions on Sys­tems Science and Cybernetics. 1986. Vol. SSC-4. № 3. P. 200—210. Marx K. The Eighteenth Brumaire of Louis Bonaparte. N. Y., 1963. Pietarinen A.-V. Games as Formal Tools versus Games as Explanations in Logic and Science // Foundations of Science. 2003. № 8. Р. 317—363. Popper K. The Logic of Scientific Discovery. L., 2005. Rousseau J.-J. Julie ou la Nouvelle Héloïse: Lettres de deux amans, Habitans d'u­ne petite ville au pied des Alpes. Amsterdam,...

... Post­struk­turalismus / hrsg. von F. A. Kittler. Paderborn ; München ; Wien ; Zurich, 1980. Bach E. Natural Language Metaphysics // Logic, Methodology, and Philosophy of Science VI / ed. by R. Barcan Marcus et al. Amsterdam, 1986. P. 573—595. Chao W., Bach ... ... linguistique générale. P., 1960. Mel’čuk I. General phraseology. Theory and practice. Amsterdam; Philadelphia, 2023. Montague R. Formal Philosophy: Selected Papers of Richard Montague. New Ha­ven, 1974. Morris C. W. Foundations of the Theory of Signs // ...

... section justifies the use of the term konnektor (the Russian equivalent of connective), a relatively recent addition to Russian linguistic terminology, arguing for its advantages over closely related terms. This section also demonstrates the formal diversity of connectives. Section 2, the main body of the article, consists of two parts. In the first (2.1), it is argued that pragmatics, in its epistemological interpretation, functions as a factor that specifies or refines the general ...

Уголовно-процессуальным законом дан исчерпывающий перечень следственных действий, определен порядок и особенности производства каждого из них. В то же время в правоприменении довольно часто возникают трудности, которые приводят либо к признанию доказательств недопустимыми, либо к нарушению прав участников производства по уголовному делу. В некоторых случаях практика идет дальше теоре­тических разъяснений и конструкций, появляются некоторые шаблоны действий сле­дователей, дознавателей, подходов судов...

... competence sets, discipline combinations, internships, and the number of hours and credits stipulated in the existing curricula. A formal comparison of generalised quantitative indicators without analysing the content of curricula components demonstrated a ... ... (metodologicheskij analiz) [The system of educational research (methodological analysis)], Pedagogika i logika [Pedagogy and logic], Moscow, Kastal', pp. 16—200. 39. Sheremeta, S. V. 2009, Osnovnye napravlenija modernizacii vysshej shkoly v svete Bolonskogo ...

... модальная логика, математическое доказательство 153-172 Goedel, ontological argument, modal logic, mathematical proof Kurt Goedel is mostly known to mathematicians and physicists by his renowned incompleteness theorems.... ... proof of God's existence is much less known. The article considers historical and philosophical premises for this proof, its formal pecularities, as well as its various interpretations. The relevance of Goedel's proof both for philosophy and for science ...

... Lawrence Erlbaum Associates, 2005. 3. Genesereth, M. R., Fikes, R. E. KIF Version 3.0. Reference Manual // Technical Report Logic 92, no. 1, 1992. 4. Genesereth, M. R., Nilsson, N. J. Logical Foundations of Artificial Intelligence. Los Altos, California.... ... 907–928. 8. Guarino, N., Boldrin, L. Ontological Requirements for Knowledge Sharing. Chambery, France, 1993. 9. Guarino, N. Formal Ontology in Information Systems. Amsterdam, Berlin, Oxford,Tokyo, Washington, 1998. 10. Van Heijst, G., Schreiber, A. ...

....: Мысль, 1990. Владимир Никифорович Брюшинкин аргументация, логика, риторика, набор аргументов, осуществление аргументации. 3-14 argumentation, logic, rhetoric, set of arguments, implementation of argumentation. This article considers the role of rhetoric in the framework of the cognitive approach to argumentation. The author identifies the twofold function of rhetoric in the system model of ...