When are logical theories equivalent? I discuss the notion of ground-equivalence between logical ... more When are logical theories equivalent? I discuss the notion of ground-equivalence between logical theories, which can be useful for various theoretical reasons, e.g., we expect groundequivalent theories to have the same ontological bearing. I consider whether intertranslatability is an adequate criterion for ground-equivalence. Jason Turner recently offered an argument that first-order logic and predicate functor logic are ground-equivalent in virtue of their intertranslatability. I examine his argument and show that this can be generalized to other intertranslatable logical theories, which supports the following: intertranslatability implies ground-equivalence. I also argue, however, that this ground-equivalence argument can be challenged as it faces a dilemma. The dilemma arises because the argument allows two distinct readings, the 'internal' and the 'external' reading. I argue that the argument turns out to be unsuccessful in both readings. The upshot of this dilemma in both philosophy of logic and metaphysics is considered.
The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphys... more The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphysics, is well recognized. I argue that the relationship between them is not necessarily a rivalry; a division of labour that resembles the relationship between pure mathematics and science is possible. As a case study, I look into the metaphysical underdetermination argument for ontic structural realism, a well-known position in scientific metaphysics, together with an argument for the position in analytic metaphysics known as ontological nihilism. I argue that we can ascribe the same schema to both arguments, which indicates that analytic metaphysics can offer an abstract model that scientific metaphysics may find useful.
In this paper, I examine a case for fundamental indeterminacy (FI) by Elizabeth Barnes and offer ... more In this paper, I examine a case for fundamental indeterminacy (FI) by Elizabeth Barnes and offer my counterarguments. Barnes' account of FI includes both the characterization of FI and why we need to accept it. I argue that her reasons for accepting FI can be challenged even when we accept her characterization of FI. Her main claim is that finding a fundamental proposition that our fundamental theory is indeterminate about (FPF) gives us a reason to accept FI in metaphysics. I challenge her claim by pointing out more plausible options to address FPFs. An FPF may either indicate that the theory is nonfundamental or lead us to accept the antirealist view; there is no room for FI in either option. One may insist on accepting FI, but I argue that it is not theoretically rewarding enough. Hence, Barnes' case for FI can be contested.
This paper provides an exposition of the structuralist approach to underdetermination, which aims... more This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach.
When are logical theories equivalent? I discuss the notion of ground-equivalence between logical ... more When are logical theories equivalent? I discuss the notion of ground-equivalence between logical theories, which can be useful for various theoretical reasons, e.g., we expect groundequivalent theories to have the same ontological bearing. I consider whether intertranslatability is an adequate criterion for ground-equivalence. Jason Turner recently offered an argument that first-order logic and predicate functor logic are ground-equivalent in virtue of their intertranslatability. I examine his argument and show that this can be generalized to other intertranslatable logical theories, which supports the following: intertranslatability implies ground-equivalence. I also argue, however, that this ground-equivalence argument can be challenged as it faces a dilemma. The dilemma arises because the argument allows two distinct readings, the 'internal' and the 'external' reading. I argue that the argument turns out to be unsuccessful in both readings. The upshot of this dilemma in both philosophy of logic and metaphysics is considered.
The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphys... more The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphysics, is well recognized. I argue that the relationship between them is not necessarily a rivalry; a division of labour that resembles the relationship between pure mathematics and science is possible. As a case study, I look into the metaphysical underdetermination argument for ontic structural realism, a well-known position in scientific metaphysics, together with an argument for the position in analytic metaphysics known as ontological nihilism. I argue that we can ascribe the same schema to both arguments, which indicates that analytic metaphysics can offer an abstract model that scientific metaphysics may find useful.
In this paper, I examine a case for fundamental indeterminacy (FI) by Elizabeth Barnes and offer ... more In this paper, I examine a case for fundamental indeterminacy (FI) by Elizabeth Barnes and offer my counterarguments. Barnes' account of FI includes both the characterization of FI and why we need to accept it. I argue that her reasons for accepting FI can be challenged even when we accept her characterization of FI. Her main claim is that finding a fundamental proposition that our fundamental theory is indeterminate about (FPF) gives us a reason to accept FI in metaphysics. I challenge her claim by pointing out more plausible options to address FPFs. An FPF may either indicate that the theory is nonfundamental or lead us to accept the antirealist view; there is no room for FI in either option. One may insist on accepting FI, but I argue that it is not theoretically rewarding enough. Hence, Barnes' case for FI can be contested.
This paper provides an exposition of the structuralist approach to underdetermination, which aims... more This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach.
Uploads
articles by Chanwoo Lee