09.10.2013 Views

Witti-Buch2 2001.qxd - Austrian Ludwig Wittgenstein Society

Witti-Buch2 2001.qxd - Austrian Ludwig Wittgenstein Society

Witti-Buch2 2001.qxd - Austrian Ludwig Wittgenstein Society

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Logic vs. Information -<br />

Two Approaches To Language<br />

Jan Werszowiec Plazowski, Marek Suwara<br />

Abstract<br />

Examining language as a means of communication and expression of knowledge led to<br />

two different approaches: one based on set theory - in which the language is reduced to<br />

its formal structure, the other based on system theory - in which language is seen as<br />

carrying information.<br />

The thesis of the present paper is that a sentence, before it gets accepted as a part<br />

of our knowledge, gets “filtered” through two different selection criteria. One, which<br />

extracts the information available from a given sentence, is contextual. The other is<br />

purely logical and “filters” the true sentences according to well-known criteria. While the<br />

latter is pretty well described in literature, the former needs much wider study.<br />

An example of the mentioned double-fold filtering can be a denial of liar’s paradox<br />

on the logic-information ground. Although seen as a paradox, by large number of<br />

logicians, the liar’s problem has no influence on our cognition or use of natural language<br />

for cognitive purposes. The reason is simple. As we are going to show, in case of liar<br />

paradox we analyse rather the reliability of the source of information than the lair’s<br />

statement itself.<br />

1. Introduction - logic and formalisation<br />

Language as a foundation of our expression of knowledge has been a subject of many<br />

studies. The present analytical approach resulted from some premises made on the<br />

nature of a language - premises read from linguistic studies, and a programme of<br />

formalisation, which for its founder, Leibniz, was supposed to purify the question of truth<br />

quest in philosophy.<br />

From linguistics were taken:<br />

- thesis of the medium independence - linguistic objects get therefore<br />

mathematical status (1)<br />

- thesis of syntactical efficiency - properly build sentence is a sensible one (2)<br />

175

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!