Internal and External Logic

Bulletin of the Section of Logic 17 (3/4):170-181 (1988)
  Copy   BIBTEX


In an essential way I make use of Frege’s and Vasilev’s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract logic depends on gnoeologic assumptions while the empirical part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic . Vasilev’s ideas become plain if we discern cleary acts of predication and acts of assertion, the relation of mental contents with the way things are. The second sourse of the idea seems to Frege’s differentation of mental process and assertion, statement . As a symbol of assertion for Frege serves a vertical stroke |. A horizontal stroke following it is correlated with holding a proposition, it makes the sign determined everywhere. In the string of signs the one following the vertical stroke does not express a proposition, it describes a possible state of affairs



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

21 (#760,820)

6 months
2 (#1,257,544)

Historical graph of downloads
How can I increase my downloads?