Add to ORKGIn this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
Logical pluralism is the theory that there is more than one right logic. Logical instrumentalism is ...
The traditional approach to Natural Language Semantics consists in equating the semantic content of ...
In this article, logical concepts are defined using the internal syntactic and semantic structure of...
Work on the nature and scope of formal logic has focused unduly on the distinction between logical a...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
In this paper we criticize a widespread practice in the teaching, use, and dissemination of first-or...
The paper argues that a philosophically informative and mathematically precise characterization is p...
La pregunta por la logicidad busca los criterios que hacen que cierto objeto se pueda considerar un ...
This thesis explores several related issues surrounding second order logic. The central problem runn...
How should logic be understood? I outline and defend the view that I call “realism” about logic. Thi...
✤ It is the characterization of those forms of reasoning that lead invariably from true sentences to...
This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plau...
The predicate 'being logical' has at least four applications. We can apply it to concepts, propositi...
After some preliminary grammatical considerations in this chapter, we collect the material on truth-...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
Logical pluralism is the theory that there is more than one right logic. Logical instrumentalism is ...
The traditional approach to Natural Language Semantics consists in equating the semantic content of ...
In this article, logical concepts are defined using the internal syntactic and semantic structure of...
Work on the nature and scope of formal logic has focused unduly on the distinction between logical a...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
In this paper we criticize a widespread practice in the teaching, use, and dissemination of first-or...
The paper argues that a philosophically informative and mathematically precise characterization is p...
La pregunta por la logicidad busca los criterios que hacen que cierto objeto se pueda considerar un ...
This thesis explores several related issues surrounding second order logic. The central problem runn...
How should logic be understood? I outline and defend the view that I call “realism” about logic. Thi...
✤ It is the characterization of those forms of reasoning that lead invariably from true sentences to...
This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plau...
The predicate 'being logical' has at least four applications. We can apply it to concepts, propositi...
After some preliminary grammatical considerations in this chapter, we collect the material on truth-...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
Logical pluralism is the theory that there is more than one right logic. Logical instrumentalism is ...
The traditional approach to Natural Language Semantics consists in equating the semantic content of ...