syntactic abstraction
Recently Published Documents


TOTAL DOCUMENTS

8
(FIVE YEARS 1)

H-INDEX

3
(FIVE YEARS 0)

Semiotica ◽  
2022 ◽  
Vol 0 (0) ◽  
Author(s):  
Steven Skaggs

Abstract Charles S. Peirce’s second trichotomy, which introduces the concepts of iconicity, indexicality, and symbolicity, is probably the only piece of his semiotic that is familiar to visual artists and designers. Although the concepts have found their way into the academy, their utility in the field has been reduced for a couple of reasons. First, as with all of Peirce’s philosophy, his second trichotomy is a concept that is subtle, fluid, and difficult to fully grasp in a sound bite. Second, there has simply been no bridge concept that would form a working connection between that philosophy in its logical guise and the studio practice in the visual arts. The purpose of this article is to remedy that situation by investigating the subtle ways the second trichotomy functions within the visual sphere, and to then suggest a model that can serve to bridge the divide between pure theory and practice. The article makes four main points: first, using examples from visual identity and the graphic arts, it demonstrates how the modes of icon, index, and symbol tend to be blended; second, examples from fine art are used to illustrate how the concept of abstraction, as used in the art world, can only be partially accounted for within the second trichotomy, but can be modeled by supplying a syntactical supplement; third, it expands on and elaborates a previously sketched model, the visual gamut, which makes it possible to classify visual entities according to their position within a map of semantic and syntactic space; finally, it concludes by suggesting ways this enhanced version of the visual gamut model might be used in the analysis of, or creation of, art and design, presenting suggestions for further study.


10.29007/cpbz ◽  
2018 ◽  
Author(s):  
Damien Doligez ◽  
Jael Kriener ◽  
Leslie Lamport ◽  
Tomer Libal ◽  
Stephan Merz

We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic.


Author(s):  
Jacques Julliand ◽  
Nicolas Stouls ◽  
Pierre-christophe Bué ◽  
Pierre-Alain Masson

1993 ◽  
Vol 5 (4) ◽  
pp. 295-326 ◽  
Author(s):  
R. Kent Dybvig ◽  
Robert Hieb ◽  
Carl Bruggeman

Sign in / Sign up

Export Citation Format

Share Document