Reassessing logical hylomorphism and the demarcation of logical constants

Reassessing JML’s Logical Foundation

Early in the design of the Java Modeling Language (JML) care was taken in the choice of its logical foundation to ensure that JML could accommodate run-time assertion checking, static analysis and formal verification. At the time, classical two-valued logic was adopted. Since then however, we note that the main JML tools have actually implemented differing semantics, by design. In this paper, w...

Plantinga and the Logical Problem of Evil

Logic , Reasoning and the Logical Constants

Logical Constants as Punctuation Marks

This paper presents a proof-theoretical approach to the question "What is a logical constant?" This approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e. deductions independent of any constant of the language to which the premises and conclusions belong. Logical constants, on which the remaining forma...

Logical Constants Across Varying Types

We investigate the notion of "logicality" for arbitrary categories of linguistic expression, viewed as a phenomenon which they can all possess to a greater or lesser degree. Various semantic aspects of logicality are analyzed in technical detail: in particular, invariance for permutations of individual objects, and respect for Boolean structure. Moreover, we show how such properties are systema...