В статье рассматривается творческая эволюция создателя отечественной школы логической семантики Елены Дмитриевны Смирновой. Выявляются наиболее значимые научные результаты Е.Д. Смирновой в разработке теоретико-модельных методов, теории семантических категорий, интенсиональной логики. Отмечается оригинальность предложенного ею обобщающего подхода к построению логической семантики, открывающего новые перспективы в обосновании аподиктического знания. Демонстрируется роль научно-педагогической деятельности Е.Д. Смирновой в развитии философской логики в России. Ключевые слова: Елена Дмитриевна Смирнова, логическая семантика, философская логика, теория моделей, теория семантических категорий, интенсиональная логика, аналитическая истинность, парадокс, российская школа логической семантики © Е. Драгалина-Черная 208 ЭНЦИКЛОПЕДИЧЕСКИЙ ПОИСК
In this article, I consider Kant's dichotomy between general and transcendental logic in light of a retrospective reconstruction of two approaches originating in 14th century scholasticism that are used to demarcate formal and material consequences. The first approach (e. g., John Buridan, Albert of Saxony, Marsilius of Inghen) holds that a consequence is formal if it is valid-because of its form only-for any matter. Since the matter of a consequence is linked to categorematic terms, its formal validity is defined as being invariant under substitutions for such terms. According to the second approach (e. g., Richard Billingham, Robert Fland, Ralph Strode, Richard Lavenham), the validity of a formal consequence stems from the formal understanding of the consequent in the consequence's antecedent. I put forward the hypothesis that in his logical taxonomy, Kant attempted to reconcile the substitutional interpretation of formal consequences and a formal analysis of the transcendental relations of objects of experience. However, if we interpret the limitations imposed by transcendental logic on the power of judgement in the spirit of the scholastic ontology of transcendental relations, it would contradict Kant's critique of dogmatic ontology. Following in Luciano Floridi's path, I thus propose to consider transcendental logic, not as a system of consequences equipped with ontologically grounded transcendental limitations, but rather as the logic of design. The logic of design has the benefit of enriching traditional logical tools with a series of notions borrowed primarily from computer programming. A conceptual system designer sets out feasibility requirements and defines a system's functions that make it possible to achieve the desired outcome using available resources. Kant's project forbids a dogmatic appeal to the transcendental relations and eternal truths of scholasticism. However, the constitutive nature of the rules of transcendental logic in regard to the power of judgement precludes the pluralism of conceptual systems that can be interpreted within possible experience. Thus, the optimisation problem of finding the best conceptual design from all feasible designs is beyond the competence of transcendental logic.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.