Results 1  10
of
640,584
Formal logic
"... Logic studies the validity of arguments. A typical case in point is that of syllogisms: logical arguments in which, starting from two premises, a conclusion is reached. For example, given that There are horses in Spain. ..."
Abstract
 Add to MetaCart
Logic studies the validity of arguments. A typical case in point is that of syllogisms: logical arguments in which, starting from two premises, a conclusion is reached. For example, given that There are horses in Spain.
What is “formal logic”?
"... The subject of formal logic when treated by the method of setting up a formalized language is called symbolic logic, or mathematical logic or logistic. Church, 1956, p.56. Many people understand the expression “formal logic ” as meaning modern mathematical logic by opposition to traditional logic be ..."
Abstract
 Add to MetaCart
The subject of formal logic when treated by the method of setting up a formalized language is called symbolic logic, or mathematical logic or logistic. Church, 1956, p.56. Many people understand the expression “formal logic ” as meaning modern mathematical logic by opposition to traditional logic
On the Role of Implication in Formal Logic
, 1998
"... Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or #calculus with logical constants for and, or, all, and exists, but with no ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or #calculus with logical constants for and, or, all, and exists
On the Role of Implication in Formal Logic
"... Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or #calculus with logical constants for and, or, all, and exists, but with no ..."
Abstract
 Add to MetaCart
Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or #calculus with logical constants for and, or, all, and exists
Formal Logic and SelfExpression
, 27
"... The digital computer can be used to synthesize images of Nature from first principles of mathematics and the natural sciences; these images can in turn serve as vehicles of selfexpression for the artist directing the synthesis. This peculiar artistic process juxtaposes the deterministic formalisms ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The digital computer can be used to synthesize images of Nature from first principles of mathematics and the natural sciences; these images can in turn serve as vehicles of selfexpression for the artist directing the synthesis. This peculiar artistic process juxtaposes the deterministic formalisms
Word Games for Formal Logic
"... Some students in the humanities take fright when introduced to the formal manipulations characteristic of elementary sentential & predicate logic. One way to lessen the pain of initiation is to start with word games, of which Lewis Carroll’s Doublets (section 1) is a familiar example. The paper ..."
Abstract
 Add to MetaCart
Some students in the humanities take fright when introduced to the formal manipulations characteristic of elementary sentential & predicate logic. One way to lessen the pain of initiation is to start with word games, of which Lewis Carroll’s Doublets (section 1) is a familiar example. The paper
Inference Using Formal Logics
, 2001
"... Introduction Logic is fundamental to a variety of disciplines. Logic provides insight into the nature of mathematics and human mathematical reasoning. Logic provides insight into the syntax and semantics of human language. Logic is an important tool in the design and implementation of computer prog ..."
Abstract
 Add to MetaCart
Introduction Logic is fundamental to a variety of disciplines. Logic provides insight into the nature of mathematics and human mathematical reasoning. Logic provides insight into the syntax and semantics of human language. Logic is an important tool in the design and implementation of computer
Results 1  10
of
640,584