AUTOR:     Urszula Truskolaska
AFILIACJA: Uniwersytet Warszawski
TYTUŁ:     Uwikłanie wyrażeń języka formalnego w struktury języka
           polskiego w tekstach dowodów twierdzeń w akademickich
           podręcznikach / monografiach matematycznych

Referat będzie próbą przyjrzenia się znalezionym w próbce tekstów
mechanizmom włączania wyrażeń języka formalnego w struktury zdaniowe języka
polskiego, a więc, z uwagi na częstość występowania takich wyrażeń i ich
rolę w tekście, również językowym mechanizmom budowania tekstu dowodu.

Referat koncentrować się będzie na zagadnieniach składniowych (przy czym
składnia rozumiana będzie szeroko: nie tylko jako hierarchiczne zależności,
lecz również jako linearne układy niekiedy niezależnych od siebie
elementów). Cały czas będziemy jednak pamiętać, że zarówno poszczególne
zdania jak i cały tekst odzwierciedlają logiczną strukturę wywodu
matematycznego. W szczególności będziemy się posługiwać rozróżnieniem
między przedmiotowymi zdaniami matematycznymi (niezależnie od tego, czy
zapisanymi formalnie, czy w języku naturalnym) a towarzyszącym im
komentarzem, dotyczącym całości przedstawianego wywodu, statusu
poszczególnych zdań przedmiotowych i związków między nimi (komentarz ten
prawie zawsze wyrażony jest w języku naturalnym).

Krótko omówione zostaną uwikłania składniowe pojedynczych termów języka
formalnego. Potem uwaga nasza skoncentruje się na włączaniu formuł w
zdanie. Niektóre z nich są przytaczane (jak wyrażenia cudzysłowowe), inne
bezpośrednio użyte w zdaniu (mówiąc w przybliżeniu, pełnią wtedy funkcję
zdań składowych; zdarza się jednak też, że fraz nominalnych).

Podawane będą przykłady osobliwości stylistycznych tekstów matematycznych,
osobliwości wynikających z jednej strony z nagromadzenia 'elementów
obcych', z drugiej ze struktury wywodu.