Results 51 to 60 of about 127 (108)

Logical constants

, 2016
[Abridged abstract] The goal is to give structural proof-theoretical analyses of logical constants, and thereby provide a criterion for what a logical constant is. Another goal is to illustrate the thesis that structural assumptions of logic are basic and that alternative logics (later called substructural logics) differ from each other only in their ...
Dosen, K, Dosen, Kosta
openaire   +1 more source

El Significado de la Negación Paraconsistente

Principia: An International Journal of Epistemology, 2009
This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj  

Language and Logic in Wittgenstein's Tractatus

Nordic Wittgenstein Review, 2013
This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus.
Daniele Mezzadri
doaj  

On the Interpretation of Denotational Semantics

Philosophies
The denotational approach to the semantics of programming languages views program meanings as elements of domains, abstract partially ordered structures that form the basis of a mathematical theory of computation.
Felice Cardone
doaj   +1 more source

Logical Constants and Unrestricted Quantification

Journal for the Philosophy of Mathematics
Variants of the so-called permutation criterion have been used for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is invariant under arbitrary permutations on every domain. Thus a logical operation behaves on all objects in the same way.
openaire   +2 more sources

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Philosophical Interpretations Matter

Principia: An International Journal of Epistemology
In recent years, there has been an increasing debate about some philosophical aspects of paraconsistent logics. The focus of this controversy has been on whether the notion of philosophical interpretation of a logic is separable or independent from the ...
Eduardo Alejandro Barrio, Edson Bezerra, Bruno da Ré   +2 more
doaj   +1 more source

Smook on Logical and Extralogical Constants

Informal Logic, 1991
David Hitchcock, Rolf George
doaj   +1 more source

Cultural Ethnoconcepts and Substantial Ethnocodes of Moldavians in the Interpretation of National Values Vector

Journal of Danubian Studies and Research, 2020
The purpose of this article is to find and approve the definition of key terms: cultural ethno concept and substantial code.The national carpet, as well as the ethnic ornament, is one of the main cultural ethnoconcepts and substantial ethnic codes of ...
Yuliana Babina
doaj  

Logical constants across varying types.

Notre Dame Journal of Formal Logic, 1989
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.
openaire   +2 more sources