•  2
    Logical Maximalism in the Empirical Sciences
    In Parusniková Zuzana & Merritt David (eds.), Karl Popper's Science and Philosophy, Springer. pp. 171-184. 2021.
    K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with …Read more
  •  33
    Are the open-ended rules for negation categorical?
    Synthese 198 (8): 7249-7256. 2021.
    Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence t…Read more
  •  234
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
  •  59
    Philosophical Accounts of First-Order Logical Truths
    Acta Analytica 34 (3): 369-383. 2019.
    Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analytici…Read more
  •  39
    ”John P. Burgess, Philosophical Logic, Princeton University Press, 2009” (review)
    Romanian Journal of Analytic Philosophy 8 (1): 90-92. 2013.
  •  250
    The Epistemic Significance of Valid Inference – A Model-Theoretic Approach
    In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth, Pro Universitaria Publishing. pp. 11-36. 2015.
    The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to enlarge his knowledge, a…Read more
  •  632
    What Makes Logical Truths True?
    Logos and Episteme 7 (3). 2016.
    The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framewor…Read more
  •  64
    A Carnapian Approach to Counterexamples to Modus Ponens
    Romanian Journal of Analytic Philosophy 7 78-85. 2013.
    This paper attempts to motivate the view that instead of rejecting modus ponens as invalid in certain situations, one could preserve its validity by associating such situations with non-normal interpretations of logical connectives.