C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 (1967), pp. 61–74.

1974 ◽  
Vol 39 (1) ◽  
pp. 182-182
Author(s):  
H. Simmons
Keyword(s):  
Symbolic Logic ◽  
Omitting Types

Algebra

2018 ◽  
Author(s):  
Andrea Henderson
Keyword(s):  
Euclidean Geometry ◽  
Symbolic Logic ◽  
Associative Networks ◽  
Aristotelian Logic ◽  
Modern Algebra ◽  
Symbolic Systems ◽  
The Difference ◽  
Founding Principle ◽  
Conventional Symbol

The difference between the transcendent Coleridgean symbol and the unreliable conventional symbol was of explicit concern in Victorian mathematics, where the former was aligned with Euclidean geometry and the latter with algebra. Rather than trying to bridge this divide, practitioners of modern algebra and the pioneers of symbolic logic made it the founding principle of their work. Regarding the content of claims as a matter of “indifference,” they concerned themselves solely with the formal interrelations of the symbolic systems devised to represent those claims. In its celebration of artificial algorithmic structures, symbolic logician Lewis Carroll’s Sylvie and Bruno dramatizes the power of this new formalist ideal not only to revitalize the moribund field of Aristotelian logic but also to redeem symbolism itself, conceived by Carroll and his mathematical, philosophical, and symbolist contemporaries as a set of harmonious associative networks rather than singular organic correspondences.

Sign in / Sign up

Export Citation Format

Share Document