Przedmiot badań qua-teorii

Istnieją wyrażenia często stosowane w mowie potocznej, które w niewielkim stopniu są obecne w badaniach logiki formalnej. Przyjmijmy, że A, B, C to nazwy. Wyrażenia postaci "A jest B jako C" i odpowiednio "A jako C jest B" to qua-wyrażenia. Na określenie logiczno-filozoficznych badań poświęconych qua-wyrażeniom Roberto Poli wprowadził termin "qua-teoria". Jednakże precyzyjne określenie przedmiotu qua-teorii zależy od wyróżnionych odmian qua-wyrażeń oraz zaproponowanego dla nich znaczenia. W artykule krytycznie omawiam propozycje Roberto Poliego i Allana Bäcka oraz proponuję inną klasyfikację qua-wyrażeń. Istotny będzie dla mnie także kontekst epistemologiczny. Różne typy qua-wyrażeń pozwalają w odmienny sposób formułować stanowisko nazwane roboczo aspektualizmem teoriopoznawczym.

There is a specific class of propositions frequently used but almost unknown from the point of view of formal logic. Suppose that A, B, C are names. The propositions "A is B qua C" and "A qua C is B' are called qua-propositions. Roberto Poli introduced the term "qua-theory" in order to separate the special part of logic as well as philosophy focused on qua-propositions – their logical properties and meaning. But as long as some kinds of qua-propositions are not distinguished, the subject of qua-theory cannot be established properly and clearly. In my article I want to examine the proposals of Roberto Poli and Allan Bäck and in effect to propose different classifications of qua-propositions. Also the epistemological context will be important. Different kinds of qua-propositions enable us to distinguish different kinds of epistemological views very generally called "aspectualism".