ON THE DISTINGUISHING OF PHILOSOPHICAL LOGIC FROM PHILOSOPHY OF LOGIC
Konstantin Rayhert
Abstract
Konstantin Rayhert
Abstract
Introduction. The practice of the usage of the word-combinations “philosophical logic” and “philosophy of logic” in modern logical studies does not allow differentiating the notions “philosophical logic” and “philosophy of logic” because virtually the both study the similar objects with the similar methods. Purpose is to clarify the distinction between “philosophical logic” and “philosophy of logic”. Methods. For the attainment of the purpose the author uses the logical-conceptual analysis of content of notions. Results. In the course of research it turned out that in general the inability to tell the difference between philosophical logic and philosophy of logic was closely related to the mathematization of logic and the solubilization of logic within mathematics entirely, which makes senseless any use of the terms of philosophical logic and philosophy of logic because the former could be identified as a mathematical logic and the latter could be identified as a philosophy of mathematics. Conclusion and originality. To clarify the difference between philosophical logic and philosophy of logic, it is necessary to abandon the practice of considering the word-combinations “philosophical logic” and “philosophy of logic” in modern logical studies and to take hypothetically that traditional logic should be considered as a philosophical logic and classical and non-classical logics should be considered as mathematical logics. That is to say that philosophical logic is a branch of philosophy and mathematical logic is a branch of mathematics. At the same time, in a view of the understanding of logic as a study of arguments and the problems of validity and demonstrability as epistemological ones, philosophy of logic comes to be possible only when it’s considered as a philosophy which studies the essence of logic; in other words philosophy of logic attempts to explain what makes logic а logic in fact.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Introduction. The practice of the usage of the word-combinations “philosophical logic” and “philosophy of logic” in modern logical studies does not allow differentiating the notions “philosophical logic” and “philosophy of logic” because virtually the both study the similar objects with the similar methods. Purpose is to clarify the distinction between “philosophical logic” and “philosophy of logic”. Methods. For the attainment of the purpose the author uses the logical-conceptual analysis of content of notions. Results. In the course of research it turned out that in general the inability to tell the difference between philosophical logic and philosophy of logic was closely related to the mathematization of logic and the solubilization of logic within mathematics entirely, which makes senseless any use of the terms of philosophical logic and philosophy of logic because the former could be identified as a mathematical logic and the latter could be identified as a philosophy of mathematics. Conclusion and originality. To clarify the difference between philosophical logic and philosophy of logic, it is necessary to abandon the practice of considering the word-combinations “philosophical logic” and “philosophy of logic” in modern logical studies and to take hypothetically that traditional logic should be considered as a philosophical logic and classical and non-classical logics should be considered as mathematical logics. That is to say that philosophical logic is a branch of philosophy and mathematical logic is a branch of mathematics. At the same time, in a view of the understanding of logic as a study of arguments and the problems of validity and demonstrability as epistemological ones, philosophy of logic comes to be possible only when it’s considered as a philosophy which studies the essence of logic; in other words philosophy of logic attempts to explain what makes logic а logic in fact.
Key concepts: Philosophy of logic, Computational logic, Philosophical logic, Many-valued logic, Term logic, Epistemology, Dynamic logic (digital electronics), Paraconsistent logic