Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...) IT is a deeply iconic-dependent process. We exemplify our approach by means of literature to dance IT and we explore some implications for the development of a general model of IT. (shrink)

Os signos e as classes dos signos estão entre os tópicos mais importantes do sistema filosófico de Charles S. Peirce. As 10, 28, e 66 classes de signos são classificações desenvolvidas especialmente a partir de 1903 e representam um grande refinamento da divisão fundamental de signos – ícone, índice, símbolo. Nossa abordagem aqui define uma estratégia de visualização das classificações dos signos, com especial atenção para as 10 e 66 classes de signos. O livro está dividido em duas partes: (i) (...) bases teóricas, (ii) diagramas para as classes de signos. Na Parte I (bases teóricas), são apresentadas introdutoriamente as noções fundamentais das categorias fenomenológicas, classes de signos, as tricotomias e diagramas, assim como implicações gerais de nossa abordagem, metodologia e aplicações. Na Parte II (diagramas para as classes de signos), são apresentados e discutidos os modelos das classes, propostos por Peirce e seus comentadores, incluindo uma introdução detalhadamente documental de nossos modelos, 10cubes e 3N3, diagramas dinâmicos para as classes de signos. (shrink)

As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ?or? or ?if ? then? propositions. Simple rules make the converse, add or remove negations, and resolve propositions.

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

The algebra of sets has, basically, two different types of symbols. One type of symbol (∩, ?, +, ?) defines another set from two other sets. A second type of symbol (?, ?, =, ?) makes a proposition about two sets. When the construction of these two types of symbols is based on the same four-dot matrix as the logic symbols described in a previous paper, the three symbol types then dovetail together into a harmonious whole that greatly simplifies derivation (...) in the algebra of sets. (shrink)