Results 71 to 80 of about 127 (109)

The accident of logical constants

Thought: A Journal of Philosophy, 2020
Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms
openaire   +1 more source

Semantic Minimalism for Logical Constants

Logique et Analyse, 2014
In [31], I defended a minimalist account of meaning for logical constants as a way to ward off Quine’s meaning variance charge against deviant logics. Its key idea was that some deviant propositional logics share with classical logic the operational meanings of all their connectives, as encoded in their sequent calculus operational rules, yet validate ...
openaire   +2 more sources

Logical constants

2018
A fundamental problem in the philosophy of logic is to characterize the concepts of ‘logical consequence’ and ‘logical truth’ in such a way as to explain what is semantically, metaphysically or epistemologically distinctive about them. One traditionally says that a sentence p is a logical consequence of a set S of sentences in a language L if and only ...
openaire   +1 more source

The Meanings of the Logical Constants in Deontic Logic

Ratio Juris, 1999
If deontic logic is to cast light on any of the normative sciences, such as legal reasoning, then certain problems regarding its logical constants must be faced. Recent studies in the area of deontic logic have tended to assume that it is our responses to the “paradoxes” of deontic implication which are fundamental to resolving problems with the use of
openaire   +1 more source

Logical Form and Logical Constants

2000
Abstract A general characterization of the constants of standard logic is achieved by following the suggestion, inspired by Wittgenstein's Tractatus, that the meanings of these constants can be fully explained by reference to no more than two essential features of empirical statements; all such statements must possess excluding power and
openaire   +1 more source

A New Constant in Superintuitionistic Logic L3

Algebra and Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Constants in Kripke Models for Intuitionistic Logic

Mathematical Logic Quarterly, 1995
AbstractWe present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be “axiomatized” by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove extended theorems of completeness and compactness.
openaire   +2 more sources

Classification of Novikov Complete Logics with Extra Logical Constants

Algebra and Logic, 2003
Consider the usual propositional language extended by a family of constants \(\overline{\varphi}=\{\varphi_1,\dots,\varphi_n\}\). An arbitrary set of formulas containing the logic Int is called \(\overline{\varphi}\)-logic if it is closed under modus ponens and substitution.
openaire   +2 more sources

The Semantics of the Logical Constants

1974
When logophoric terms the/an A (for instance, Husserl’s das A uberhaupt) are taken up into someone’s use of language and are burdened with great philosophical significance, these terms must then be assumed of importance for reasoning. In that case, it must be possible to connect assertions of the form the/an M is P logically with statements of other ...
openaire   +1 more source

Hyperresolution for Gödel logic with truth constants

Fuzzy Sets and Systems, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources