The Place of Logic in Philosophy

Date

2019-12-31

Author

Grünberg, David

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

69
views

30
downloads

Cite This

Having drawn the distinction between logic as a discipline and logic as organon, this short paper focuses on the latter, the purpose of which is twofold. First, it highlights the importance of second-order logic and modal logic in ontology. To this aim, the role of second-order logic is illustrated in formalizing realist ontology committing to the existence of properties. It is also emphasized how quantified modal logic helps clarify de re/de dicto distinction that implicitly takes place in ordinary language. Secondly, the paper concentrates on the significance of modal logic in the philosophy of language. In pursuing this goal, we considered Kripke’s notions of rigid designator, necessary a posteriori and contingent a priori statements. Given the definition of rigid designator, it is possible to prove in quantified modal logic that an identity between proper names, like “Hesperus” and “Phosphorus”, if true, is necessarily true. But the truth of the identity statement “Hesperus = Phosphorus” is known a posteriori. Therefore, there are necessary a posteriori truths. There are also contingent a priori true statements like “The length of stick S at time t0 = one meter”, as there exists a possible world in which this statement is false.

Subject Keywords

Second-order logic, quantified modal logic, possible-worlds semantics, necessary a posteriori, contingent a priori

URI

https://dergipark.org.tr/tr/pub/iufad/issue/52167/682308
https://hdl.handle.net/11511/114426

Collections

Department of Philosophy, Article