Results 51 to 60 of about 127 (109)
Language and Logic in Wittgenstein's Tractatus
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
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
Sequent Systems for Consequence Relations of Cyclic Linear Logics
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
Logical Constants and Unrestricted Quantification
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
Smook on Logical and Extralogical Constants
David Hitchcock, Rolf George
doaj +1 more source
Philosophical Interpretations Matter
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 +2 more
doaj +1 more source
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.
openaire +2 more sources
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
Logic, Reasoning and the Logical Constants
What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees with Gilbert Harman and most of the psychologists that logic is not directly relevant to reasoning. It argues, however, that the mental model theory of logical reasoning allows us to harmonise the basic principles of deductive ...
openaire +1 more source
openaire +1 more source

