2014
Zagadnienia
Filozoficzne
w Nauce
Zagadnienia
Filozoficzne
w Nauce
LVI 2014
ARTYKUY
5
Bartosz Broek
On Nonfoundational Reasoning
Piotr Urbaczyk
Daniel Milewski
Adam K
33
SPRAWOZDANIE
Dawid Juszka
RECENZJE
Jacek Olender
141
ukasz Lama
147
On Nonfoundational Reasoning
Bartosz Broek1
Department for the Philosophy of Law and Legal Ethics,
Jagiellonian University, and Copernicus Center for
Interdisciplinary Studies, Krakw
Abstract
The goal of the paper is to describe the role and structure of nonfoundational reasoning, i.e. a kind of argumentation that meets the
revisability, the feedback, the background stability and the disputability conditions. I begin by observing that any nonfoundational
reasoning has two components: the deductive and the hermeneutic. Next, against the background of Gadamers insightful, although
somewhat vague, observations I attempt to uncover aspects of the
hermeneutic component. I then proceed to reconstruct nonfoundational argumentation with the help of formal theory of belief revision, defeasible logic, and logical conception of coherence. Finally,
Bartosz Broek
Keywords
nonfoundational reasoning, foundationalism, hermeneutics, belief
revision, coherence, defeasible logic
1. What is nonfoundationalism?
Several years have now elapsed since I first became aware that
Ihad accepted, even from my youth, many false opinions for true,
and that consequently what I afterward based on such principles
was highly doubtful; and from that time I was convinced of the
necessity of undertaking once in my life to rid myself of all the
opinions I had adopted, and of commencing anew the work of
building from the foundation, if I desired to establish a firm and
abiding superstructure in the sciences.2
On Nonfoundational Reasoning
Bartosz Broek
in one of its nodes may require changes in others; even logic and
mathematics are just nodes in the web of knowledge, and hence
they are not immune to revisions. Moreover, if this is the case,
our statements about the external world face the tribunal of
sense experience not individually but only as a corporate body.4
The rejection of foundationalism leads to the following
questions: what does nonfoundational reasoning look like? Can
it be reconstructed logically? What are the criteria employed
when one reasons nonfoundationally? In order to answer these
questions, let us consider the following passage from Michael
Hellers essay Against Foundationalism, in which he observes
that each philosophical argument has two components: the deductive and the hermeneutic:
I believe that all arguments in philosophy, but also in the sciences, can be arranged in a sequence, such that at its say left end
there are arguments without the hermeneutic component, while at
the right arguments without the deductive component. () Rationalistic arguments are relatively closer to the left-hand side of
the sequence; visionary arguments are relatively close to the righthand side. Crucially, any philosophical argument, which pertains
to anon-trivial philosophical claim, is never devoid of the hermeneutic component.5
W.V.O. Quine, From a Logical Point of View, Harvard University
Press, Cambridge, Mass. 1980, p. 41.
5
M. Heller, Przeciw fundacjonizmowi, [in:] M. Heller, Filozofia
iwszechwiat, Universitas, Krakw 2006, p. 93.
4
On Nonfoundational Reasoning
When one begins to solve a problem, (...), one accepts certain hypotheses (...). It is important to note that these are hypotheses, not
certainties (...), and maybe even working hypotheses. By using
them one arrives at a solution of a problem (). The results of the
analysis may either strengthen ones initial hypotheses, or lead to
their modifications. Such a procedure may be repeated multiple
times, resulting in the self-adjustment of the system.7
Ibidem, p. 94.
M. Heller, Nauki przyrodnicze a filozofia przyrody, [in:] M. Heller,
Filozofia i wszechwiat, Universitas, Krakw 2006, p. 32.
6
Bartosz Broek
10
The classical relation of logical consequence is a non-linear function. In addition, there exist formal systems called nonlinear logics.
However, Heller speaks of something different a logic of epistemological non-foundationalism and hence I used the term non-linear
logic in quotation marks.
8
On Nonfoundational Reasoning
In order to understand the hermeneutic dimension of argumentation, it is necessary to consider the philosophy of Hans Georg
Gadamer, or so I argue. Although Gadamer speaks of understanding and interpretation, and not of arguing, his conclusions
are applicable, mutatis mutandis, to the characterization of any
kind of reasoning. Gadamer and his followers claimed that the
process of understanding cannot be accounted for with the use
of standard logical tools; he went even further by claiming that
understanding has little to do with logic. However, he speaks of
the structure of understanding, and wherever there is a structure
it must be at least in principle formally reconstructable: if not
in classical logic, then with the use of nonstandard formal techniques. Moreover, I believe that some of the observations of the
proponents of hermeneutics are indeed insightful, but it is difficult to appreciate and analyze them as they are usually expressed in vague and awkward language which is characterized by
11
Bartosz Broek
12
On Nonfoundational Reasoning
12
13
Bartosz Broek
14
These theses are far from clear and dangerously close to nonsense. What does it mean that one poses a question to a text?
What is the anticipation of meaning? In what way apart from
the obvious, that context influences interpretation does tradition
play the role of a transcendental condition of understanding? It
is tempting to conclude that, while Gadamer may be trying to verbalize something important, the result is vague and imprecise and
brings rather more confusion than insight.
However, I believe that it is possible to express the intuitions that stand behind Gadamers obscure phrase in a more precise way. To do so, I suggest distinguishing between four kinds
of pre-understanding. First, the thesis that tradition is a transcendental condition of understanding may be seen as an attempt
to say that whoever interprets something must use an interpreted
language. Thus, she must have at her disposal a vocabulary, syntactic rules (rules for constructing compound expressions), rules
of inference and a function which maps constants to individuals belonging to the domain of language, one-place predicates to
sets of such individuals, etc. Second, participation in the same
tradition requires a shared set of presuppositions. Usually, it is
assumed that a sentence A is a presupposition of a sentence B iff
B may be ascribed truth or falsehood only if A is true. Third, two
persons participate in the same tradition if they have the same or
similar background knowledge, where the term usually refers to
all those statements that within the process of solving a problem are assumed to be true or unproblematic. Here, I shall understand background knowledge in a similar way, as consisting
On Nonfoundational Reasoning
Ibidem, p. 291.
13
15
Bartosz Broek
14
16
On Nonfoundational Reasoning
15
rably that a problem is defined by a pair of contradictory sentences {p, ~p}, and that to solve a problem means to determine
which of the sentences, p or ~p, is true. Thus, a hypothesis H
solves a problem when it (together with some other previously
accepted sentences) implies p or ~p. Importantly, any newly introduced hypothesis H together with the background knowledge
K may yield contradiction. In such cases, one needs to revise or
reject some parts of the background knowledge, and this procedure is well modeled in formal theories of belief revision.15 In
other words, the set K*H1, i.e., K revised by H1, may not include every sentence, which was originally in K (I simplify here,
disregarding the fact that there usually are many ways of revising K by H1, and so the set K*H1 is in fact chosen from among
the possible ways of modifying K in order to accommodate H1).
To put it succinctly: revisions such as K*H1, K*H2, K*H3 often
result in the modifications to the background knowledge.
Whether such modifications are acceptable depends on
whether an introduced hypothesis (H1, H2, H3) indeed solves
aproblem that has previously remained unsolved. However, this
is not the only criterion for assessing the quality of a hypothesis. The other such criterion is coherence: we shall say that
the better the hypothesis (solving some problem) is, the more
coherence it generates in our system of beliefs. Coherence is
17
Bartosz Broek
18
determined by taking into account: (a) the number of nontrivial inferential connections in our belief set (so in K*H1, K*H2,
K*H3 respectively); and (b) the degree of its unification.16 There
exist nontrivial inferential connections between sentences belonging to a given set if they can serve together as premises in
logically valid schemes of inference. In turn, a given set of sentences is unified if it cannot be divided into two subsets without
a substantial loss of information.
Thus, the question is which from among the considered hypotheses H1, H2, and H3 (all of which solve the problem at
hand), should be given priority? The answer lies in the interplay
between two factors: the extent of modifications a hypothesis
causes within our background knowledge (the fewer changes
the better), and the degree of coherence it brings about in our
belief set (the higher degree the better). There is no simple formula to settle this interplay, it is rather a matter of decision on
a case by case basis. However, it is reasonable to assume that if
two hypotheses, H1 and H2, bring about a similar level of coherence, and when H1 causes substantial modifications in the background knowledge, while H2 changes it only slightly, it is H2
that should be preferred. Similarly, when both hypotheses produce similar modifications in the background knowledge, but
one of them brings about more coherence, it should be preferred.
It must also be added that there may be situations in which all
Cf. L. Bonjour, The Structure of Empirical Knowledge, Harvard
University Press, Cambridge, Mass. 1985.
16
On Nonfoundational Reasoning
19
Bartosz Broek
20
On Nonfoundational Reasoning
4. Nonfoundational reasoning
in philosophy and science
Numerous philosophical conceptions which have been defended
throughout history were foundational or isolationist. They include not only Descartes grand project, described at the beginning of this essay, but also the philosophy of Immanuel Kant, various post-Kantian philosophies in the 20th century (e.g., Husserls
phenomenology), as well as various incarnations of Thomism.
21
Bartosz Broek
22
On Nonfoundational Reasoning
Today, after 300 years of the dynamic development [of the natural
sciences], the employment of the strategy [of isolation] leads to two
different kinds of danger. Firstly, some deep questions of obvious
philosophical character (Did life originate from inanimate matter
with no external factor at play? Is human brain only a perfect calculator?) may be rejected as no genuine philosophical issues (as
they cannot be formulated within a given philosophical system).
Secondly, artificial and highly confusing problems arise when one
tries to speak of nature using a language which is inadequate for
this purpose (i.e., a language of a certain philosophical system).19
19
23
Bartosz Broek
24
On Nonfoundational Reasoning
25
Bartosz Broek
in the performance of such tasks, which suggests that these regions are the location of OTS.22 Now, as the current theories
posit that OTS is capable of discriminating up to 4 objects, they
would be empirically inadequate if it turned out that infants are
capable of tracking 10 or 15 object at once.
Still, there may exist various competing theories explaining
the same set of facts. For instance, there is a controversy regarding how children move from using the numbers 1-4 (an ability
which is likely based on the OTS mechanism), which seems to
be an innate skill, to mastering arithmetic. One proposal was put
forward by Piazza.23 She observes that the Approximate Number System (ANS) a mechanism for representing the approximate number of items in sets may be used to represent not
only large numbers, but also small ones. ANS works according
to the famous Webers Law: the threshold of discrimination between two stimuli increases linearly with stimulus intensity. In
the case of ANS, Webers fraction, or the smallest variation to
aquantity that can be readily perceived, changes over human
development. For newborns it is 1:3, for 6-month-old babies it
is 1:2, for 1-year-old children it is 2:3, for 4-year-olds it is 3:4,
for 7-year-olds it is 4:5, while for 20-year-olds it is 7:8. It means
that a newborn can discriminate between 1 and 3, or 2 and 6, or
10 and 30, but not 1 and 2, 2 and 5, or 10 and 27. Four-year-old
children can tell that there is a difference in numerosity between
Ibidem, p. 270.
Ibidem, p. 275276.
22
23
26
On Nonfoundational Reasoning
Ibidem, p. 268269.
E.S. Spelke, Natural Number and Natural Geometry, [in:] S. Dehaene, E. Brannon (eds.), Space, Time and Number in the Brain, Academic Press, London 2011, p. 304.
24
25
27
Bartosz Broek
that every word in the counting list designates a set of individuals with a unique cardinal value; and (b) to grasp the idea that
each cardinal value can be constructed through progressive addition of 1.26 How is this possible? For most children, the language of number words and verbal counting appears to provide
the critical system of symbols for combining the two core systems (i.e., ANS and OTS), and some evidence suggests that language may be necessary for this construction.27
Thus, we have two competing explanations of the same set
of facts: that human innate skills cannot account for simple arithmetic, and that something in individual development must facilitate or even enable breaking the number 4 barrier. Piazza believes that the increasing sensitivity of ANS is sufficient to explain
how it happens, while Spelke claims that it is the development of
language skills that plays the pivotal role here. How should one
decide which of those is acceptable? One of the possibilities is to
use to the criterion of convergence. Let us state some additional
facts. First, both children and adults in remote cultures, whose
languages have no words for numbers, when dealing with numbers larger than three recognize their equivalence only approximately. Second, deaf persons living in numerate cultures but not
exposed to deaf community use a gestural system called homesign; they use fingers to communicate numbers, but only with approximate accuracy. Third, educated adults who suffer language
Ibidem, p. 305.
Ibidem.
26
27
28
On Nonfoundational Reasoning
impairments have problems with exact, but not approximate numerical reasoning. Fourth, when doing exact (but not approximate!) tasks, adults spend more time with numbers that are difficult to pronounce, even if they are presented in Arabic notation.
Fifth, bilingual adults who are taught some new mathematical
facts in one of their languages have difficulties in the smooth production of exact number facts in the other language.28 All of these
facts support Spelkes hypothesis but not Piazzas because it
is Spelkes claim that language is essential to acquiring arithmetic skills which is empirically adequate for a larger set of facts. In
other words, Spelkes hypothesis converges on more experimental
and observational data than Piazzas.
Another criterion that may be used to pick from among
competing and empirically adequate hypotheses is coherence. Spelkes claim that language is essential in the development of arithmetic skills seems highly coherent with Lakoffs
theory of embodied mind, while Piazzas hypothesis is not. This
may be seen as an argument from coherence in favor of Spelkes hypothesis. At the same time, there may be other theories
e.g., some incarnations of the modular mind paradigm which
would favor Piazzas stance. The point is that the criterion of coherence constitutes an important justification standard in neuroscientific discourse.
Thus, even in the idealized picture of neuroscientific practice we have assumed, one that posits the existence of pure,
Ibidem, p. 307.
28
29
Bartosz Broek
30
On Nonfoundational Reasoning
which are perhaps better than the one presented here. In particular, the present proposal is quite heterogeneous, as it glues together several different formal mechanisms (belief revision, the
theory of logical coherence, and defeasible logic). It is possible
that a more coherent formal framework could do the same job.
I leave this problem for further research.
Bibliography
Bonjour L., The Structure of Empirical Knowledge, Harvard University Press, Cambridge, Mass. 1985.
Broek B., Olszewski A., Logika zaptle, [in:] B. Broek,
Copernicus Center Press, Krakw 2011.
Broek B., Philosophy and Neuroscience: Three Modes of Interaction, [in:] J. Stelmach, B. Broek, . Kurek (eds.), Philosophy in Neuroscience, Copernicus Center Press, Krakw 2013.
Descartes R., Meditations on First Philosophy, transl. by J. Veitch,
http://www.wright.edu/~charles.taylor/descartes/mede.html.
Gadamer H.-G., Truth and Method, Continuum, London 2004.
Gardenfors P., Rott H., Belief Revision, [in:] D.M. Gabbay, Ch.
Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial
Intelligence and Logic Programming, vol. IV: Epistemic and
Temporal Logic, Oxford University Press, Oxford 1995.
Grondin J., Hans-Georg Gadamer. Biografia, Wydawnictwo Uni-
Bartosz Broek
32
Spelke E.S., Natural Number and Natural Geometry, [in:] S. Dehaene, E. Brannon (eds.), Space, Time and Number in the
Brain, Academic Press, London 2011.
van Frassen B., Presupposition, implication and self-reference,
The Journal of Philosophy 1968, 65(5), pp. 136152.
Geneza intuicjonistycznego
rachunku zda
i Twierdzenie Gliwienki
Piotr Urbaczyk
Centrum Kopernika Bada Interdyscyplinarnych
Uniwersytet Papieski Jana Pawa II w Krakowie
Summary
Among the non-classical logics, the intuitionistic one stands out in
many ways. First of all, because of its properties, it is grateful subject of formal analysis. Moreover, there is small, but very significant
group of mathematicians and philosophers who claim that intuitionistic logic captures the reasoning utilized in mathematics better than
classical one. This article reveals the origins of intuitionistic propositional calculus it was an outcome of formalization of certain ideas
about foundations of mathematics. Alarge part of the article is devoted to Glivenkos Theorem somewhat forgotten, but extremely
interesting formal result regarding the relationship between the two
logical calculi: classical and intuitionistic propositional logic.
33
Piotr Urbaczyk
Keywords
Glivenkos theorem, intuitionistic logic, intuitionistic propositional
calculus
1. Wstp
34
pord logik nieklasycznych logika intuicjonistyczna wyrnia si pod wieloma wzgldami. Przede wszystkim, ze
wzgldu na swe wasnoci, jest wdzicznym przedmiotem bada logicznych. Od czasw, gdy Brouwer iHeyting badali rozumowania intuicjonistyczne, do dzi jest przedmiotem ywego
zainteresowania logikw. Ponadto, jej filozoficzno-matematyczne uzasadnienie jest na tyle silne, e moe skutecznie konkurowa z ontologicznymi motywacjami arystotelesowskiej
logiki klasycznej. Intuicjonizm, jako jedyna zwielu prb stworzenia caociowej filozofii dajcej rozwizania wikszoci fundamentalnych problemw nkajcych matematyk na pocztku
ubiegego stulecia, jest do dzi aktualn teori, wci znajdujc
swoich zwolennikw1.
Przedmiotem niniejszej pracy jest jedno znajwaniejszych
twierdze mwicych ozalenoci midzy intuicjonistyczn logik zdaniow alogik klasyczn. Sw nazw zawdzicza temu,
e po raz pierwszy sformuowa iudowodni je w1929 roku ra-
35
Piotr Urbaczyk
36
odrzuci take metod aksjomatyczn, jako metod budowania matematyki. Nie wystarczy bowiem postulowa istnienie
obiektw iich wasnoci, trzeba obiekty otakich wasnociach
wpierw skonstruowa.
Zgodno intuicjonistycznie zrekonstruowanej matematyki zmatematyk klasyczn bya dla Brouwera kwesti drugorzdn. Irzeczywicie, matematyka intuicjonistyczna istotnie
rnia si od klasycznej. Nie tylko odebraa jej wiele obszarw bada, lecz take dowioda kilku wycznie intuicjonistycznych tez. Podczas gdy intuicjonistyczna arytmetyka jest podsystemem arytmetyki klasycznej, sytuacja analizy jest zupenie
inna. Nie wszystkie twierdzenia klasycznej analizy s twierdzeniami analizy intuicjonistycznej, ale rwnie nie wszystkie
twierdzenia analizy intuicjonistycznej s do przyjcia na gruncie klasycznym.
Brouwer nie zbudowa logiki intuicjonistycznej, ale by
twrc tzw. sabych kontrprzykadw oraz dowid pierwszego
twierdzenia tej logiki: AA3. Sabe kontrprzykady
miay posuy do odrzucenia niektrych twierdze logiki klasycznej, wszczeglnoci prawa wycznego rodka isilnego
prawa podwjnej negacji. Zostay nazwane sabymi, poniewa nie obalay wprost tych twierdze, lecz wskazyway, e
przy budowaniu dowodw konstruktywnych nie ma potrzeby,
by uwaa je za prawdziwe.
37
Piotr Urbaczyk
jeelinn<<kk
(112))nn jeeli
(
2
a(n) =
( ) jeeli n k
22
Cig
definiuje on
on jak
jakliczb
liczbrzeczywist
rzeczywistr.r.Gdyby
Gdybyhipoteza
hipoteza
Cigten
ten jest
jest zbieny,
zbieny, a wic definiuje
Cig ten jest zbieny, awic definiuje on jak liczb rzeGoldbacha
byoby rwne
rwne 0.0. Jednak
Jednakpki
pkinie
nieposiadamy
posiadamy
Goldbacha zostaa
zostaa udowodniona
udowodniona rr byoby
czywist r. Gdyby hipoteza Goldbacha zostaa udowodniona,
adnego dowodu
dowodu
nie
nic
r.r. Granica
tego
adnego
hipotezy
Goldbacha,
nie
wiemy
nicooadnego
Granica
tegocigu
cigunie
nie
rbyoby
rwne Goldbacha,
0. Jednak pki
niewiemy
posiadamy
dowodu
hipotezy
nie wiemy
nic or. Granica
tego ciguani
nie
jest ani
ani rwna
rwna
zeru, Goldbacha,
jest
zeru,
ani rna od
od zera;
zera; ani
ani dodatnia,
dodatnia,ani
aniujemna,
ujemna, anirwna
rwnazeru
zeru
jest ani rwna zeru, ani rna od zera; ani dodatnia, ani ujemna
oraz nie
nie jest
jestoraz
onanieani
wymierna,
ani
Innymi
sowy,
nie
oraz
ona
ani niewymierna.
niewymierna.
Innymi
sowy,
niemoemy
moemy
jestwymierna,
ona ani wymierna,
ani niewymierna.
Innymi
sowy,
nie moemy stwierdzi, e:
stwierdzi, e:
e:
stwierdzi,
(a)
(a)
(b)
(b)
x
x
R(x
R(x =
= 00 xx =
= 0),
0), wwszczeglnoci
szczeglnoci
x
x
R(x
R(x <
< 00 xx =
= 00xx>>0),
0),oraz
oraz
(c) x
x
/
R(x
R(x
Q
Q xx
/ Q).
Q).
(c)
Nastpny kontrprzykad
kontrprzykad wskazuje,
Nastpny
wskazuje, e
e dowd,
dowd, e
e nie
nie jest
jestmoliwe,
moliwe,eepewna
pewna
38
wasno
nie jest
jest moliwa
moliwa nie
wasno
nie
nie jest
jest w
w kadym
kadym przypadku
przypadkudowodem
dowodemtej
tejwasnoci.
wasnoci.
ldbacha zostaa(a)
udowodniona
r byoby
0. Jednak pki nie posiadamy
x R(x =
0 x =rwne
0), w szczeglnoci
(b) x
R(x < 0 nie
x =wiemy
0x>
dnego dowodu hipotezy
Goldbacha,
nic0),
o oraz
r. Granica tego cigu nie
Geneza intuicjonistycznego rachunku zda i Twierdzenie Gliwienki
(c) x R(x Q x
/ Q).
t ani rwna zeru, ani rna od zera; ani dodatnia, ani ujemna, ani rwna zeru
Nastpny kontrprzykad wskazuje, e dowd, e nie jest moliwe, e pewna
az nie jest ona ani
wymierna,
ani niewymierna.
sowy,
nie moemy
Nastpny
kontrprzykad
wskazuje, i Innymi
dowd, e
nie jest
asno nie jestmoliwe,
moliwaenie
jest
w
kadym
przypadku
dowodem
tej
pewna wasno nie jest moliwa nie jest wka- wasnoci.
wierdzi, e:
dym przypadku dowodem tej wasnoci. Innymi sowy, udenymi sowy, uderza
on wprost w prawo podwjnego przeczenia: A A.
x R(x
= 0 podwjnego
x = 0), w przeczenia:
szczeglnoci
rza(a)
on wprost
w prawo
A A.
d liczb podpisujmy
uamek
=
0,
3333
.
.
.
a
do
momentu,
gdy w rozwiniciu
Pod(b)
liczb
uamek
3333
a do momentu,
xpodpisujmy
R(x < 0
x = 0= x0, >
0), oraz
gdy(c)w rozwiniciu
dziesitnym
pojawi si sekwencja cyfr
R(x
Q
x0123456789.
/ Q).
esitnym pojawi
sixsekwencja
cyfr
0123456789.
=
. .0123456789
. . . dowodem tej wasnoci.
=
0,33333333...3333333333.
asno nie jest moliwa
nie3,14159265.
jest
w kadym
przypadku
= 0,33333333. . .3333333333.
nymi sowy, uderza on wprost w prawo podwjnego przeczenia: A A.
Jeli cyfra
9 zpierwszej
cyfrna
pojawia
li cyfra 9 z pierwszej
takiej
sekwencji takiej
cyfr sekwencji
pojawia si
k-tymsimiejscu po
na k-tym miejscu
d liczb podpisujmy
uamekpo przecinku,
= 0, 3333to
. . . a do momentu, gdy w rozwiniciu
zecinku, to
k
esitnym pojawi si sekwencja cyfr100123456789.
1
.
=
3 10k
= 3,14159265.
. uzna, e jest
Matematyk
klasyczny nie
miaby oporw,. .by
5. .0123456789
liczb wymiern,
rozumujc .wten
sposb, e nie jest moliwe,
= 0,33333333.
.3333333333.
by byo niewymierne.
Jego dowd
wygldaby
li cyfra 9 z pierwszej
takiej sekwencji
cyfr pojawia
si nastpujco:
na k-tym miejscu po
Zamy, e liczba nie jest niewymierna. Wtedy rwno
zecinku, to
10k 1
.
3 10k
39
Piotr Urbaczyk
40
(I) k jest najwiksz liczb pierwsz tak, e k 1 jest rwnie liczb pierwsz lub k = 1, jeli taka liczba nie istnieje.
(II) l jest najwiksz liczb pierwsz tak, e l 2 jest rwnie liczb pierwsz lub l = 1, jeli taka liczba nie istnieje.
Definicj (I) przyjmuje si zarwno wmatematyce klasycznej, jak iintuicjonistycznej, bowiem k moe zosta obliczone
(k = 3). Natomiast nie ma adnej metody wyliczenia l, poniewa
nie wiemy, czy cig tzw. liczb pierwszych bliniaczych p, p + 2
jest skoczony, czy nie. Matematyka klasyczna nie widzi wtym
fakcie przeszkody, by przyj rwnie definicj (II). W kadym moliwym do pomylenia przypadku l jest zdefiniowana:
albo istnieje nieskoczenie wiele takich liczb (wtedy l = 1),
Przykad ten pochodzi zA. Heyting, Intuitionism: An Introduction,
North-Holland Publishing Company, Amsterdam 1956, s.2.
4
41
Piotr Urbaczyk
42
Zob. tame.
Oryginaln aksjomatyk zaproponowan przez Heytinga podaje np.
M. van Atten, The Development of Intuitionistic Logic, dz. cyt.
6
43
Ax7 B A B.
Ax8 (A C) ((B
(A B C)).
PiotrC)
Urbaczyk
Ax9 (A B) ((A B) A).
Ax8 (A C) ((B C) (A B C)).
Ax9 (A B) ((A B) A).
Ax10 A
(A B).
Ax10 A (A B).
Reguy wnioskowania:
Reguy wnioskowania:
A AB
Regua
Odrywania
(Modus
Ponens).
;
Regua
Odrywania
(Modus
Ponens).
B
44
Ax11 A A
45
Piotr Urbaczyk
46
giczna. Za jej twrc uwaa si polskiego logika Alfreda Tarskiego. Interpretacja topologiczna bya rozwijana dalej przez
polsk szko (m.in. przez Helen Rasiow i Romana Sikorskiego). Wtakiej semantyce zdania rachunku interpretuje si
jako otwarte podzbiory przestrzeni topologicznej, natomiast
operacje zwizane ze spjnikami logicznymi oraz kwantyfikatorami skojarzone s zpewn algebr tych zbiorw. Ju ta semantyka doprowadzia do ciekawych filozoficznie wnioskw
ozwizkach midzy logik intuicjonistyczn iklasyczn. Jak
zauwaaj Rasiowa iSikorski, to zaskakujce, e pewne idee
filozoficzne doprowadziy do sformuowania logiki, ktrej matematyczna tre pokrywa si zteori krat otwartych podzbiorw przestrzeni topologicznej10.
Do dnia dzisiejszego dla logiki intuicjonistycznej zbudowano wiele rnorodnych semantyk. Spord nich warto wymieni choby algebry Heytinga, czy matryce Jakowskiego.
Wspczenie jedn znajczciej uywanych semantyk logiki
intuicjonistycznej jest semantyka wiatw moliwych. Zostaa
utworzona w1963 r. przez Saula Kripkego. Wykazaa ona wiksz elastyczno od swoich poprzedniczek ilepiej nadawaa si
jako teoria modeli nie tylko dla rachunkw intuicjonistycznych,
lecz rwnie dla wielu innych rachunkw logicznych.
Sporym przeomem dla logiki intuicjonistycznej byo odkrycie w1934 r. przez Gerharda Gentzena dwch alternatywnych
H. Rasiowa, R. Sikorski, The Mathematics of Mathematics, PWN,
Warszawa 1970, s.380. Tumaczenie P.U.
10
47
dowodzenia sytemu
dedukcji
naturalnej
oraz racji naturalnej
naturalnejsystemw
oraz
cji
oraz rachunku
rachunku sekwentw.
sekwentw. Systemy
Systemy te,
te, oprcz
oprcz tego,
tego,e
ebyy
byybardziej
bardziej
1. formua
formua A
w
ii tylko
formua
oopostaci
1.
A posiada
posiada dowd
dowd
w KRZ
KRZ wtedy
wtedy
tylko wtedy,
wtedy, gdy
gdy
formua
postaci
Twierdzenie
3.1. Formua
A posiada
dowd
w KRZ
wtedy
A posiada
dowd gdy
w IRZ.
itylko wtedy,
formua opostaci A posiada dowd wIRZ.
A posiada
dowd w IRZ.
A DOWKRZ wtw A DOWIRZ .
A DOWKRZ wtw A DOWIRZ .
Pierwsze jest
z nich
nazywane przedmiotu
jest w literaturze
przedmiotu
Pierwsze z nich nazywane
w literaturze
twierdzeniem
Gliwienki.
Pierwsze z nich
nazywane
jest
w
literaturze
przedmiotu
twierdzeniem
twierdzeniem Gliwienki. Jego dowd zasadniczo polegaGliwienki.
na
Jego dowd zasadniczo polega na udowodnieniu, e wszystkie podwjnie zanegoudowodnieniu,
e wszystkie
podwjnie
aksjomaty
Jego dowd zasadniczo
polega
na udowodnieniu,
e zanegowane
wszystkie podwjnie
zanego48
13
13
KRZ s tezami IRZ, oraz e regua analogiczna do reguy odrywania (z podwjnie zanegowanymi przesankami iwnioskiem)
jest wyprowadzalna wIRZ. Za pomoc zbioru powyszych tez
i wyprowadzonej reguy mona w IRZ skonstruowa dowd
kadej formuy A takiej, e Aposiada dowd wKRZ.
Z opublikowaniem tego wyniku wie si pewna historia.
Gliwienko korespondowa zHeytingiem ipocztkowo chcia,
by jego ustalenia znalazy si wpoprawionym iprzetumaczonym wydaniu eseju nagrodzonego przez Holenderskie Towarzystwo Matematyczne. Pniej jednak zmieni zdanie piszc
do Heytinga, e wynik, ktry uzyska jest niemale trywialny,
ajego dowd nieco przydugi11 ie chce go opublikowa niezalenie od artykuu Heytinga. Rzeczywicie, praca Gliwienki
ukazaa si pierwsza, aHeyting wswoim artykule odnosi si do
niej. Podaje wnim oba twierdzenia Gliwienki, lecz nie przedstawia dowodu12.
11
12
49
Piotr Urbaczyk
50
nego jest oczywiste z uwagi na to, e ten pierwszy jest podsystemem drugiego. Zdrugiej strony, oile wrachunku klasycznym
udaoby si dowie A A, to wrachunku intuicjonistycznym
musi znale si teza A A, ktra spowoduje sprzeczno itego rachunku.
Zaleno, oktrej mwi twierdzenie Gliwienki, nie zachodzi dla rachunku predykatw. By
Twierdzenie 4.2. Dowolne zdanie Ajest dowiedlne wklasycznym rachunku predykatw (KRP) wtw A jest dowiedlne
wintuicjonistycznym rachunku predykatw (IRP)15.
xB(X) xB(x)1616. .
byo prawdziwe, naley dooy tzw. schemat przesunicia podwjnej negacji (dobyo prawdziwe, naley dooy tzw. schemat przesunicia ponegacji (double negation shift schema)
uble negationdwjnej
shift schema)
Bardziej wyrafinowany
przekad
KRP podali
na IRP podali
wla-trzydziestych
Bardziej wyrafinowany
przekad KRP
na IRP
w latach
tach trzydziestych ubiegego wieku, niezalenie od siebie, Kurt
ubiegego wieku, niezalenie od siebie, Kurt Gdel i Gerhard Gentzen. Obaj byli
Gdel iGerhard Gentzen. Obaj byli zainspirowani prac Gliroku. zPrzekad
ten kojarzy
kad
formu
Azforzainspirowaniwienki
pracz1929
Gliwienki
1929 roku.
Przekad
ten
kojarzy
kad formu A
mu g(A) (niezawierajc i) tak, e
z formu g(A) (niezawierajc i ) tak, e
1. A g(A)
DOWKRP 17 ,
15
Zob. zacznik.
Zob. J. Moschovakis, Intuitionistic Logic, [w:] The Stanford En2. g(A) cyclopedia
g(A) of
Philosophy,
DOWIRP ,dz. cyt., URL =<http://plato.stanford.edu/
archives/sum2010/entries/logic-intuitionistic/>.
16
51
Piotr Urbaczyk
1. A g(A) DOWKRP17,
2. g(A) g(A) DOWIRP ,
3. Jeli A DOWKRP , to g(A) DOWIRP .
52
aksjomatw intuicjonistycznych, posiada jeszcze paradoks implikacji (A B) (B A). Wiadomo, e wszystkie logiki porednie s sabsze od logiki klasycznej19 ie jest ich kontinuum.
Klasa logik porednich jest otyle wyrniona, oile logika intuicjonistyczna jest najsabsz logik, wjakiej obowizuj zarazem twierdzenie odedukcji iregua odrywania20. Studia nad
klas tych logik s zasadniczo kwesti czysto techniczn, istniej jednak takie logiki porednie, ktre, mniej lub bardziej,
przydaj si winnych badaniach logicznych.
5. Zakoczenie
53
Piotr Urbaczyk
54
mowania stosowane wmatematyce lepiej, ni klasyczna. Wrozdziale 3. wymieniono kilka semantyk tej logiki, wktrych udao
si udowodni jej peno. Regularno tych struktur zadziwia
tym bardziej, e logika intuicjonistyczna powstaa wwyniku
formalizacji pogldw filozoficznych, awic zpunktu widzenia matematyka czy logika niejasnych iniecisych.
Najciekawsz implikacj filozoficzn twierdzenia Gliwienki jest fakt, e pozwala ono spojrze na KRZ jako na cz
IRZ. To spostrzeenie jest otyle zaskakujce, oile ten drugi jest
logicznie sabszy od pierwszego. Fakt ten najlepiej ukazuje wynik, do ktrego doszed Gdel inspirujc si prac Gliwienki
z1929 roku. Wykorzystujc twierdzenie Gliwienki dowid on,
e gdy sformuujemy KRZ jedynie wterminach koniunkcji inegacji, system ten bdzie podsystemem IRZ. Cho naley pamita, e interpretacja dwuwartociowego spjnika negacji jest odmienna wobu tych rachunkach.
Wynik formalny, jakim byo twierdzenie Gliwienki, otworzy drog do dalszych bada logicznych. Wspomniany wyej
Gdel oraz Gentzen, niezalenie od siebie, s autorami analogicznego wyniku dotyczcego zalenoci pomidzy intuicjonistycznym i klasycznym rachunkiem predykatw, natomiast
Kleene dokona podobnego przekadu w ramach teorii liczb.
Moliwo dalszych bada jednak na tym si nie koczy.
Bibliografia
Atten M. van, The Development of Intuitionistic Logic, [w:] The
Stanford Encyclopedia of Philosophy (Summer 2009 Edition), (red.) E.N. Zalta, <http://plato.stanford.edu/archives/
sum2009/entries/intuitionistic-logic-development/>.
Dalen D. van, Intuitionistic Logic, [w:] Handbook of Philosophical
Logic, (red.) D.M. Gabbay, F.Guenther, wyd. 2, vol. 5, Springer, Dordrecht 2002.
Dummett M., Elements of Intuitionism, Clarendon Press, Oxford
2000.
Heyting A., Intuitionism: An Introduction, North-Holland Publishing Company, Amsterdam 1956.
blishing Company, Amsterdam 1952.
Moschovakis J., Intuitionistic Logic, [w:] The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), (red.) E.N. Zalta,
<http://plato.stanford.edu/archives/sum2010/entries/logic-intuitionistic/>.
Murawski R., Filozofia matematyki. Zarys dziejw, wyd. 2, Wydawnictwo Naukowe PWN, Warszawa 2001.
Olszewski A., O rozumieniu implikacji w klasie logik porzdku
ijego znaczeniu wdeniu do pewnoci jzykowej, Wydawnictwo Naukowe PAT, Krakw 1997.
Pogorzelski A., Elementarny sownik logiki formalnej, Dzia Wydawnictw Filii UW, Biaystok 1992.
55
Piotr Urbaczyk
56
Przeciw dualizmowi
psycho-fizycznemu. Analiza
iporwnanie stanowisk Johna
Searle'a iGeorge'a Lakoffa
Daniel Milewski1
Uniwersytet Papieski Jana Pawa II w Krakowie
Uniwersytet Jagielloski
Centrum Kopernika Bada Interdyscyplinarnych
Summary
This paper discusses John Searles biological naturalism and
George Lakoffs embodied mind hypothesis. These theories are
presented as examples of acertain part of the philosophy of mind
Niniejszy artyku przygotowany zosta w ramach grantu The Limits of Scientific Explanation przyznanego Centrum Kopernika Bada Interdyscyplinarnych przez Fundacj Johna Templetona.
1
57
Daniel Milewski
Keywords
John Searle, George Lakoff, Rene Descartes, mind-body problem,
biological naturalism, embodied mind, cognitive metaphor, first-person ontology, philosophy of mind, philosophy of cognitive science.
58
ermin filozofia umysu (philosophy of mind) nabra swojej dojrzaoci filozoficznej w krgach anglojzycznej filozofii analitycznej. Wlatach pidziesitych XX wieku reprezentanci prdu analitycznego podejmowali rozmaite problemy
zwizane ztematyk umysu, konstruujc teorie, okrelajce natur umysu, jego waciwoci, czy te relacje zciaem2. Wszystkie tak pojte rozwaania teoretyczne jednoczyo pojcie filozofia umysu.
J. Bremer, Wprowadzenie do filozofii umysu, WAM, Krakw 2010,
s.9.
2
Obecnie filozofia umysu jest penoprawn dziedzin filozoficzn, co wicej, dziedzin, ktra wydaje si stanowi centralny punkt filozofii wspczesnej3. Na due zainteresowanie
filozofi umysu wydaje si wpywa szereg czynnikw. Niebagateln rol odgrywa tu fakt, e filozofia umysu wywodzi
si wanie ze szkoy analitycznej. Analitycy maj pewien specyficzny stosunek do relacji midzy filozofi anauk, mianowicie uwaaj, e filozofia nie moe sili si na prby poszerzania wiedzy, ktra zostaa zgromadzona dziki badaniom
naukowym. Wkonsekwencji filozof powinien uwanie ledzi
odkrycia empirycznych nauk szczegowych, ajego zadaniem
miaoby by jedynie wyostrzenie sensu tych odkry iprzedstawienie pyncych znich wnioskw.
Cho filozofia umysu zajmuje si obecnie wieloma zagadnieniami takimi jak wolna wola, tosamo osobowa, natura
wiadomoci centralnym tematem debat, toczcych si wramach tej dyscypliny jest problem relacji midzy umysem aciaem (mind-body problem), wpolskojzycznej literaturze zwany
rwnie problemem psychofizycznym. Zagadnienie to wformie pytania wintuicyjny sposb ujmuje John Searle:
59
Daniel Milewski
60
(3) Zakres zjawisk fizykalnych jest patrzc od strony przyczynowej iod strony wyjaniania zamknity5.
Trylemat psychofizyczny zosta skonstruowany wtaki sposb, e kada zprzesanek rozpatrywana osobno wydaje si przy
zdroworozsdkowym rozumowaniu przesank godn akceptacji, azestawienie wszystkich trzech rodzi jawn niekompatybilno. Kade dwie przesanki wzite osobno nie daj si uzgodni trzeci. Konsekwentna analiza poszczeglnych przypadkw
wyranie potwierdza powysz tez: przy uznaniu przesanki
(1)oistotnej rnicy midzy zjawiskami mentalnymi ifizykalnymi (fizycznymi) i(2) oprzyczynowym dziaaniu zjawisk mentalnych na zjawiska fizykalne, zkoniecznoci logicznej musimy
uzna przesank (3) okauzalnym zamkniciu zakresu zjawisk
fizykalnych, za nieprawdziw. Analogicznie, uznanie przesanek (1) i (3) wyklucza moliwo przyczynowego oddziaywania zjawisk mentalnych na zjawiska fizykalne (2), auznanie
(2)i(3) prowadzi do zatarcia granicy midzy zjawiskami mentalnymi ifizykalnymi, czyli negacji przesanki (1).
Tak zarysowany trylemat psychofizyczny nakierowuje na
trudnoci zwizane zproblemem umys-ciao, ajednoczenie
sugeruje mnogo niedajcych si zsob uzgodni stanowisk
filozoficznych, ktre mona obra wjego kontekcie zalenie
od negowanych przesanek6.
J. Bremer, Wprowadzenie do filozofii umysu, dz. cyt., s.30.
Zob. tame, s.31.
5
6
61
Daniel Milewski
62
2. Silny antykartezjanizm:
Naturalizm biologiczny Searlea
John Searle zauwaa pewn interesujc zaleno, ktra wystpuje wcaej historii filozofii. Mianowicie, niektre koncepcje filozoficzne, pomimo swojej niedoskonaoci, wpywaj
wznaczcy sposb na ksztatowanie si kolejnych teorii filozoficznych. Dana myl, kategoria postrzegania rzeczywistoci,
czy zaoenia metafizyczne danego filozofa, mog ksztatowa
kolejne prdy filozoficzne, ktre wiadomie lub nie, podaj
ciek przetart ju wczeniej. Mona t sytuacj porwna do
problemu kolein mylowych, ktry Micha Heller przedstawia
wnastpujcy sposb:
Wydaje si, e podobny problem podkrela wswoich przemyleniach Searle, poruszajc si jednak po nieco szerszej skali.
63
Daniel Milewski
Oile problem kolein mylowych pojawia si uHellera wkontekcie jednostki, otyle uSearle'a dotyczy on raczej caych pokole, aw konkretnym przypadku, oktrym filozof wspomina,
caej tradycji postkartezjaskiej filozofii umysu.
Jeden z podrozdziaw monografii Searle'a Umys, krtkie wprowadzenie nosi tytu Kartezjusz iinne nieszczcia9.
Wpodrozdziale tym znajduje si sugestia, e sposb stawiania
problemw w filozofii umysu jest zasadniczo bdny, co zawdziczamy wanie Kartezjuszowi10. Wjednym ze swoich wykadw Searle przedstawia to wsposb nastpujcy:
rozrnienie midzy tym co mentalne, atym co fizykalne, umysem iciaem, duchowym imaterialnym oraz pomys, e caa rzeZagadnienia Filozoficzne w Nauce | LVI 2014
64
Zarysowana wyej struktura kategorialna stanowi wspomniane koleiny mylowe, ktre dziedziczymy po Kartezjuszu,
a ktre uniemoliwiaj wg Searle'a waciwe zaadresowanie
problemw filozofii umysu:
Zob. J.R. Searle, Umys, krtkie wprowadzenie, dz. cyt., s.22.
Tame.
11
Tene, Lecture 7: Some Solutions to Descartes problem [audio],
[w:] Philosophy of Mind Lectures by John Searle [audio], The Teaching Company 1996, [00:59-01:15]. Tumaczenia wpracy pochodz od autora, chyba e zostao wskazane inaczej.
9
10
Poniewa uwaam, e imaterializm, idualizm prbuj powiedzie co prawdziwego, musz jako w obu tych teoriach oddzieli komponenty prawdziwe od faszywych. () Zadanie to
jest praktycznie rzecz biorc niemoliwe do wykonania, gdyby
trzyma si tradycyjnego sownictwa, poniewa wkocu zawsze
trzeba bdzie przyzna, e nieredukowalna (subiektywna, jakociowa) realno mentalna jest po prostu zwyczajn czci fizycznego wiata, a to brzmi jak teza wewntrznie sprzeczna.
Mniej wicej takie kopoty doprowadziy mnie wkocu do zakwestionowania tradycyjnych kategorii12.
12
65
Daniel Milewski
2. Stany wiadomoci nie s niczym wicej jak skutkiem zachodzcych wmzgu procesw neurobiologicznych niszego poziomu. Stany wiadomoci s zatem kauzalnie redukowalne do
procesw neurobiologicznych. Wadnym sensie nie mona im
przyzna wasnego ycia, niezalenego od neurobiologii. Nie
mona te powiedzie wsensie kauzalnym e s czym ponadto wzgldem procesw neurobiologicznych.
3. Stany wiadomoci powstaj wmedium mzgu itrzeba je traktowa jako wasnoci orodkowego ukadu nerwowego, przez
co istniej na poziomie wyszym ni neurony isynapsy. Pojedyncze neurony nie s wiadome, lecz czci orodkowego
ukadu nerwowego skadajcego si zneuronw s wiadome.
4. Poniewa stany wiadomoci s realnymi wasnociami rzeZagadnienia Filozoficzne w Nauce | LVI 2014
czywistego wiata, wchodz w skad zwizkw przyczynowo-skutkowych. Moje wiadome pragnienie, na przykad,
skania mnie do napicia si wody13.
Ju na samym pocztku widzimy, e Searle nadaje swoist autonomi stanom mentalnym. Autonomia ta jest uwarunkowana poprzez pojcie pierwszoosobowej ontologii, co oznacza, e s pewne aspekty wiadomoci (umysu), ktre mog
by dowiadczane jedynie przez podmiot, oktrego wiadomoci jest mowa. Zontologi pierwszoosobow czy si pojcie
ontologii trzecioosobowej, wktrej ujmuje si wszystko to, co
obiektywne (co stanowi dziedzin nauk szczegowych). Wta Tame, s.117118.
13
66
kim rozumieniu bl, ktrego dowiadczam, czy myl, ktr wanie myl, istnieje. Do tego istnienia mam dostp tylko ja
jako jedyny podmiot bdcy wbezporedniej znim relacji. Ontologia pierwszoosobowa musi pozosta autonomiczna jako jedyna waciwa paszczyzna umoliwiajca dostp do stanw
mentalnych. Jest to spowodowane tym, e wszelka forma redukcji, kada odmiana materializmu powoduje zatracenie si
ontologii pierwszoosobowej, aco za tym idzie nie moe stanowi waciwej wizji rzeczywistoci. Searle chce wten sposb
powiedzie, e kada teoria filozofii umysu, odbierajca realno stanom mentalnym iontologii pierwszoosobowej jest niekompletn metafizyk.
Z drugiej strony oczym poucza nas kolejna teza naturalizmu biologicznego jeeli chodzi o redukcj przyczynow
(kauzaln) zachodzi ona wcaym swoim zakresie pomidzy stanami umysu aprocesami neurobiologicznymi. Naley to rozumie w ten sposb, e o ile ontologicznie moemy mwi
odwch paszczyznach stanach neurofizjologicznych iumysowych, to te drugie. wcaoci s skutkiem tych pierwszych.
Nie ma niczego naddanego w czowieku wzgldem tego, co
wypywa zjego biologicznej struktury (std nazwa naturalizmu
biologicznego). Tak te ontologia pierwszoosobowa wcaoci
powstaje zprocesw neurobiologicznych worganizmie czowieka, jednak jeeli ju powstanie, to ma swj autonomiczny
status wszelkie jakociowe stany umysu, czyli qualia, s dostpne jedynie poprzez ni. Neurobiologia pojedynczych komrek nerwowych nie moe wyrokowa wich sprawie.
67
Daniel Milewski
Trzeci punkt programu Searle odnosi si do koncepcji hierarchicznej organizacji mzgu. Koncepcja za ktr wydaje si
opowiada Searle, przypomina stanowisko wzgldem wasnoci mentalnych (psychologicznych wtechnicznej nomenklaturze), ktr obiera neuronauka kognitywna (poznawcza). A. Revonsuo przedstawia je wnastpujcy sposb:
[neuronauka kognitywna przyp. D.M.] postrzega je [wasnoci
psychologiczne przyp. D.M.] jako wasnoci, makro, ulokowane na wyszych poziomach organizacji w hierarchii mikro-makro () wasnociom makro przysuguje na wyszym poziomie
organizacji moc sprawcza, ktra przekracza moc sprawcz kon-
68
Uwzgldniajc proponowane rozrnienie na poziomy mikro imakro whierarchii organizacji mzgu, mona stwierdzi,
e Searle nie widzi sensu wdopatrywaniu si wiadomoci na
poziomie mikro, stany umysowe ostatecznie s immanentne
wzgldem poziomu makro.
Z cytowanego powyej fragmentu artykuu Revonsuo wynika, e w neuronauce kognitywnej uznaje si swoist moc
sprawcz stanw mentalnych, ktra jest czym odmiennym od
mocy sprawczej zpoziomu mikro, czyli poziomu pojedynczych
komrek. Searle sugeruje co podobnego postulujc wczwar A. Revonsuo, O naturze wyjaniania w neuronaukach, tum.
D.Leszczyski, P. Przybysz, Poznaskie Studia zFilozofii Humanistyki: Funkcje Umysu 2010, 8(21), s.288289.
14
tym zaoeniu naturalizmu biologicznego podmiotowo stanw umysowych wrelacjach przyczynowo-skutkowych rzeczywistego wiata. Wanie podmiotowo tego co mentalne
jest odpowiedzi Searle'a na problem psychofizyczny. Stany
umysowe wchodz winterakcje zrzeczywistym wiatem zarwno jako przyczyna jak wprezentowanym przykadzie pragnienia, ktre wymusza reakcj fizyczn wcelu jego zaspokojenia ale take jako skutek, np. pojawienie si blu po upadku
zwysokoci.
Prezentowana przez Searle'a koncepcja naturalizmu biologicznego uwzgldnia, analogiczne do przedstawionego powyej, rozrnienie na opis tego samego systemu na rnych
poziomach: poziomie mikro i makro. Posugujc si jednym
z przykadw podanym w jego wykadzie15, moemy mwi
odwch sposobach przedstawiania danej sytuacji, ktre byyby
rwnie adekwatne. Wydarzenie poruszenia rk moemy opisywa uywajc terminologii neurofizjologicznej, wykorzystujc
zwroty takie jak: receptory, komrki nerwowe, neuroprzekaniki, aksony, jony wapnia itp. Ten sposb opisu nazywany jest
poziomem mikro ze wzgldu na to, e przyjmuje terminologi
odnoszc si do fundamentalnych jednostek neurofizjologicznych, zktrych zbudowany jest czowiek. Jednak poziom mikro nie przystaje do potocznego dowiadczenia ycia ijest wykorzystywany gwnie wnaukach szczegowych. Przecitny
Por. J.R. Searle, Lecture 7: Some Solutions to Descartes problem
[audio], dz. cyt., [07:00-13:35].
15
69
Daniel Milewski
czowiek zapytany oporuszenie si jego rki, nie odpowie wterminologii neurofizjologicznej, lecz najzwyczajniej stwierdzi, e
doszo do tego ze wzgldu na to, e chcia tak zrobi. Uyje tzw.
poziomu opisu makro, uywajc zwrotw pokroju chci, intencji iobiektw (rka).
Searle twierdzi, e oba sposoby opisu, mikro imakro, s
waciwe inaley je utrzyma. Opisujc czynno uruchomienia samochodu uywa si raczej sownictwa zpoziomu makro,
stosujc sowa takie jak wieca zaponowa, tok, cylinder: po
przekrceniu kluczyka wieca zaponowa rozpoczyna eksplozj, po czym seria takich eksplozji przechodzi wstan samopodtrzymania dziki dziaaniu toka poczonego zwaem korbowym. Wedug Searle'a dokadnie wten sposb opisujemy nasze
zachowanie: odwoujc si do kategorii mentalnych, jak chci,
pragnienia, intencje. Nie ma wikszego sensu by rezygnowa
ztego poziomu opisu iprzerzuca si na sownictwo neurofizjologiczne, podobnie jak nie ma sensu opisywanie znajomym
procesu uruchomienia samochodu wterminologii elektronw,
moleku iutleniania, jak wponiszym przykadzie: elektrony
pomidzy elektrodami wiecy przypieszaj ruch molekularny
wglowodorw, ktre si utleniaj, a to utlenienie pozostaje
wstaniu samopodtrzymania16. Zarwno na poziomie mikro jak
ina poziomie makro wygaszane s prawdziwe sdy oumyle,
aprby wyparcia jednej metody wzgldem drugiej bd prowadzi do zatracenia si jakiego jego aspektu.
Por. tame.
16
70
W literaturze filozoficznej wystpuj co najmniej dwa zarzuty wobec naturalizmu biologicznego, do ktrych warto
si ustosunkowa17. Pierwszy z nich zosta wysunity przez
P. Churchlanda w jego ksice Mechanizmy rozumu, siedlisko duszy18. Filozof wpierwszej kolejnoci zwraca uwag na
pewn unikalno pogldw goszonych przez Searle'a, zauwaajc, e jest to jedno znielicznych stanowisk, ktre utrzymuje
niemoliwo redukcji ontologicznej (w odrnieniu od redukcji kauzalnej) stanw umysu do stanw neurofizjologicznych,
przy jednoczesnym odrzuceniu kartezjaskiego dualizmu19.
Tak postaw Churchland uwaa za zatrzymanie si wpoowie
drogi pomidzy dualizmem aredukcjonizmem. Dodatkowo sugeruje, e wspiera si ona na zaoeniu, i podmiot wiadomy
ma dostp do pewnych prawd, tudzie jakociowych cech umysu, ktre mona rozpozna sposobami subiektywnymi, lub za
pomoc wewntrznych drg poznawczych organizmu20. Zaoenie to wie si zprzyjmowan przez Searle'a realnoci ontologii pierwszoosobowej. Churchland krytykuje tak postaw,
sugerujc, e twierdzenie odostpie do prawdziwych stanw
mentalnych, czy samo istnienie odrbnych stanw mentalnych naley wpierwszej kolejnoci dowie, nie wystarcza ich
71
Daniel Milewski
zaoenie21. Wdalszej kolejnoci filozof przedstawia szereg argumentw za tym, e nie moemy mie pewnoci, i to co poznajemy subiektywnie (poprzez ontologi pierwszoosobow)
jest faktycznie tym, za co je bierzemy. Ostatecznie stanowisko
Churchlanda prowadzi do tego, e wszelkie poznanie stanw
mentalnych jest bdne. Metod introspekcyjn nie jestemy
wstanie wyuska niczego, co by dawao podstawy do uznania
niezalenoci stanw mentalnych od stanw fizycznych. Jego
postaw dobrze oddaje cytat:
Wreszcie, co najwaniejsze, moemy si wjaki sposb myli
ito nie od czasu do czasu, ale cigle wsposb systematyczny co
do natury naszych stanw wewntrznych. Moemy przede wszystZagadnienia Filozoficzne w Nauce | LVI 2014
72
niczym charakterze22.
zof porwnuje prby wtpienia, czy podwaania prawdziwoci stanw mentalnych, do podwaania tego, e przyoenie
wfutbolu amerykaskim gwarantuje druynie 6 punktw. Wedug Searle'a utrzymywanie przekonania, e bl nie jest tak naprawd blem wsensie ontologii pierwszoosobowej, jest analogiczne do twierdzenia, e przyoenie liczy si za 5,9999
punktu anie cae 624. Odbierajc intuicyjne rozumienie stanu
mentalnego tracimy cay ten stan, tak samo jak odbierajc
przyoeniu warto szeciu punktw tracimy cae przyoenie przyoenie z definicji jest rwnoznaczne uzyskaniem
szeciu punktw, tak samo bl jest czym do czego zdefinicji
mamy dostp tylko dziki ontologii pierwszoosobowej. Dlatego te wg Searle'a sdy ostanach mentalnych nie mog by
zestawiane zsdami empirycznymi, aco za tym idzie, utrzymuj swoj niezaleno.
Kolejny argument wysunity przeciwko naturalizmowi biologicznemu wypyn wramach dyskusji pomidzy D. Chalmersem a Searle'em na amach serwisu internetowego New York
Review of Books25. Chalmers nazywa sformuowane przez Sear
le'a twierdzenie wramach naturalizmu biologicznego swoist
mantr, ktra nie jest rozwizaniem problemu, aewentualnie
73
Daniel Milewski
zarysowaniem jego horyzontw. Filozof ma na myli twierdzenie otym, e mzg tworzy umys26, ktre Searle przytacza
wwielu miejscach. Klasyczne sformuowanie tzw. mantry przebiega nastpujco:
wiadomo jest biologiczn wasnoci mzgu czowieka imzgw niektrych gatunkw zwierzt. Przyczyn powstawania
wiadomoci s procesy neurobiologiczne ijest ona czci naturalnego, biologicznego porzdku wrwnej mierze, jak wszystkie inne wasnoci biologiczne, takie jak fotosynteza, trawienie
czy mitoza27.
74
75
Daniel Milewski
ale niezalene ze wzgldu na odmienne ontologie: pierwszoosobow itrzecioosobow. Kady ztych poziomw ma pewn doz
autonomicznoci. Wedug Searle'a umys jest tworzony przez
mzg, ado tego wyrasta zwyszego poziomu jego organizacji,
wic poszukiwania wiadomoci wpojedynczych komrkach
nerwowych nie mog przynie zamierzonego skutku. Wtaki
sposb jak nie ma prostego znaku rwnoci midzy subiektywnym dowiadczeniem blu (ontologia pierwszoosobowa),
aobiektywnym procesem neurobiologicznym (ontologia trzecioosobowa), tak pojedyncze neurony (poziom mikro opisu/organizacji) nie s wstanie przynie odpowiedzi wzagadce wiadomoci (poziom makro).
76
Por. M. Hohol, Wyjani umys. Struktura teorii neurokognitywnych, Copernicus Center Press, Krakw 2013, s.128.
32
G. Lakoff, M. Johnson, Metafory wnaszym yciu, tum. T. Krzeszowski, Aletheia, Warszawa 2010, s.24.
33
G. Lakoff, M. Johnson, Philosophy in the Flesh, Basic Books, New
York 1999.
31
77
Daniel Milewski
78
umysem35.
wszelka teoria poznania, jzyka, spoeczestwa czy czegokolwiek innego ktra nie spenia oczekiwa nauki kartezjaskiej,
naraona jest na odrzucenie, wkadym razie przez wielu uczonych, jako niezasugujca na traktowanie jej cakiem na serio37.
Odnoszc si do analiz Devlina, Kardela wysuwa wniosek, e dualizm kartezjaski odrzucany jest przez dyscypliny
naukowe, zktrych wywodzi si idea umysu ucielenionego,
mianowicie psychologi poznawcz ijzykoznawstwo kognitywne38, adodatkowo sugeruje, e filozofia umysu ucielenionego (w rozumieniu Lakoffa) jest przeciwiestwem dualizmu
kartezjaskiego39. Takie sformuowanie wydaje si nie by wyczerpujce, ze wzgldu na to, e waciwym przeciwiestwem
dualizmu jest monizm. Czy jednak koncepcja Lakoffa stanowi
ostatecznie jak zwersji monizmu? Wdalszych analizach postaram si wykaza, e nie. Naleyte sformuowanie myli przywiecajcej Kardeli powinno by wzbogacone orozwaania nad
odrzuceniem caej siatki pojciowej swoistych kolein mylowych dziedziczonych po Kartezjuszu ktr to siatk zauwaa
ikonsekwentnie zwalcza Searle. Stanowisko ucielenienia umysu, zreszt podobnie jak koncepcj naturalizmu biologicznego,
79
Daniel Milewski
80
wypadaoby nazwa raczej silnym antykartezjanizmem, czy silnym przeciwkartezjanizmem, zzaznaczeniem, e przeciwstawienie, czy te odrzucenie dotyczy ostatecznie caej struktury
pojciowej odziedziczonej po Kartezjuszu. Samo przeciwstawienie si dualizmowi wpodstawowym sensie zdaje si prowadzi do jakiej wersji monizmu, awydaje si, e to nie wyczerpuje pierwotnych intuicji Searle'a, czy Lakoffa.
Do zrozumienia koncepcji Lakoffa koniecznym jest przedstawienie jego do zoonej koncepcji aparatu pojciowego
czowieka, co wzawonym wydaniu prezentuj poniej.
Przy przedstawianiu koncepcji ucielenienia umysu ogranicz si do przedstawienia tego, co Lakoff nazywa niewiadomoci kognitywn (poznawcz). Wedug niego, niewiadomo kognitywna stanowi realny iobserwowalny wdziaaniu
poziom rozumienia czowieka, ktrego nie mona negowa
przy prbie wiarygodnego opisu umysu. Niewiadomo poznawcza odrniana jest przy tym od poziomu neurobiologicznego, zktrego co prawda wyrasta, ale nie jest wpeni redukowalna (pomocny jest tutaj wyrniony przez Searle'a podzia
na redukcj kauzaln iredukcj ontologiczn), atake rni si
od poziomu fenomenologicznego subiektywnego dowiadczenia40. Oile Searle uznaje poziom neurobiologiczny ipoziom
fenomenologiczny odpowiednio, mikro imakro poziom opisu
podnoszc temat poziomu niewiadomoci poznawczej (po Por. G. Lakoff, M. Johnson, Philosophy in the Flesh, dz. cyt.,
s.115117.
40
81
Daniel Milewski
82
Analizujc jzyki wiata Talmy odkry, e pomimo rnic w sposobach wyraania przestrzeni w rozmaitych jzykach, podstawowa struktura wydaje si by taka sama44. Proste przyimki, czyli sowa okrelajce relacj przestrzenn, takie
jak: w, ponad, obok wydaj si by niemal uniwersalne.
Takie niezmienniki wystpujce wwielu kulturach prowadz
do nastpujcego uoglnienia umysowi czowieka przysuguje waciwo konkretnej konceptualizacji relacji przestrzennych, oparta na schematach wyobraeniowych, w tym wypadku na tzw. schemacie pojemnika. Wyjanienie powstawania
takiego schematu wcyklu rozwoju osobniczego przykadowo
moe przebiega nastpujco: powtarzajce si umieszczanie
niemowlcia przez matk wkoysce powoduje, e dziecko dowiadcza zawierania si wczym. Powtarzajca si ekspozycja na takie dowiadczenie powoduje jego utrwalenie wstrukturze neuronalnej, doprowadzajc do powstania schematu
zawierania si wczym, czyli schematu pojemnika. Postuluje
si, e dziecko niewiadomie organizuje dowiadczenie bycia
wkoysce, jako dowiadczenie znajdowania si wpewnego rodzaju pojemniku. Organizacja dowiadczenia wedug schematu
pojemnika wie si zkonkretnymi konsekwencjami. Wkoysce mona by, albo nie, z czego wyprowadzane s inferencje logiczne na temat zasady wyczonego rodka. Adekwatnie
Por. G. Lakoff, Cascade Theory: Embodied Cognition and Language from aNeural Perspective, [online] serwis internetowy Youtube [dostp 24.06.14]; dostpny w Internecie: http://www.youtube.
com/watch?v=XWYaoAoijdQ [8:11-10:57]
44
83
Daniel Milewski
84
Domena rdowa jest bardziej bezporednia, bliej zwizana z dowiadczeniem fizycznym (cielesnym). Projekcja jej
Tame, s.3234.
Por. A. Pawelec, Znaczenie ucielenione, dz. cyt., s.80.
48
G. Lakoff, R. E. Nez, Where Mathematics Comes From?, Basic
Books, New York 2000, za: M. Hohol, Wyjani umys, dz. cyt., s.130.
46
47
struktury topologicznej na zjawisko owikszym stopniu zoonoci, pozwala okreli pojcia o wyszym poziomie abstrakcji domen docelow. Schematy wyobraeniowe wpoczeniu
zprocesem metaforyzacji s wstanie wytworzy skomplikowane
struktury organizacji dowiadczenia, takie jak ramy, czy amalgamaty pojciowe, ktre wedug Lakoffa stoj za naszym rozumieniem idowiadczeniem rozmaitych sytuacji spotykanych wyciu
codziennym, pokroju pacenia za obiad wrestauracji49.
To wanie dziki niewiadomoci poznawczej, na poziomie ktrej operuj schematy wyobraeniowe, programy motoryczne iproces metaforycznego mapowania, ksztatowany jest
nasz aparat pojciowy, aw konsekwencji, to wanie ten poziom formuje moliwoci rozumienia wszelkiego dowiadczenia. Wedug koncepcji Lakoffa prawda zaley od rozumienia,
ktre wyania si zfunkcjonowania wwiecie50. Wten sposb
zarysowana koncepcja pniej okrelona mianem realizmu do
wiadczeniowego (ucielenionego) ktra stanowi ju wyrane
stanowisko metafizyczne.
George Lakoff zwraca przede wszystkim uwag na fakt,
ktry wydaje si by czsto przeoczany przy okazji podejmowania refleksji nad poznaniem, czy nawet sam natur czowieka.
Przypomina nam, e kada myl jest ucieleniona, co wsensie
85
Daniel Milewski
trywialnym oznacza, e wszystkie zdolnoci poznawcze, ktrymi charakteryzuje si organizm, czy te wszelkie myli, ktrych dowiadcza wiadomy podmiot, maj swoj przyczyn
bezporednio w ontologicznych strukturach, ktre konstytuowane s wnaszej biologicznej naturze. Innymi sowy, czowiek realizowany jest przez jego struktury neuronowe. Tak
wersj ucielenienia umysu mona zatem odda wnastpujcy
sposb: wszelkie zdolnoci poznawcze, wszelki szeroko pojty
umys wyania si, czy te jest realizowany przez ciao. Tak
postawiona teza przypomina wspomnian wpoprzednim rozdziale mantr Searle'a mzg tworzy umys.
Ostatecznie wizja umysu proponowana przez Lakoffa
sprowadza si do trzech nieredukowalnych do siebie poziomw ucielenienia: (1) neurofizjologicznego, (2) fenomenologicznego i(3) niewiadomoci poznawczej.
Poziom neurofizjologiczny (1) charakteryzowany jest nastpujco: ucielenienie w skali neuronu odwouje si do
struktur, ktre charakteryzuj pojcia i operacje poznawcze
na poziomie neuronowym51. Chodzi tutaj oten poziom, ktry
Searle okrela mianem poziomu mikro opisu, czyli przedstawienia umysu wskali pojedynczych komrek nerwowych wykorzystujc szeroko pojty aparat techniczny neuronauki poznawczej.
Jeeli chodzi opoziom fenomenologiczny (2), odzwierciedla on wszystko to, co jest wiadome idostpne wiado G. Lakoff, M. Johnson, Philosophy in the Flesh, dz. cyt., s.102.
51
86
Pene zrozumienie umysu wymaga opisw iwyjanie na wszystkich trzechpoziomach. Opisywanie wycznie na poziomie neuro Tame, s.103.
Tame.
54
Tame.
55
Tame.
52
53
87
Daniel Milewski
4. Podsumowanie
Przez ponad trzysta lat filozofia podejmowaa problem umysu
oddajc hod Kartezjuszowi izaproponowanym przez niego podziaom. Tradycja ta doprowadzia do szeregu propozycji opowiadajcych si za dualizmem, zjednej strony, bd za monizmem, zdrugiej. Wtym miejscu filozofowie, ktrych pogldy
analizowane byy wtej pracy, czyli Searle iLakoff wydaj si
zgasza radykalny protest. Nie ma adnych stron! ten gos
krytyczny wzgldem wieloletniej tradycji wydaje si przebrzmiewa przez pisma obu mylicieli. Searle oddaje to wsposb bezporedni wjednym ze swoich wykadw:
Mona powiedzie, e po Kartezjuszu, dua liczba, aostatecznie, wikszo filozofw akceptowaa jak wersj monizmu.
Kartezjusz pyta, ile jest rodzajw rzeczy wwiecie. Idoszed
Tame, s.104.
56
88
do dwch. Wikszo zjego nastpcw zatrzymaa si na jednej. Kiedy nadejdzie czas na przedstawienie moich twierdze,
powiem, e wpierwszej kolejnoci bdem byo rozpoczcie liczenia. Tu mamy wielki bd. Wszyscy to przeoczamy akceptujc
kartezjaskie kategorie, mylimy, e wszystko jest wporzdku ze
sownictwem ciaa iumysu57.
89
Daniel Milewski
Bibliografia
Bremer J., Wprowadzenie do filozofii umysu, WAM, Krakw 2010.
Chalmers D., Searle J., Consciousness and the Philosophers: An
Exchange, The New York Review of Books, May 15, 1997
[dostp 23.06.14]; dostpny w Internecie: http://www.nybooks.com/articles/archives/1997/may/15/consciousness-andthe-philosophers-an-exchange/?insrc=toc/
Churchland P., Mechanizm rozumu, siedlisko duszy, tum. Z. Kara,
Aletheia, Warszawa 2002.
Devlin K., egnaj Kartezjuszu. Rozstanie zlogik wposzukiwaniu
nowej kosmologii umysu, tum. B. Stanosz, Prszyski iS-ka,
90
Warszawa 1997, za: H. Kardela, Koncepcja umysu ucielenionego wkognitywizmie, [w:] (red.) A. Klawiter, Mzg ijego
umysy, Zysk iS-ka, Pozna 2006, s.199243.
Heller M., Jak by uczonym?, ZNAK, Krakw 2009.
Hohol M., Searle na nowo odkryty [J. Searle, Umys: krtkie wprowadzenie], Logos iEthos 2011, 1(30), s.281287.
Hohol M., Wyjani umys. Struktura teorii neurokognitywnych,
Copernicus Center Press, Krakw 2013.
Kardela H., Koncepcja umysu ucielenionego wkognitywizmie,
[w:] (red.) A. Klawiter, Mzg ijego umysy, Zysk iS-ka, Pozna 2006, s.199243.
Kvecses Z., Jzyk, umys, kultura, tum. A. Kowalcze-Pawlik,
M.Buchta, Universitas, Krakw 2011.
age from aNeural Perspective, [online] serwis internetowy
Youtube [dostp 24.06.14]; dostpny w Internecie: http://
www.youtube.com/watch?v=XWYaoAoijdQ
Lakoff G., Kobiety, ogie irzeczy niebezpieczne, tum. M. Buchta,
A. Kotarba, A. Skuciska, Universitas, Krakw 2011.
Lakoff G., Johnson M., Metafory wnaszym yciu, tum. T. Krzeszowski, Aletheia, Warszawa 2010.
Lakoff G., Johnson M., Philosophy in the Flesh, Basic Books, New
York 1999.
Lakoff G., Nez R.E., Where Mathematics Comes From?, Basic
Books, New York 2000, za: M. Hohol, Wyjani umys, Copernicus Center Press, Krakw 2013.
Daniel Milewski
92
Searle J.R., Umys na nowo odkryty, tum. T. Baszniak, PIW, Warszawa 1999.
Od neuronu do kultury
biosemiotyczna historia
powstania iewolucji mzgu
wedug Marcello Barbieriego
Adam K
Uniwersytet Papieski Jana Pawa II w Krakowie
Summary
Marcello Barbieri is one of the leading representatives of biosemiotics. Dissatisfied with current reductionistic approach in science,
he proposes anew research programme based on the idea of semiosis. According to it, life starts with the first appearance of the genetic code, and every big evolutionary step is marked with discoveries of the new organic codes that the evolving nature makes. This
paper describes Beriberis original theory of the origin and evolution of the brain and parallel evolution of the mind. The brain division into the cybernetic and instinctive brain, the emergence of the
memory and the foetal developmental split into intrauterine and extrauterine phase are connected respectively with appearance of the
93
Adam K
Keywords
biosemiotic, organic codes, evolution, origin of brain, origin of
mind, consciousness, Barbieri
94
ardzo modny ostatnimi czasy temat wiadomoci przyciga urokiem swojej tajemnicy coraz wiksze rzesze naukowcw, parajcych si na co dzie odlegymi dziedzinami.
Kady, wnoszc or wasnej metody i szczegow wiedz
w swojej dziedzinie, pragnie uchyli choby rbka tajemnicy
pierwszoosobowego spojrzenia na rzeczywisto. Tropem wiadomoci udaj si wic zarwno biologowie ewolucyjni, molekularni, embriolodzy, zoolodzy, neurobiolodzy, jak ibiofizycy,
logicy, informatycy iludzie zajmujcy si sztuczn inteligencj,
psychologowie, filozofowie, socjologowie itd. Jak wkadej modej dziedzinie, ktra nie zdoaa jeszcze wypracowa sztywnych
metod, aszczeglnie wtak specyficznej dziedzinie jak jest badanie wiadomoci, kady ma szans przetestowania swoich pomysw izaproponowania oryginalnego, autorskiego wyjanienia.
Wspomniana multidyscyplinarno nie jest bynajmniej zarzutem,
lecz koniecznoci, skoro samo zagadnienie zdaje si tak mocno
95
Adam K
96
pocztek ycia bardzo silnie wiza si z powstaniem pierwszego kodu whistorii ziemi, mianowicie kodu genetycznego.
Stanowi on okrelony przepis, jak przeoy informacje niesion przez znaki-matryce (DNA, adocelowo mRNA) na podstawowe cegieki ycia, jakimi s proteiny2. Prac nad przekadem dokonywa tzw. wytwrca kodu (codemaker), ktrym
wprzypadku kodu genetycznego jest czsteczka tRNA3. Ujmujc rzecz wtelegraficznym skrcie, upodstaw ycia na naszej
planecie stan pierwszy system semiotyczny. Konsekwencj
tego pierwszego semiotycznego wynalazku, czyli kodu genetycznego, byo uruchomienie zaawansowanego procesu ewolucji. Wielokrotne odkodowanie tej samej matrycy skutkuje
nadprodukcj okrelonych biaek, bdy wkopiowaniu kwasu
nukleinowego daj pocztek rnorodnoci wwiecie protein,
dodajc do tego ograniczone zasoby rodowiska, uzyskujemy
przepis na naturaln selekcj, koo zamachowe ewolucji. Taki
pogld na ewolucj jest dobrze okrzepnitym iszeroko akceptowanym stanowiskiem wrodowisku naukowcw. Nowoci,
ktr Barbieri stara si przeforsowa, jest twierdzenie, e pojawienie si pierwszego kodu nie byo unikatowym zjawiskiem
wewolucji, przeciwnie, zdaniem tego naukowca kadej znacz Por.: tene, Is the Cell aSemiotics System?, [w:] (red.) M. Barbieri,
Introduction to Biosemiotics, Springer, Dordrecht 2007, s.179208.
3
Na dzisiejszym etapie ewolucji, w przekad, czyli translacja, dokonywana jest zpomoc caej maszynerii translacyjnej, wskad ktrej
wchodzi syntetaza aminoacylo-tRNA (katalizujca przyczanie do
tRNA okrelone aminokwasu) ikompleks rybosomalny.
2
Ujcie caej ewolucji wramach schematu semiotycznego autor opisuje wpracy: M. Barbieri, The Organic Code. An Introduction to Semantic Biology, Cambridge University Press, Cambridge 2003.
5
Tame, s.252.
4
97
Adam K
mog powstawa wwyniku splicingu, awszystkie te kody razem znajduj ostatecznie swoje rdo wkodzie genetycznym.
To, co pozwala nam mwi o nowym kodzie, jest zwizane
znieistniejcym wczeniej sposobem organizacji komponentw
organizmu, niezdeterminowanym cakowicie przez wasnoci fizykochemiczne poczeniem pewnych elementw, ktre przekada si na pojawienie si konkretnej, nowej jakoci fenotypowej. Barbieri wskazuje na trzy podstawowe elementy, ktre
definiuj kod organiczny:
[...] we find the three basic characteristics of all codes: (1) acorrespondence between two independent worlds, (2) the presence
of molecular adaptors, and (3) aset of rules that guarantee bioZagadnienia Filozoficzne w Nauce | LVI 2014
logical specificity6.
98
Jego zdaniem, kodem nazywamy kade poczenie midzy dwoma odrbnymi wiatami, ktre nie wynika zadnego przymusu fizycznego, nie jest uwarunkowane przez cechy charakteryzujce owe wiaty, lecz jest poczeniem
arbitralnym, konwencjonalnym (mogoby zaistnie inne poczenie tych elementw, ale taki sposb utrwali si wprzyrodzie ifunkcjonuje od tej pory). Wanie owa arbitralno poczenia tych dwch wiatw, innymi sowy brak fizycznego
przymusu determinujcego dan struktur biologiczn, wy Tene, Biosemiotics: Anew understanding of life, Naturwissenschaften 2008, 95, s.587.
99
Adam K
Zarys problemu
100
Kod neuronalny
i powstanie mzgu porednika
101
Adam K
102
komrki cewki nerwowej dziel si wjej obrbie (strefie komorowej), opuszczajc za ten obszar, trac swoje zdolnoci do podziaw stajc si neuronami lub komrkami glejowymi. Inaczej
jest wprzypadku komrek pochodzcych zgrzebienia nerwowego. Taka komrka zmiejsca swojego zrodzenia, pod wpywem gradientu substancji chemicznych (przycigajcych iodpychajcych) oraz odpowiednich czstek adhezyjnych, kierowana
jest do znajdujcego si w gbi ciaa miejsca przeznaczenia.
Osigajc swj cel owe komrki prekursorowe dopiero na miejscu zaczynaj si dzieli irnicowa, budujc obwodowy ukad
nerwowy. Zakotwiczona komrka nerwowa zaczyna etap eksploracji, wydua si, wypuszcza swoje macki wrnych kierunkach iszuka innych neuronw oraz organw, zktrymi mogaby
si poczy. Neurony zestrajaj si ze sob za porednictwem
aksonw idendrytw. Sam mechanizm tworzenia pocze neuronalnych, cho ukierunkowany przez stoek wzrostu (na ktrego dziaaj sygnay mechaniczno-chemiczne, jak itopologiczne)8, w duej mierze dokonuje si na lepo icharakteryzuje
si znaczn nadprodukcj pocze neuronalnych. Szacuje si, e
ztak wytworzonych pocze na dalszych etapach rozwoju ukadu
neuronalnego obumiera nawet do 80% populacji neuronw9.
Komrki, ktre utworzyy poczenia niepodane, bd nie
Odnonie hipotez ukierunkowanego ruchu stoka wzrostu mona
dowiedzie si wicej z pracy J. Pinel, Biopsychology. Books ala
Carte Edition (8th edition), Pearson, Boston 2011, s.224225.
9
Por.: A. Wysokiski, W. Gruszczyski, Neurotrofiny aktualny stan
wiedzy, Postpy Psychiatrii iNeurologii 2008, 17, 4, s.385.
8
103
Adam K
104
105
Adam K
106
Wraenia zmysowe
i mzg cybernetyczny
W powyszym punkcie przedstawione zostay podwaliny rozwoju systemu neuronalnego. Trzeba przyzna, e moliwoci
pierwszego prymitywnego mzgu byy jeszcze bardzo ograniczone. Najprostszym jego modelem by pojedynczy uk odruchowy, ktry tworzy powizanie midzy receptorem, neuronem
aorganem efektorowym iodpowiada za niekontrolowan reakcj fizjologiczn. Poniewa pierwszy mzg niewiele odbiega
od schematu: bodziec porednik reakcja, Barbieri nazywa
go mzgiem porednikiem. Jego rola ograniczaa si waci-
13
107
Adam K
108
bardziej skomplikowanemu organowi, tzw. mzgowi cybernetycznemu. Zaawansowane przetwarzanie sygnau jest gwnie zasug wytworzenia silnie skumulowanej sieci neuronalnej,
ktra tworzc zaptlenia w poczeniach midzy zmysami-organami wewntrznymi-zmysami, od razu uzyskuje sygna
zwrotny, co pozwala na bardziej adekwatn reakcj. Efekt ten
nie zosta osignity przez wzrost liczby neuronw czuciowych,
czy ruchowych, lecz przez wytworzenie nowej kategorii neuronw tzw. neuronw kojarzeniowych (poredniczcych). Zadaniem owych interneuronw jest przenoszenie informacji midzy
samymi neuronami, awic tworzenie bardziej skomplikowanej
rzeczywistoci sieci neuronowych. Warto podkreli, e na tym
etapie rozwoju mzg dziaa wci na zasadzie automatycznego
pilota, ktry jest jednak coraz bardziej wyrafinowany wswoich odpowiedziach na otrzymywane bodce ze wiata zewntrznego. Cigy nacisk ewolucyjny bdzie stymulowa dalszy rozwj mzgu cybernetycznego, ktry zaowocuje coraz wiksz
zoonoci neuronalnych pocze hard-wired, atym samym
coraz bardziej zaawansowanymi technikami manipulowania sygnaem iszersz gam reakcji osobnika. Nie naley jednak zapomina, e proces ten ma powane ograniczenia. Ot niezalenie od stopnia zaawansowania mzgu cybernetycznego, jest
to system fizycznie powizany ze rodowiskiem zewntrznym,
ajego zadaniem jest wycznie coraz lepsze przetwarzanie danych pochodzcych od zmysw. Innymi sowy, impulsy kierujce takim mzgiem bd zawsze pochodziy z zewntrz, nigdy
zwntrza, czego konsekwencj bdzie brak autonomii organi-
Wytworzenie przez organizm autonomicznego sposobu przetwarzania sygnaw (instynktu) wymagao zmiany wkonstrukcji mzgu. Na temat biologicznych podstaw, ktre stayby upocztkw zaistnienia mzgu instynktowego, prno jednak szuka
wpismach Barbieriego dokadnych informacji. Autor zaznacza
jedynie, e pojawienie si uczu (feelings) wizao si zfizycznym naruszeniem cigoci mzgu cybernetycznego. w cigy
proces przetwarzania sygnaw (biegncy od zmysw do narzdw efektorowych) wpewnym momencie zosta naruszony,
apowsta przerw wypeni most zbudowany zuczu iinstynktw. Charakter tego przerwania cigoci pocze sieci neuronalnych niestety nie jest opisany przez autora. Moemy tutaj
jedynie spekulowa. By moe kluczow rol penio odseparowanie pewnych fragmentw mzgu, wktrych nastpoway
109
Adam K
110
111
Adam K
112
113
Adam K
sobie, e nasz mzg na uderzenie kamieniem zareaguje wytworzeniem uczucia bogoci, lecz czy takie poczenie pomoe
wodniesieniu sukcesu ewolucyjnego?
114
115
Adam K
116
awansowanym mechanizmem jest interpretacja wrae za pomoc indeksw. Ot majc do dyspozycji pami, ktra za porednictwem ikon porzdkuje i kategoryzuje wiat oraz daje
moliwo porwnania rnych sytuacji, zczasem zostan zauwaone pewne korelacje midzy jednymi zjawiskami iinnymi
(przykadowo czarnym, niskim chmurom zazwyczaj towarzyszy deszcz). Wychwytywanie zkolei tych wzorcw prowadzi
na trop pewnych fizycznych koniecznoci czy regu, jakie rzdz rzeczywistoci, otwiera tym samym drog do nauki. Zauwamy, jaki przeskok dokonuje si wtym momencie. wiat
nie jest ju biernie obserwowany, lecz interpretowany. Zbiory
dochodzcych wrae rozpoznawane s jako przedmioty (za porednictwem ikon), za oddziaywania midzy tymi wraeniami
odczytywane s jako relacje midzy rzeczami (nadawanie indeksw).
Ten poziom rozwoju rzeczywistoci kieruje si wic semioz interpretacyjn, amoliwoci jakie si wtym momencie
otwieraj s praktycznie nieograniczone. Zazwyczaj mamy do
czynienia zsystemami dynamicznymi, awic znatury otwartymi. Nie jest ani moliwe, ani konieczne posiadanie wyobrae
wszystkich moliwych drzew, aby stworzy ikon drzewa, anawet gdy wszystkie dotychczasowe miay kor brzow, aobecne
bdzie miao czerwon, itak nie przeszkodzi nam to wprawidowym zaklasyfikowaniu tej roliny. Proces wyuczania si
byby umiejtnoci mao uyteczn, jeliby ogranicza si tylko
do rozpoznawania relacji, ktrych ju kiedy dowiadczylimy.
Zakres dowiadcze, ktre mog utrwali si wpamici, jest
117
Adam K
118
semiozy wiat kultury. Poniej zastanowimy si, jakie biologiczne zmiany wbudowie mzgu mogyby stanowi fundament
zaistnienia tej wyjtkowej umiejtnoci.
Symbol, za autorem, uywam tutaj wbardzo prostym sensie, odcinajc si od gbszych znaczeniowych treci, ktre czasami niesie
to pojcie. Przyjmuj za Barbierim rozumienie symbolu jako znaku,
ktremu tre zostaa nadana przez pewn grup ludzi na zasadzie
konwencji: A sign is asymbol when it is associated with an object
because aconventional link is established between them, M. Barbieri, Origin and Evolution..., dz. cyt., s.390.
18
Por.: T. Deacon, The Symbolic Species. The co-Evolution of Language and the Brain, W.W. Norton & Company, New York 1997,
s.376411.
17
Posugiwanie si symbolami17, czyli znakami, ktre w przeciwiestwie do ikon iindeksw nie maj bezporedniego odniesienia do fizycznej rzeczywistoci, a s jedynie wynikiem
przyjtych przez pewn grup konwencji, jest przez wielu (w
tym Barbieriego) uznawane za podstawowe kryterium oddzielajce wiat ludzki od reszty przyrody. Co prawda istniej18
pewne przebyski posugiwania si symbolami wwiecie zwierzt, jednake uywanie znakw symbolicznych wtak masowy
izdyscyplinowany sposb, zjakim mamy do czynienia wludzkim jzyku, nie jest nigdzie indziej spotykane. Mona zapyta,
119
Adam K
120
jakie s tego biologiczne podstawy, moe jakie szczeglne cechy budowy czowieka, ktre zapewniy mu t przewag nad
wiatem zwierzt? ledzc do tej pory ewolucj mzgu, zauwaylimy prawidowo, e zdobycie kolejnych umiejtnoci
umysowych wizao si zwikszym stopniem skomplikowania
mzgu (np.: wytworzeniem nowych rodzajw neuronw, obwodw isieci neuronowych), co wpywao na zwikszenie jego objtoci oraz stopnia pofadowania. Ten proces rozrostu mzgu
napotyka wczeniej czy pniej na proste fizyczne ograniczenie, zwizane zmomentem narodzin oseska. Potomek posiadajcy zbyt du gow miaby bowiem trudnoci zprzyjciem
na wiat, atym samym ycie jego, jak imatki byoby zagroone. Dodatkowy problem ley wtym, e czas potrzebny do
wytworzenia rozwinitego, skomplikowanego mzgu jest nieproporcjonalnie duszy, ni ten powicony na fizyczny rozwj noworodka. Wydaje si wic, e natura wyznaczya tutaj
granic nie do przekroczenia. Jednake zamykajc jedne drzwi,
uchylia inn furtk. W przypadku czowieka natura obesza
ten problem dzielc rozwj mzgu na dwa etapy: prenatalny
ipostnatalny. Zwierz rodzi si waciwie zcakowicie uksztatowanym mzgiem ijest gotowe od razu do ycia. Czowiek
rodzi si bezbronny inieporadny, gdy jego mzg izdolnoci
umysowe bd dopiero si tworzyy. W onie matki dziecko
uzyskuje system nerwowy oraz dwupkulowy, normalny mzg.
Jednake dopiero po narodzeniu ten mzg bdzie si tak naprawd tworzy iuczy si tych umiejtnoci, do ktrych zosta stworzony. To rozdzielenie rozwoju mzgu na dwa etapy
121
Adam K
122
Zdaniem Barbieriego istniej dwie najwaniejsze teorie prbujce tumaczy fenomen jzyka. Pierwsza to teoria Chom
skyego, ktra wychodzi od zaoenia, e jzyk jest na tyle precyzyjny, okrelony i powtarzalny, e nie moe by efektem
kaprynej interpretacji. Std okrelone zasady gramatyki generatywnej, wpisane wstruktury naszego umysu, s wsplne wszystkim ludziom. Przeciwny pogld przedstawia Thomas Sebeok, dla
ktrego jzyk jest semioz, czyli zawsze jest procesem interpretacji ijako taki nigdy nie moe by rezultatem uniwersalnych
regu, ani fizycznych ogranicze. Drog poredni midzy tymi
dwoma skrajnociami proponuje Barbieri wswojej teorii semiozy
kulturowej. Wykorzystuje po raz kolejny znany ju nam mechanizm: podobnie jak kod genetyczny sta urde powstania ycia, kod neuronalny da pocztek umysowi, tak samo odkrycie
wnaturze nowego kodu mogo zaowocowa fenomenem ludzkiej mowy. Barbieri spekuluje, e kodem wtym przypadku mogo
by wytworzenie odpowiedniego uzwojenia mzgu wpierwszym
roku ycia noworodka, za wrol wytwrcy kodu wcieliaby si
wsplnota umysw, niezbdna wprocesie zdobywania kompetencji jzykowych. Odmienny rozwj mzgu (trzykrotnie wikszy potencja do zagospodarowania) irodowisko stworzone ze
wzajemnie oddziaujcych na siebie umysw ludzkich dao podstaw do wytworzenia tak abstrakcyjnych znakw, ktre swoj
tre nie czerpi ju ze wiata przyrody, lecz prawa ustanowionego przez czowieka. Utrwalone wjzyku uzyskuj duy stopie niezalenoci od swoich twrcw, ksztatujc paralelny do
fizycznego wiat semiozy kulturowej.
123
Adam K
matryca
124
DNA /
mRNA
komrki
ukadu
nerwowego
---------
mzg
ludzki
kod
genetyczny
neuronalny
--------
jzykowy
wytwrca
kodu
(codemaker)
podoe
biologiczne
tRNA
proces
translacji
biaka
organiczna
mzg
porednik
rozpad na
a) mzg
cybernetyczny
b) mzg
instynktowny
a) obrazy
umysu
(Umwelt)
b) uczucia
(Innenwelt)
organiczna
(I system
modelowania)
-------------
powstanie
mechanizmu
pamici
-----------
wsplnota
umysw
podowy
ipozapodowy
rozwj
mzgu
jzyk,
kultura,
instytucje
spoeczne
referent
semioza
interpretacyjna
(II system
modelowania)
kulturowa
(III
system
modelowania)
ledzc teksty Marcello Barbieriego, poczwszy od pierwszego filozoficznie wanego tekstu z1985 r. The Semantic Theory of Evolution, a po jeden zostatnich artykuw z2011 r.
Origin and evolution of the brain dotyczcy ewolucji mzgu,
odnosi si wraenie, e autor rysuje spjn icaociow wizj
wiata, jako systemu semiotycznego. Przyjmujc podstawow
tez mwic okoekstensywnoci poj ycia isemiozy, kreli Barbieri oryginaln wizj ewolucji, od momentu pojawienia
si ycia na ziemi a po zaistnienie ludzkiej kultury. Oczywicie
tak wielkie przedsiwzicie bdzie skazane miejscami na oglnikowo. Faktycznie nad niektrymi czciami tej ukadanki
autor przelizgn si, zaledwie sygnalizujc problem, zdrugiej
strony mona odnie subiektywne wraenie, e innym (by
moe mniej wanym) rzeczom powica zbyt duo uwagi. Oile
postpowanie to generalnie jest wjakim sensie usprawiedliwione, otyle czytelnikowi pozostaje gboki niedosyt, gdy autor
zbyt lekko przechodzi nad kwestiami najistotniejszymi, stanowicymi podstaw caego szkieletu teorii. Przykadem takiego
postpowania moe by przemilczenie fizycznych podstaw rozdzielenia si mzgu porednika od mzgu cybernetycznego, czy
wytumaczenie na czym tak naprawd polegaoby owo wyprodukowanie uczu iinstynktw. Wjednym zdaniu jest te zamknita kwestia wiadomoci, oktrej autor wypowiada si, e
stanowi ona kocowy etap pojawienia si instynktu. Takie postawienie sprawy nie wyjania wiele, aju na pewno nie odnosi
nas do jake bogatej literatury przedmiotu. Kolejn, kluczow
dla kwestii wiadomoci spraw, jest zaistnienie perspektywy
125
Adam K
126
127
Adam K
Bibliografia
Barbieri M., Biosemiotics: Anew understanding of life, Naturwissenschaften 2008, 95, s.577599.
Barbieri M., Has Biosemiotics Come of Age?, [w:] M. Barbieri,
Introduction to Biosemiotics, Springer, Dordrecht 2007,
s.101113.
Barbieri M., Is the Cell a Semiotics System?, [w:] M. Barbieri,
Zagadnienia Filozoficzne w Nauce | LVI 2014
128
s.179208.
Barbieri M., Origin and evolution of the brain, Biosemiotics
2011, 4, 3, s.369398.
Barbieri M., The Organic Code. An Introduction to Semantic Biology, Cambridge University Press, Cambridge 2003.
Bear M., Conors B., Paradiso M., Neuroscience. Exploring the
Brain (3th-ed), Lippincott Williams and Wilkins, Philadephia
2007.
Damasio A., Bd Kartezjusza. Emocje, rozum iludzki mzg, tum.
M. Karpiski, Dom Wydawniczy Rebis, Pozna 1999.
Deacon T., The Symbolic Species. The co-Evolution of Language
and the Brain, W.W. Norton & Company, New York 1997.
129
Sprawozdanie
zmidzynarodowej konferencji
pt. Explaining the Mind.
Perspectives on Explanation in
Cognitive Science
Dawid Juszka
Uniwersytet Jagielloski
131
Dawid Juszka
132
tyczcych moliwoci podniesienia poziomu inteligencji za pomoc treningu kognitywnego oraz relacje pomidzy mierzalnymi cechami systemu nerwowego apoziomem wspczynnika
inteligencji.
Nastpnie Magorzata Kossowska (Uniwersytet Jagielloski) przedstawia referat pt. Political Ideology as Motivated
Social Cognition: Behavioral and Neuroscientific Evidence,
w ktrym poddaa dyskusji neuronaukowe przesanki podatnoci na dziaanie ideologii iabstrakcyjnych systemw przekona. Celem wystpienia bya prba odpowiedzi na pytania:
jakie elementy skadowe ideologii nas motywuj? Dlaczego jestemy podatni na ich dalekosine rezultaty? Skd si bierze
pocig naszego gatunku do abstrakcyjnych systemw przekona? Wtrakcie prezentacji, wrd motywacji wskazaa na podstawow potrzeb radzenia sobie zniepewnoci izagroeniem.
Podsumowujc zwrcia uwag, e konserwatyci iosoby liberalne rni si pod wzgldem niekontrolowanych fizjologicznych odpowiedzi na bodce isposobu funkcjonowania mzgu
przetwarzania treci konserwatywnych.
Konstantionos Katsikopoulos (Max-Planck-Institut fr
Bildungsforschung
/ Max Planck Institute for Human Development) wswoim referacie pt. Bounded Rationality: The Two
Cultures zdefiniowa kultur jako sposb badania ogranicze racjonalnoci (ang. bounded rationality), ktry obejmuje
zarwno aspekty techniczne (dane, modele, itp.), jak rwnie
aspekty deskryptywne. W dalszej czci prezentacji argumentowa, e istniej dwie odrbne kultury bada ogranicze
133
Dawid Juszka
134
Multitude of Mental Time Representations: Challenge and Possibilities for Explanation Modelling uzasadnia, e ludzki umys potrafi zbudowa wicej
ni jedn kognitywn reprezentacj upywu czasu dla jednego itego samego obiektu. Wswojej prezentacji podkrela
take, e wielo kognitywnych reprezentacji czasu skutkuje
koniecznoci uwzgldnienia w budowie teorii wyjaniajcych wielu sposobw zmiany obiektu w czasie. Podsumowujc skonkludowa, e pojedyncza kognitywna reprezentacja
upywu czasu nie moe skutkowa odmiennymi waciwociami, gdy jest stosowana dla jednego itego samego obiektu,
dlatego moemy mwi, e istnieje wielo kognitywnych reprezentacji upywu czasu.
Tomas Persson (Lunds universitet / Lund University)
wprezentacji pt.How Do Great Apes Explain Their World and
How Do We Explain Them? przedstawi problematyk poszukiwania wyjanie wbadaniu duych map czekoksztatnych.
Wdalszej czci wystpienia zwrci uwag na potrzeb budowania metod badawczych uwzgldniajcych zachowania niestandardowe, czy nieznane do tej pory, ktre weksperymentach
psychologicznych zzaoenia nie s uwzgldniane oraz wskaza na wynikajce ztego bdy wodwzorowaniu relacji zjawisk
umysowych iich korelatw behawioralnych.
Marta Biaecka-Pikul (Uniwersytet Jagielloski) w trakcie prelekcji pt. What Do Infants Know about Other Peoples
Minds? The Nature of Implicit Theory of Mind zaprezentowaa
badania dotyczce teorii umysu dzieci wwieku poniej 4lat.
Skonkludowaa, e dzieci trzyletnie imodsze wtrakcie komunikacji zinnymi myl ostanach mentalnych, anawet normach
spoecznych.
Peter Grdenfors (Lunds Universitet / Lund University)
wreferacie pt. The
135
Dawid Juszka
136
137
Dawid Juszka
138
139
Tak atwo
osprawach tak
trudnych
Krakw 2014
141
RECENZJE
142
a si za nierozdzielny skadnik
a ograniczeniami, uniemoliwia-
RECENZJE
go wizja dionizyjsko-tragiczna,
miejscach.
Jedn z moliwych odpo-
czonoci.
Te sposoby postrzegania
143
RECENZJE
144
przezwycieniem tragicznoci,
spowodowanego rozpoznaniem
RECENZJE
pozornych.
cierpienia wyzwoli.
jca
rodowd,
zostay
materialnego.
omawia
stencji. Du cz rozdziau
chrzecijaski
Autor
rzetelnie
usystematy-
145
RECENZJE
146
ci w przytaczaniu argumentw
wtym sporze.
pustym frazesem.
O podgldaniu
fizykw przy pracy
(nad kwantowaniem
grawitacji)
wisto obiektywna?).
azwaszcza kosmologii.
147
RECENZJE
148
kosmologiczno-matematycznych
wydawniczym du rzadkoci.
RECENZJE
gumentuje, e zaproponowana
Przywoajmy
w najwikszym
wielokrotnie ju argumentowan
149
RECENZJE
150
na d od obserwacji (w takim
RECENZJE
rzeczywisto:
sowanej fizyki.
Konsekwentne stosowanie
ukasz Lama
151