Premium
Operations and Truth‐Operations in the Tractatus
Author(s) -
Gallerani Cuter João Vergílio
Publication year - 2005
Publication title -
philosophical investigations
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.172
H-Index - 14
eISSN - 1467-9205
pISSN - 0190-0536
DOI - 10.1111/j.1467-9205.2005.00241.x
Subject(s) - negation , philosophy , computer science , epistemology , series (stratigraphy) , programming language , paleontology , biology
Formal series are associated with ascriptions of numbers. They are ordered by formal operations that, unlike negation and disjunction, are not truth‐operations. In spite of this, they are required to build propositions involving generic reference to numbers, and are essential to the Tractarian version of the logicist project.