Results 61 to 70 of about 127 (108)
Logic, Reasoning and the Logical Constants
, 2006 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
Araştırma Ankara Üniversitesi Dil ve Tarih-Coğrafya Fakültesi Felsefe Bölümü Dergisi (Yayınlanmıyor), 1972 openaire +1 more source
A first-order logic with no logical constants.
Notre Dame Journal of Formal Logic, 1987 openaire +2 more sources
TRANSLATING THE LOGICAL CONSTANTS
Comment argumenter en faveur d'une manière particulière de fixer la signification des constantes logiques qui soit incompatible avec une manière différente ? Comment justifier un choix ? Prenant la loi du tiers-exclu comme paradigmatique, je considère deux cas : celui des langues naturelles, et celui de la logique formelle.
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Pragmatics of the Logical Constants
2009Abstract The logical constants are technical terms, invented and precisely defined by logicians for the purpose of producing rigorous formal proofs. Mathematics virtually exhausts the domain of deductive reasoning of any complexity, and it is there that the benefits of this refined form of language are felt.
Dorothy Edgington, Edgington Dorothy
exaly +2 more sources
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2013
A constant delay (CD) logic style is proposed in this paper, targeting at full-custom high-speed applications. The CD characteristic of this logic style regardless of the logic type makes it suitable in implementing complicated logic expressions such as addition.
Pierce Chuang +2 more
openaire +1 more source
A constant delay (CD) logic style is proposed in this paper, targeting at full-custom high-speed applications. The CD characteristic of this logic style regardless of the logic type makes it suitable in implementing complicated logic expressions such as addition.
Pierce Chuang +2 more
openaire +1 more source
1980
[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, Kosta, Dosen, Kosta
openaire +1 more source
[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, Kosta, Dosen, Kosta
openaire +1 more source
Pseudo-constant logic optimization
2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors, 2013Constant folding reduces area and enables greater parallelism, but requires circuits with constant inputs. In this work, we extend constant folding to support pseudo-constants, which are values that change with low frequency. We present a method of pseudo-constant logic optimization based on dynamically reconfigurable capabilities of FPGAs, which ...
Aaron Landy, Greg Stitt
openaire +1 more source
Semantic Minimalism for Logical Constants
Logique et Analyse, 2014In [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