LOGIKA - Hollandiai Magyar Szovetseg · németországi egyetemeken szeretné elmélyíteni, ahol...

84
LOGIKA ÍRTA : Dr. Böhm Károly egyetemi tanár Gondozta, a bevezető tanulmányt írta és a jegyzeteket összeállította Gál László Kriterion Könyvkiadó Kolozsvár ____ Mikes International Hága 2008.

Transcript of LOGIKA - Hollandiai Magyar Szovetseg · németországi egyetemeken szeretné elmélyíteni, ahol...

LOGIKA

RTA :

Dr. Bhm Kroly egyetemi tanr

Gondozta, a bevezet tanulmnyt rta

s a jegyzeteket sszelltotta Gl Lszl

Kriterion Knyvkiad Kolozsvr

____

Mikes International Hga

2008.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - II -

Kiad

'Stichting MIKES INTERNATIONAL' alaptvny, Hga, Hollandia.

Szmlaszm: Postbank rek.nr. 7528240

Cgbejegyzs: Stichtingenregister: S 41158447 Kamer van Koophandel en Fabrieken Den Haag

Terjeszts

A knyv a kvetkez Internet-cmrl tlthet le: http://www.federatio.org/mikes_bibl.html

Aki az email-levelezsi listnkon kvn szerepelni, a kvetkez cmen iratkozhat fel:

[email protected]

A kiad nem rendelkezik anyagi forrsokkal. Tbbek ldozatos munkjbl s adomnyaibl tartja fenn magt. Adomnyokat szvesen fogadunk.

Cm

A szerkesztsg, illetve a kiad elrhet a kvetkez cmeken:

Email: [email protected]

Levelezsi cm: P.O. Box 10249, 2501 HE, Den Haag, Hollandia

_____________________________________

Publisher

Foundation 'Stichting MIKES INTERNATIONAL', established in The Hague, Holland.

Account: Postbank rek.nr. 7528240

Registered: Stichtingenregister: S 41158447 Kamer van Koophandel en Fabrieken Den Haag

Distribution

The book can be downloaded from the following Internet-address: http://www.federatio.org/mikes_bibl.html

If you wish to subscribe to the email mailing list, you can do it by sending an email to the following address:

[email protected]

The publisher has no financial sources. It is supported by many in the form of voluntary work and gifts. We kindly appreciate your gifts.

Address

The Editors and the Publisher can be contacted at the following addresses:

Email: [email protected]

Postal address: P.O. Box 10249, 2501 HE, Den Haag, Holland

_____________________________________

ISSN 1570-0070 ISBN-13: 978-90-8501-123-1 NUR 730

Mikes International, 2001-2008, Kriterion Knyvkiad, 2004-2008, All Rights Reserved

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - III -

A KIAD ELSZAVA

Ma megjelentettk Bhm Kroly LOGIKA cm mvt, amely 2004-ben jelent meg elszr a Kriterion Knyvkiad gondozsban, hagyomnyos knyv formtumban. Ezton kvnjuk ksznetnket kifejezni a szerkesztnek, Gl Lszlnak, s a kiadnak, Szab Gyulnak, a szves engedlykrt.

A Bibliotheca Mikes International knyvkiadsunk keretben az albbi ktetek jelentek meg eddig a filozfiai sorozatban:

Al-Ghazlj Ab-Hmid Mohammed: A tvelygsbl kivezet t

Bhm Kroly: Az Ember s Vilga I. ~ Dialektika vagy alapphilosophia ~

Bhm Kroly: Az Ember s Vilga II. ~ A szellem lete ~

Bhm Kroly: Az Ember s Vilga III. ~ Axiologia vagy rtktan ~

Bhm Kroly: Az Ember s Vilga IV. ~ A logikai rtk tana ~

Bhm Kroly: Az Ember s Vilga V. ~ Az erklcsi rtk tana ~

Bhm Kroly: Az Ember s Vilga VI. ~ Az aesthetikai erklcsi rtk tana ~

Brandenstein Bla Emlkknyv (szerk. Veres Ildik)

Kajls (Keller) Imre (szerk.): Dr. Bhm Kroly lete s munkssga I-II-III.

Kibdi Varga Sndor: A magyarsgismeret alapfogalmai The Hungarians Les Hongrois Das Wesen des Ungartums La esencia del pueblo hngaro.

Kibdi Varga Sndor: A szellem hatalma

Kibdi Varga Sndor: A transcendentalis deductio Kantnl ~ Bevezets Kant philosophijba ~

Kibdi Varga Sndor: Henrik Rickert filozfija ~ A modern rtkfilozfia alapvetse ~

Kibdi Varga Sndor: Rendszeres filozfia

Kibdi Varga Sndor: Valsg s rtk ~ Az ismeretelmlet s rtkelmlet alapproblmja ~

Mariska Zoltn: A filozfia nevben

Mariska Zoltn: Lt s az ismeret Megjegyzsek Bartk ltfelvetshez

Mlnsi Bartk Gyrgy: A grg filozfia trtnete ~ Az indiai s a knai filozfia rvid vzlatval ~

Mlnsi Bartk Gyrgy: A kzpkori s jkori filozfia trtnete

Mlnsi Bartk Gyrgy: A filozfia lnyege ~ Bevezets a filozfiba ~

Mlnsi Bartk Gyrgy: Az erklcsi rtkeszme trtneti s kritikai trgyalsa ~ Az erklcsi rtkeszme trtnete ~

Mlnsi Bartk Gyrgy: Az erklcsi rtk philosophija

Mlnsi Bartk Gyrgy: Bhm Kroly

Mlnsi Bartk Gyrgy: Akadmiai rtekezsek: ~ A Rendszer filozfiai vizsglata Az Eszme filozfiai vizsglata A Szellem filozfiai vizsglata A metafizika tja s cljai A lt blcseleti problmja sztn, tudat, ntudat ~

Mlnsi Bartk Gyrgy: Ember s let ~ A blcseleti antropologia alapvonalai ~

Mlnsi Bartk Gyrgy: Faj. Np. Nemzet.

Mlnsi Bartk Gyrgy: Die Philosophie Karl Bhms

Mlnsi Bartk Gyrgy: Kant

Mlnsi Bartk Gyrgy: Kant etikja s a nmet idealizmus erklcsblcselete

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - IV -

Segesvry Viktor: Existence and Transcendence ~ An Anti-Faustian Essay in Philosophical Anthropology ~

Vatai Lszl: Az Isten szrnyetege ~ Ady lrja ~

Vatai Lszl: tsznezett trkp ~ magyar vltozatok az jkorban ~

Vatai Lszl: Dosztojevszkij ~ A szubjektv letrzs filozfija ~

Vatai Lszl: nletrajzi rsok: ~ Gyantlanul - letem els tz ve / Az 1947-es sorsdnt vrl brtnlmnyeim alapjn ~

Vatai Lszl: Trsadalomblcseleti tanulmnyok ~ 1. A szocilis filozfia alapjai Bhm Kroly tanban; 2. Az egynisg lete; 3. A Fggetlen Kisgazdaprt trsadalomblcselete; 4. Harc az j vilgkprt ~

Veres Ildik: A Kolozsvri Iskola I.

Tonk Mrton: Idealizmus s egzisztenciafilozfia Tavaszy Sndor gondolkodsban

Hga (Hollandia), 2008. mrcius 30.

MIKES INTERNATIONAL

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - V -

PUBLISHERS PREFACE

Today we publish electronically the work entitled LOGIC by Kroly Bhm, which was first published in traditional book format in 2004 by the Kriterion Publishing House in Kolozsvr. The text was edited by Lszl Gl. We express our gratitude toward the editor, Lszl Gl, and the director of the Kriterion Publishing House, Gyula Szab, in granting the right to publish this book electronically, hence releasing it in the public domain.

Other works within our philosophy section include:

AL-GHAZALI, Abu-Hamid Mohammed: DELIVERANCE FROM ERROR (Translated from Arabic into Hungarian by: NMETH, Pl)

BHM, Kroly: MAN AND HIS WORLD ~ Part I. : Dialectics or Basic Philosophy ~ (in Hungarian)

BHM, Kroly: MAN AND HIS WORLD ~ Part II. : Life of the Spirit ~ (in Hungarian)

BHM, Kroly: MAN AND HIS WORLD ~ Part III. : Axiology or Value Theory ~ (in Hungarian)

BHM, Kroly: MAN AND HIS WORLD ~ Part IV. : Theory of the Logical Value ~ (in Hungarian)

BHM, Kroly: MAN AND HIS WORLD ~ Part V. : Theory of the Ethical Value ~ (in Hungarian)

BHM, Kroly: MAN AND HIS WORLD ~ Part VI. : Theory of the Aesthetic Value ~ (in Hungarian)

VERES, Ildik (Ed.): BLA BRANDENSTEIN MEMORIAL (in Hungarian)

KAJLS (KELLER), Imre (Ed.): LIFE AND WORK OF DR. KROLY BHM I-II-III. (in Hungarian)

KIBDI VARGA, Sndor: A MAGYARSGISMERET ALAPFOGALMAI ~ THE HUNGARIANS ~ LES HONGROIS ~ DAS WESEN DES UNGARTUMS ~ LA ESENCIA DEL PUEBLO HNGARO (in Hungarian, English, French, German and Spanish)

KIBDI VARGA, Sndor: POWER OF THE SPIRIT (in Hungarian)

KIBDI VARGA, Sndor: KANTS TRANSCENDENTAL DEDUCTION ~ Introduction into Kants Philosophy ~ (in Hungarian with summary in German)

KIBDI VARGA, Sndor: HEINRICH RICKERTS PHILOSOPHY ~ Foundation of the Modern Value Philosophy ~ (in Hungarian)

KIBDI VARGA, Sndor: SYSTEMATIC PHILOSOPHY (in Hungarian)

KIBDI VARGA, Sndor: REALITY AND VALUE ~ The fundamental issue of epistemology and axiology ~ (in Hungarian)

MARISKA, Zoltn: IN THE NAME OF PHILOSOPHY (in Hungarian)

MARISKA, Zoltn: EXISTENCE AND COGNITION (in Hungarian)

MLNSI BARTK, Gyrgy: HISTORY OF PHILOSOPHY I.: THE HISTORY OF THE GREEK PHILOSOPHY ~ With a Brief Introduction into the Hindi and Chinese Philosophy ~ (in Hungarian)

MLNSI BARTK, Gyrgy: HISTORY OF PHILOSOPHY II.: THE HISTORY OF PHILOSOPHY OF THE MIDDLE AGES AND MODERN TIMES (in Hungarian)

MLNSI BARTK, Gyrgy: THE ESSENCE OF PHILOSOPHY ~ An Introduction into Philosophy - (in Hungarian)

MLNSI BARTK, Gyrgy: CRITICAL HISTORY OF THE IDEA OF THE MORAL VALUE (in Hungarian with German summary)

MLNSI BARTK, Gyrgy: THE PHILOSOPHY OF THE MORAL VALUE (in Hungarian)

MLNSI BARTK, Gyrgy: KROLY BHM (in Hungarian)

MLNSI BARTK, Gyrgy: ACADEMIC TREATISES (in Hungarian with summaries in German and English)

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - VI -

MLNSI BARTK, Gyrgy: MAN AND LIFE ~ Fundamentals of Philosophical Anthropology ~ (in Hungarian)

MLNSI BARTK, Gyrgy: RACE. PEOPLE. NATION (in Hungarian)

MLNSI BARTK, Gyrgy: THE PHILOSOPHY OF KROLY BHM (in German)

MLNSI BARTK, Gyrgy: KANT (in Hungarian)

MLNSI BARTK, Gyrgy: KANTS ETHICS AND THE MORAL PHILOSOPHY OF THE GERMAN IDEALISM (in Hungarian)

SEGESVRY, Viktor: EXISTENCE AND TRANSCENDENCE ~ An Anti-Faustian Essay in Philosophical Anthropology ~ (in English)

VATAI, Lszl: GODS BEAST ~ Adys Lyre ~ (in Hungarian)

VATAI, Lszl: REPAINTED MAP ~ Hungarian Variations in Modern Times ~ (in Hungarian)

VATAI, Lszl: DOSTOEVSKY ~ The Philosophy of Subjective Awareness of Life ~ (in Hungarian)

VATAI, Lszl: AUTOBIOGRAPHICAL WRITINGS (in Hungarian)

VATAI, Lszl: ESSAYS ON SOCIAL PHILOSOPHY (in Hungarian)

VERES, Ildik: THE KOLOZSVR SCHOOL OF PHILOSOPHY I. (in Hungarian)

TONK, Mrton: IDEALISM AND EXISTENTIALISM IN SNDOR TAVASZY'S THINKING (in Hungarian)

The Hague (Holland), March 30, 2008

MIKES INTERNATIONAL

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - VII -

A SOROZAT SZERKESZTJE

BENK SAMU

CSETRI ELEK

HORVTH ANDOR

Szerkeszt: Gczi Rbert

Sorozatbort: Dek Ferenc

A megjelens ve: 2004. Alak: 54 84/24

Kiadi vek szma: 7,747

Nyomdai vek szma: 12

ISBN 973-26-0786-6

Nyomdai elkszts: Kriterion Mhely, Kolozsvr

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - VIII -

Bhm Kroly (1846-1911)

1846 szeptember 17.-n szletett Besztercebnyn. Apja, Bhm Gottlieb nmet kovcsmeste s llatgygysz.

1849 meghalt anyja, Zsufay Anna.

1852-1860 alapfok tanulmnyait a besztercebnyai evanglikus npiskolban, s a az ottani evanglikus gimnziumban vgezte.

1862-1865 a pozsonyi evanglikus lceum kivl elmenetel, sztndjas dikja.

1865-1867 A pozsonyi teolgiai fakultst hallgatta. A dogmatika-tanri lls vromnyosa. Felkszltsgt nmetorszgi egyetemeken szeretn elmlyteni, ahol klnfle dogmatikai (dogmatika, exegzis) s filozfiai trgyak (llektan, eszttika, hegeli filozfia, fiziolgia, filozfiatrtnet) tanulmnyozst tervezte.

1867-1869 Gttingenben tanult. Tanrai: Rudolf Hermann Lotze (llektan), Albert Ritschl (dogmatika), Heinrich Ritter (az jkori filozfia trtnete).

1869 Tbingenben hallgatott szemesztert. Tanrai: Otto Liebmann (a termszetfilozfia trtnete), Hubert von Luschke (antropolgia).

1870 A pozsonyi gimnziumban s a teolgin a blcselet, a blcselettrtnet s a teolgia rendkvli tanra, ugyanis idkzben a pozsonyi teolgiai fakults teolgia-tanri llst betltttk.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - IX -

1872 Sikertelenl plyzott az jonnan alakult Kolozsvri Ferenc Jzsef Tudomnyegyetem Filozfia Tanszkre.

1873 Letette a klasszika-filolgia vizsgt. A budapesti evanglikus fgimnzium rendes tanra.

1872-1876 Brlatokat kzlt az Ellenr cm napilap irodalmi mellkletben s a Magyar Tangy cm folyiratban. Alapos trgyismeret, nll gondolatok hinya, vagy ppen plgium miatt slyosan elmarasztalta szmos korabeli magyar szerz (Greguss gost, Zsilinszki Mihly, Nvy Lszl, Babics Klmn) eszttikai trgy rst. Alapos elemzst kzlt E. von Hartmann A tudattalan filozfija cm mvrl (A nemtudatosnak philosophija, Ellenr, 122-125 sz.)

1876-1878 A leipzigi Philosophische Monatshefte felkrsre rvid ideig a lap munkatrsa. A lapban kzlt fontosabb rsai Beitrge zur Theorie des Bewusstseins un der Erinnerung (Adalkok a tudat elmlethez, 1876), Zur Theorie des Gedchtnisses un der Erinnerung (Az emlkeztehetsg s az emlkezs tanhoz, 1877). Ksbb nem vllalta, hogy fmvt ennek a lapnak a felkrsre nmetl rja meg. 1878 utn csak magyarul rt. Ugyanebben az idszakban kapcsolatban llt a Harrach Jzsef kezdemnyezsre Alexander Bernt, Bnczy Jzsef, Krmn Mr s msok rszvtelvel megalakult Filozfiai Trskrrel, ahol kt alkalommal is eladst tartott Az emlkezet fiziolgija cmmel.

1882-1891 kztt rszt vett a kzpiskolai oktatsi reform koncepcijnak kidolgozsban. A korabeli relgimnziumi modell ellenben a grg nyelv, a llektan, a logika s a filozfia oktatsnak jelentsgt hangslyozta. Ennek jegyben rta meg a kzpiskola szmra a Tapasztalati llektan (1888), illetve Logika (1889) tanknyvt. Szintn ebben az idszakban rta meg ms fontosabb mveit is A lnyeg formaisga (1881), Az sztn kielgedse (1881).

1882 Bart Ferenccel megindtotta s hrom vig szerkesztette a Magyar Philosophiai Szemlt. Itt kzlt lnyegesebb tanulmnyai: A realizmus alapellentmondsa (1882), Kriticizmus s pozitivizmus (1883), A positiv philosophia rendszere (1884).

1883 Megjelent f mve, az els magyar nyelven rt filozfiai rendszer els ktete. Ennek ltalnos cme Az ember s vilga. Philosophiai kutatsok. Az els ktet cme Dialektika vagy alapphilosophia.

1892ben ltott napvilgot a m msodik ktete: A szellem lete.

1896 mrciusban meghvtk a Kolozsvri Ferenc Jzsef Tudomnyegyetem Filozfia Karnak professzorv s tiszteletbeli doktori cmmel tntettk ki. A kzpiskolai tanrkpz intzetnek is tanra. Ugyanezen v mjusban a Magyar Tudomnyos Akadmia levelez tagjv vlasztottk (1908-tl rendes tag).

1900 mrcius 12.-n levelez tagknt megtartotta akadmiai szkfoglal rtekezst. Cme: Az rtklemlet feladata s alapproblmja. E mvvel 1905-ben elnyerte az akadmiai nagydj utn kvetkez Marczibnyi-djat.

1901-1902 a Ferenc Jzsef Tudomnyegyetem blcssz karnak dknja.

1902-1903 ugyanazon kar prodknja.

1904-1905 egyetemi v els flvben tartotta azon Logika eladst, amelynek jegyzett e ktet tartalmazza.

1906-ban megjelent fmve harmadik ktete Axiolgia vagy rtktan.

1909 Az akadmia rendes tagjaknt A megrts, mint a megismers kzponti mozzanata cmmel megtartotta szkfoglaljt.

1911 mjus 18.-n halt meg Kolozsvron. Besztercebnyn temettk el.

1912 Megjelent fmve negyedik ktete: A logikai rtk tana. Ezt rszben sajt maga, rszben tantvnya, Bartk Gyrgy ksztette el kiadsra. Az tdik ktet 1928-ban jelent meg Az erklcsi rtk tana cmmel. A ktet cme Bartk Gyrgytl szrmazik. A hatodik ktet Az eszttikai rtk tana 1942-ben jelent meg. E ktetet is Bartk Gyrgy ksztette el kiadsra s ltta el cmmel is.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - X -

Tartalom

A Kiad elszava ........................................................................................................................ III

Publishers preface ......................................................................................................................V

Gl Lszl: Bhm Kroly intenzionlis logikja...............................................................1

Egy trtneti-szisztematikus rekonstrukci kiindul szempontjai.................................................. 1

Az intenzi-extenzi megklnbztets ....................................................................................... 2

Bhm Kroly felfogsa a logikrl................................................................................................ 2

Az tletek.................................................................................................................................... 3

A kvetkeztets, mint oksgi folyamat ......................................................................................... 4

A feltteles s sztvlaszt szillogizmusok.................................................................................. 5

Bhm s Apczai logikai terminolgija....................................................................................... 6

Bhm Kroly: Logika...........................................................................................................7

Bevezets.................................................................................................................................... 8

A logikai irnyok ........................................................................................................................ 10

Elemtan ..................................................................................................................................... 18

A kategrik trtnelme............................................................................................................. 24

Az tletek.................................................................................................................................. 33

Az tletek quantifikcija s az tletek viszonyai ..................................................................... 38

Az tletek viszonyai .................................................................................................................. 40

A kvetkeztetsek...................................................................................................................... 43

A meghatrozs ........................................................................................................................ 65

A feloszts (divisio). ................................................................................................................... 69

A kiadsrl................................................................................................................................. 74

___________

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 1 -

BHM KROLY INTENZIONLIS LOGIKJA

Egy trtneti-szisztematikus rekonstrukci kiindul szempontjai

A logika Kolozsvron ezeltt csaknem szz ve Bhm Kroly eladsain keresztl volt jelen. Az 1911-ben bekvetkezett hallval egyidben a logika is eltnt az egyetemi let eszmei sznterrl j nhny vti-zedre. A rnk tszrmazott kt logikajegyzet betekintst ad arra, hogy miknt is kpzelte el Bhm Kroly a logika korpuszt, mvelsnek mdjt, valamint trtneti gykereit. Viszont szz v utn elvenni az akkori eladsok jegyzeteit tbb krdst felvet ennek kezelsi mdjval kapcsolatosan.

Minek tekintsk teht az akkori eladsok jegyzetanyagt? Tekinthetjk egy egyszer trtneti kurizumnak, amivel nem rdemes klnsebben foglalkozni, hiszen az utbbi egy vszzad logikja gykeresen talakult. Ezen talakuls pedig elssorban extenzionlis ton haladt elre, szemben a Bhm ltal fenntartott intenzionlis szemponttal.

Mivel az eladsok anyaga nagyon gyakori logikatrtneti hivatkozsokat tartalmaz, tekintsk az els lehet-sges magyarnyelv logikatrtnetnek? Ez a tny azt mondja neknk, hogy Bhm a logikt folyamatban ltta. Ms szval szmra Arisztotelsz, Empedoklsz, Kant vagy Prantl egyformn jelenlevk, a jelenben adottak voltak. Azaz a logika krdseire megszletett megoldsok a trtnelem klnbz koraiban lt sze-mlyisgek egyttes erfesztsnek eredmnye s ezen eredmnyek idtlenl llnak fenn. Teht a logika egy olyan kumulatv tudomny, amelyben problmamentesen illeszkednek egymsba a klnbz korokban szletett eredmnyek. Ezt az llspontot tbb-kevsb meghazudtolja a logika utlagos fejldstrtnete.

Tekintsk a mlt szzad eleji logika keresztmetszetnek? Ebben az esetben megtallhatk kellene legyenek benne azok az elemek, amelyek ekkorra megszlettek mr, viszont Bhm nem tudott rluk. Utalok itt Gottlob Frege 1879-tl kezdd munkssgara, illetve Bertrand Russell s Alfred North Whitehead Principia Mathema-ticjra. k dolgoztk ki ebben a korszakban a klasszikus kijelentskalkulust s a prediktumok logikjt. Bhm, pontosan intenzionlis llspontja miatt, irtzott a logika egyenletekbe foglalstl, de valjban ez trtnt meg s hatrozta egyben meg a logika XXI. szzadi fejldst. Kvetkezskppen egy ilyen teljes keresztmetszetnek sem tekinthetjk.

Ha figyelmesen vgigkvetjk Bhm eladsainak jegyzetanyagt, akkor tallhatunk benne neknk szl mondanivalt is. Vlemnyem szerint ez akkor derl ki legvilgosabban, ha eltekintnk a nagyon gyakori tr-tneti hivatkozsoktl. Ms szval itt arrl van sz, hogy milyen kontextusban helyezkednk el elemzsnk folyamn. Kt kontextus kztt vlaszthatunk. Az egyik a felfedezs kontextusa, amikor is az rdekel ben-nnket, hogy adott logikai krdst ki s mikor vetette fel s hogyan oldotta meg. Ez a szempont a trtnel-met helyezi eltrbe s az ismeretek genzisvel foglalkozik. A msik kontextus a megalapozs kontextusa. Eszerint elssorban az rdekel bennnket, hogy adott ismeretet milyen alapon tekinthetnk igaznak. A meg-alapozs felttelezi az alap igaz voltt, illetve a helyes megalapozsi eljrst. A trtnelemhez val folyamo-ds ebben az esetben csak esetleges. Azt is mondhatnnk, hogy ezen kontextusban val elhelyezkeds problmacentrikus s nem trtnetcentrikus. Kvetkezmnye az, hogy lehetv teszi a trgy szisztematikus kezelsmdjt s megszabadt a trtnelem hatalmas terhtl.

Tanulmnyom elemzsei a megalapozs kontextusban fognak elhelyezkedni, ami lehetv teszi a szisztematikus rekonstrukcit. Emiatt a trtnelemhez val folyamods csak esetleges lesz. Elvrsaim sze-rint gy fog kiderlni az, hogy valjban mit is mond neknk majdnem szz v utn Bhm Kroly logikja.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 2 -

Az intenzi-extenzi megklnbztets

Bhm nem ismerte az extenzi s az intenzi fogalmt. Ez amiatt volt gy, hogy e kt fogalom ksbbi kelet. Halla utn nhny vtizeddel vezette be a logikba Rudolf Carnap a nmet, ksbb amerikai logi-kus s filozfus.

Carnap azzal a szndkkal vezette be e kt fogalmat, hogy megklnbztesse a fogalmak rtelmt a terjedel-mktl, tartalmukat attl, ami a referencijukba beletartoszavnak rtelme klnbzik maguktl a lovaktl. rtzik. gy pldul a l elem szerint a l sz egy emlsllatot, patst, nvnyevt stb. jelent. Ezen rtelem az emberek el-mjben helyezkedik el. Ettl alapveten klnbznek a lovak maguk. Emiatt a fogalmak rtelmt Carnap intenzinak nevezte el, azokat az llatokat pedig, amelyek kielgtik az intenziban meglv feltteleket, a foga-lom extenzijhoz tartozknak tekintette. A carnapi fogalomhasznlat idtllnak bizonyult, olyannyira, hogy je-lenleg intenzionlis logikkat is kidolgoznak.

Az intenzionlis logikk lnyege abban ll, hogy megprbljk bizonyos mdon modelllni a fogalmak r-telmnek krdst, valamint a fogalmak kztti rtelmi viszonyok problmjt. Pldul azt, hogy miknt jhet ltre az a kijelents, hogy:

A l get.

Itt a l s az get fogalmainak rtelmi viszonyrl van sz, ami egyltaln nem tekinthet furcsnak. Vi-szont, ha azt jelentjk ki, hogy:

Nagy a vilg, de van kzepe,

az n rzsm fekete szeme,

akkor a nagyvilg kzepe s a rzsm fekete szeme fogalmainak rtelmi viszonya legalbb szokatlannak tnik. A fogalmak kztti intenzionlis viszonyok trgyalsa sokkal bonyolultabb logikai feladat mint extenzionlis viszonyaik trgyalsa. Mert ht szinte mindenki szmra vilgos az, hogy extenzionlis szempontbl, az getk kztt ott vannak pldul a zebrkon kvl a lovak is, ellenben intenzionlis szem-pontbl nem annyira vilgos az, hogy mi kze a rzsm fekete szemnek a nagyvilg kzephez.

Bhm Kroly felfogsa a logikrl

Ha vgigolvassuk Bhm Kroly szvegt, akkor meglepdve tapasztaljuk, hogy a logikrl szl felfog-st nem foglalta ssze egyetlen szintetikus meghatrozsba. Emiatt logikafelfogst csak fokozatosan lehet kibontani az ide vonatkoz rszekbl.

Ami minden tovbbi flrerts nlkl ll, az hogy Bhm szerint a logika minden tovbbi nlkl a gondolko-ds tartozka s megklnbztet jegye a helyessg. Azltal, hogy Bhm a logikt a gondolkodssal kap-csolta ssze, egyben kihangslyozta ennek pszicholgiai ktdst. Az korban e felfogsmd egyltaln nem volt szokatlan. Csakhogy a logika pszicholgiai ktdse szmos olyan elemet von be a logikba, ame-lynek szubjektv konnotcija van. Innen, a kpek elemzsbl, valamint a kpek kapcsolsbl addott az-tn a logika szerkezetnek felptse, azaz az elemtan, illetve a mdszertan. Egyszval az a md, ahogyan Bhm a logika eladst felfogta s felptette.

A jelenkori logika lemond pszicholgiai ktdsrl s kzponti fogalmnak nem a gondolkodst tekinti, hanem a kvetkeztetst. Ezt pedig egy szubjektivitsmentes, szemlytelen tettnek tekinti, amelynek alapvet jellemzje a helyessg kell legyen. A jelenkori felfogsmd ezltal hajtja minimalizlni a pszicholgia kzre-jtszst a logikban. n viszont gy gondolom, hogy egy teljesen szemlytelen kvetkeztetsfogalom p-pen annyira lehetetlen, mint amennyire lehetetlen csak a szubjektv gondolkodsfogalom, anlkl, hogy fi-gyelembe venn a logikai helyessgfogalmat. Kvetkezskppen elkpzelhetetlennek tartom a teljesen pszi-cholgiamentes logikt s a teljesen logikamentes pszicholgit.

Bhm eladsban a logika msodik alapvet kapcsolata a filozfival, nevezetesen az ismeretelmlettel ll fenn. Ennek egyik kvetkezmnye pldul az, hogy az tlet logikai krdst fel sem lehet tenni a megt-ls filozfiai, ismertelmleti fogalma nlkl. Maga Bhm a logika hrom irnyzatt klnbztette meg: a for-mlis logikt, az ismeretelmleti logikt s a metafizikai logikt. rvei alapjn Bhm az ismeretelmleti logika mellett dnttt. Ennek pedig az volt a kvetkezmnye, hogy eladsban nagyon gyakoriak a filozfiai hivat-kozsok, olyannyira, hogy mve rvid filozfia-, illetve logikatrtnetnek is tekinthet.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 3 -

A jelenkori logika nem hasznlja tbb a bhmi felosztst, hanem megklnbzteti a filozfiai logikt, az informlis logikt, valamint a matematikai logikt. De pldul a filozfiai logika egszen ms rtelemben filo-zfiai, mint Bhmnl, mr csak azrt is mert az ltala eltlt egyenletek, amelyeket az angol analitika hasznlt, mind megtallhatk benne.

Mint minden tudomnyban, gy a logikban is kitntetett a trvnyek sttusa. Bhm szerint a logika trvnyei csakis az ntudatos gondolkods s megismers trvnyei (51. o.) Ezen megllaptsa a logika trvnyeit bizo-nyos rtelemben a szubjektv szfrba rendeli, ahol, mint a rendez sznek vagy elmnek trvnyei (52. o.), a klvilg megismerst segtik el. Ennek ellenre Bhm a logikt formai tudomnynak tartja, mert szerinte min-den tartalomnak egyformn formi (49. o.), azaz mindenki szmra egyformn adottnak. Ebben a fogalomhasz-nlatban vilgosan rzkelhetv vlik az ellentmonds a szubjektv s az egyetemes kztt, s feloldsra nem is lehet itt megoldst tallni.

A jelenkori logika gy prblja feloldani ezt az ellentmondst, hogy a matematikban hasznlt lland s vltoz fogalmt veszi t. Eszerint a logikai formk llandak, a tartalmak pedig vltozak. Csakhogy ezttal megoldatlan marad a logikai llandk szubjektv mkdsi mdja, azaz pontosan azon krdsek egy rsze, amelyeket az elbb vetettk Bhm szemre.

Az tletek

Az tletek a fogalmak sszekapcsolsbl jnnek ltre. Megnevezskre Bhm az korban szoksos szt hasznlta. A jelenkori logika lemondott errl a szrl, abbl a meggondolsbl, hogy jogi hangzsa van. Vgeredmnyben akkor amikor lltunk valamit, az tletben jelen lev fogalmak nem tlik egymst sem-mire sem. Emiatt az egykori tlet jelenlegi megfeleli a kijelents vagy a mondat szavai, s e megnevez-sek tkrzik a logika s a grammatika mostani szorosabb kapcsolatt.

Bhm az tletek ltrejttnek megalapozsra komoly filozfiai, nevezetesen ismeretelmleti htteret hozott ltre. A megismers folyamatnak bhmi rekonstrukcija egy tisztn induktv alapokon nyugv re-konstrukci. A megismers ebben a bemutatsban gy nz ki, mintha minden egyes ember egyedl llna a vilggal szemben s nllan ismern meg ezt. Emiatt minden ember egynileg kell ellrl kezdje s v-gigvigye az egsz emberisg megismersi folyamatt. E helyzetet legjobban az n s a vilg megfogalma-zssal lehet lerni. Innen aztn egy alapvet problma merl fel: ltezik-e s miknt alakul ki a kommunikl-hat ismeret? A bhmi ismeretelmletben semmilyen szerepe nincs az utnzsnak, az oktatsnak, a kls mintknak, ltalban vve semminek, amit a csoportos, a trsadalmi lt magval hoz. Abban a korban mg nem volt kialakulva a tmegtrsadalom, a megismerst csak tbb-kevsb elszigetelt egynek terminusai-ban fogtk fel. Ezt az alapllst kpviselte Bhm is, s vitte t a filozfiba s egyben a logikba is.

Amint azt mr emltettem, Bhm megklnbztette az tls s az tlet fogalmait. Szerinte az tls csak akkor ll el, ha egsz fogalmakat egymssal sszehasonltunk s ezen sszehasonltsok eredm-nyt kifejezzk. Az sszehasonltsnak ezen eredmnye az tlet. (115. o.) E megklnbztets figyelembe veszi azt is, ami az elmben lejtszdik akkor, amikor mondjuk gy az llts megszletik. Innen a pszi-cholgiai ktds. Ennek ellenre logikai szempontbl nem llthat semmilyen korlt arra vonatkozlag, hogy a kijelentsben mi is llthat, azaz, brmi llthat.1

Bhm tletfelfogsa, miszerint bennk fogalmakat kapcsolunk, azzal a kvetkezmnnyel jr, hogy logik-jbl szinte kiiktatja a tagad tleteket s kitntetett szerepet tulajdont az egyetemes tleteknek. Az tle-tek osztlyozsban Kant nyomn haladt, annak ellenre, hogy szrevette ennek hinyossgait, azt, hogy Kant sszekavarta az egyszer s az sszetett tleteket, valamint azt is, hogy az tletek tulajdonsgait k-ln tletpusokknt trgyalta. Kanti hatst mutat az analitikus s a szintetikus tletek megklnbztetse is, aminek fontos szerepe lesz a kvetkeztets krdsnek trgyalsban. Az tletek quantifikcija cm rsz-ben ismerteti az A, E, I, O tpus tletekre vonatkoz logikai elmletet, ellenben ezt nem hasznlta fel a k-vetkeztetsre vonatkoz rszben.

Meg kell jegyeznem azt is, hogy az tletek viszonyainak krbe besorolta a kzvetlen kvetkeztets kr-dskrt, ami, amint az elnevezse is mutatja, nem a Boetius-fle ngyzet szerint trgyalhat tletkzi vi-szony, hanem egypremisszs kvetkeztets. A kzvetlen kvetkeztets eljrsai, a megfordts (vagy kon-

1 Lsd Gl Lszl: Arrl, ami logikailag llthat..., in: Gl Lszl (szerk.): Arrl, ami llthat..., Presa Universitar Clujean, 2004, 1117.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 4 -

verzi), az talakts (vagy obverzi) s a kontrapozci nincsenek vilgosan megklnbztetve. Bhm, in-tenzionlis meggondolsokbl nem fogadta el az elosztottsg fogalmt, s e nlkl az angol analitika ltal kidolgozott fogalom nlkl nem lehet megoldani a kzvetlen kvetkeztets helyessgre (rvnyessgre) vonatkoz feladatokat. St, sszetvesztette a megfordtst s az talaktst, mert megfordts tjn az S P alak tletek P S alakv vlnak, mg talakts tjn az S P alak kijelentsek S ~P alakv. Konk-rtan, megfordts tjn a

Van olyan gpkocsi, amelyik elindul.

tletbl, a

Van olyan elindul, ami gpkocsi.

kvetkezik, mg talakts tjn az kvetkezik, hogy

Van olyan gpkocsi, amelyik nem indul el.

Teht, az tletek minsge talakts tjn vltozik meg s nem megfordts tjn.2 Emiatt van az elbbi tletben kt negci, egyik azrt mert a rszlegesen llt tlet rszlegesen tagadv alakul, illetve azrt mert tagadjuk az tlet prediktumt. gy az igaz premisszbl igaz kvetkezmny szrmazott, azaz a pre-missza igazsgt tvittk a kvetkezmny igazsgba.

A kvetkeztets, mint oksgi folyamat

Bhm Kroly logikjnak a deduktv kvetkeztetsre vonatkoz rsze tartalmazza a szillogizmus terminu-sokkal s kijelentsekkel vgzett klasszikus elmleteit. A kijelentsekkel vgzett kvetkeztetsre vonatkoz rszt szoksos mg feltteles s sztvlaszt szillogizmusoknak is nevezni. Bhm is gy nevezte meg. Emi-att az ide vonatkoz rsz kt alkotelembl pl fel: a szillogizmus elmletbl, valamint a feltteles s szt-vlaszt szillogizmusok elmletbl.

A terminusokkal vgzett kvetkeztets szillogisztikus elmlete Bhm szerint abbl indul ki, hogy ...a szillogizmus [...] a fogalmak tartalma kztt val szksgkppeni tmenet s az els s utols fogalom sszefoglalsa... (153. o.) Ha rtelmezni akarjuk ezt a meghatrozst, akkor elssorban a benne szerepl tartalom fogalmra kell kon-centrlnunk. A hagyomnyos logika fogalomelmlete szerint a fogalmak alapvet szerkezeti elemei a tartalom s a terjedelem. A jelenkori logika a tartalom megnevezse helyett az intenzi, a terjedelem megnevezse helyett pedig az extenzi szavait hasznlja. Mint ltjuk a szillogizmus bhmi defincija nem utal ennek extenzionlis oldalra. En-nek ellenre az egyetemi jegyzet anyaga rszletesen trgyalja a szillogizmusok extenzionlis vonatkozsait. Megta-llhatk itt a szillogisztikus alakzat s mdozat fogalmai, a szillogizmus f (ltalnos) trvnyei, az innen add rv-nyessgfogalom stb. Nem tallhat meg viszont az rvnyes szillogisztikus mdozatok redukcijnak elmlete. Ez tkrzi azt a tnyt, hogy Bhm Kroly becsletesen jrt el a szillogizmus elmletvel. Ez azrt van gy, mert lnyeg-ben t az intenzionlis kapcsolatok, a kvetkeztets intenzionlis szempont vizsglata rdekelte. s az ide tartoz rsz msodik felben pontosan egy intenzionlis szillogizmuselmletet hajtott kidolgozni.

A kvetkezkben nzzk meg, hogy miben is ll ez az intenzionlis szillogizmuselmlet. Erre vonatkoz-lag a szillogizmus elbbi meghatrozsbl lsd a szksgkppeni tmenet fogalmt. E fogalommal Bhm azt akarta kifejezni, hogy a szillogisztikus kvetkeztets premisszi s kvetkezmnye kztt szksgszer kapcsolat van, azaz ha a premisszk igazak, akkor lehetetlen az, hogy a kvetkezmny hamis legyen. Ez a szillogisztikus kvetkeztets rvnyessgnek felttele. Ebben kt tnyez jtszik kzre, egyrszt a pre-misszk igaz igazsgrtke (ez a materilis felttel), msrszt a kvetkeztets helyes volta (ez a formlis fel-ttel). A kt felttel egyttes betartsa teszi a kvetkeztetst rvnyess.

A szksgszersg fogalma logikailag egy elg nehezen kezelhet fogalom. Ez abbl is kiderlhet, hogy ms logika, az alethikus modlis logika keretei kztt lehet kapcsolatait tisztzni. Alethikus modlis logikt mg annak idejn Arisztotelsz is kidolgozott. St megprblt alethikus szillogisztikt is kidolgozni, ellenben ez nem sikerlt neki, elssorban azrt, mert a szillogizmus elmlete borzasztan bonyolultt vlt.

Bhm Kroly logika eladsban a premisszk s a kvetkezmny szksgszer kapcsolatnak trgya-lsa azt mutatja, hogy nem ll meg sajt lbn. Emiatt gy rezte, hogy ms fogalomhoz kell folyamodnia,

2 Rszletesebb trgyalsrt lsd Gl Lszl: Bevezets a logikba, Editura Presa Universitar Clujean, Kolozsvr, 1999, 2834

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 5 -

ahhoz, hogy a szksgszersg fogalmt fenntartsa. gy tallt aztn r az oksg fogalmra. Ennek nla kt elzmnye volt. Egyrszt a filozfiai alapozs elv, spedig a hasonlt a hasonlval (72. o.) val megisme-rs empedoklszi elve. Ez az ttelezi, hogy az emberi megismer sz alapveten hasonlt a vilghoz, mivel hogy ellenkez esetben kptelen lenne a vilgot megismerni. Msrszt Bhm ezt az elvet alkalmazta a szil-logizmus esetre. Ha a vilgban az egyik legfontosabb sszefggs az oksgi sszefggs, akkor ennek va-lahogyan ott kell lennie az emberi szben is. Bhm pedig a szillogizmus premisszi s kvetkezmnye k-ztti szksgszer kapcsolatban, a hasonlt a hasonlval elve alapjn az oksgi3 kapcsolathoz hasonl szksgszersget ltta. Teht mind a szillogizmus szksgszersge, mind az ok s az okozat kztti kap-csolat szksgszersge, egyformn szksgszersg. gy megvalsult az eredeti filozfiai, vagy ismeretel-mleti alaplls.

Ebbl aztn az kvetkezett, hogy Bhm az oksgi sszefggst a szillogisztikus kvetkeztets jabb t-pusainak kidolgozsra hasznlta fel. Ehhez viszont mg hozzvette az tletek kanti felosztst analitiku-sakra s szintetikusakra. Ezek teht Bhm intenzionlis szillogisztikjnak forrsai, amit esetleg elnevezhet-nnk oksgi szillogisztiknak is.

Hogy aztn ez mennyire oldja meg a szillogisztikus kvetkeztetsben szerepl fogalmak kapcsolatnak krdst, hogy mennyire hasonl vagy sem a kvetkeztets oksgi kapcsolata a valsgban (ontolgiailag) meglv oksgi kapcsolattal, az mg nylt krds marad. Nem tudom, mit szlt volna Bhm Kroly az albbi kvetkeztetshez:

Mindenki, aki szereti a mzet kedves.

Minden htfej srkny szereti a mzet.

Teht minden htfej srkny kedves.

Ha ez az ltala is tkletesnek tartott Barbara- kvetkeztets vagy csak hamis tleteket tartalmaz, akkor minden esetben rvnytelen, vagy ha mind igazak a gyermeki mesevilgban, akkor rvnyes. Mert ha brmi llthat, akkor pldul az is llthat, hogy Minden htfej srkny szereti a mzet.

A feltteles s sztvlaszt szillogizmusok

Szemben a szillogisztikus kvetkeztetssel, a feltteles s sztvlaszt kvetkeztetsek kijelentsekkel s nem fogalmakkal vgzett kvetkeztetsek. Bhm ellenezte a bennk jelen lev lebegst s a tagad t-letekkel egytt elutastotta ket4. Ezrt az ltala fggben lvknek nevezett feltteles, illetve diszjunktv tletsszetteleket nem tudta kezelni. Habr kvetkeztetseknek tekintette ket, mgis szinte kizrta a logikbl. Pldul a modus ponenst a kategorikus szillogizmusra reduklta s, ezltal szntette meg a benne megnyilvnul lebegst. A benne jelentkez felttelt pedig pusztn nyelvtani tartozknak tartotta. Ez mindannak ellenre, hogy a modus ponens vlt a jvben az alternatvkkal, a lehetsgessel, a megalapozssal operl, a jv fele orien-tlt gondolkods legfontosabb eszkzv. Ezen az alapon indult be mr a XIX. szzadban a logika pluralista fej-ldsnek folyamata. Bhm nem volt ennek szemtanja, annak ellenre, hogy Gottlob Fregvel kortrs volt. Ezt nem vethetjk szemre, hiszen Fregt mg sajt egyeteme sem ismerte el, munkssgt lnyegtelen-nek tekintette. Szmra csak a skolasztikus szillogisztikn bellt els trs, az induktv logika volt adva. Erre viszont a megadott flves keretben mr nem kerlhetett sor. Ehhez az akkori oktatsban a logiknak na-gyobb tere kellett volna legyen.

3 A mentlis folyamatok mint oksgi folyamatok gondolata mr Descartes-nl megvolt. Innen kerlt t mdostott s t-dolgozott formban az angolszsz analitikus filozfiba. k mental causation-nak nevezik s az elmefilozfia egyik kzponti problematikja. Itt nem ll mdunkban rszletesen trgyalni mindazt, ami ide tartozik. Ennek ellenre a bhmi mentlis oksgi kapcsolat gondolata egyben kifejezi azt az egyik alapvet elemet, ami miatt t idtllnak tekinthetjk. Aki behatbb s hozzrt betekintst akar nyerni ebbe a krdskrbe, haszonnal veheti kzbe a kvetkez knyvet: David J Chalmers: Philosophy of Mind (Classical and Contemporary Readings), Oxford University Press, New York, Ox-ford, 2002. 4 Errl bvebben lsd Gl Lszl: A logika helye Bhm Kroly filozfijban, in: Bhm Kroly s a kolozsvri iskola, Pro Philosophia Kiad, Kolozsvr, 2000, 4147

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 6 -

Bhm s Apczai logikai terminolgija

Bhm logikai eladsai folyamn tbbszr hivatkozott Apczai logikai terminolgijra. Ez azrt volt gy, mert valjban Apczai teremtette meg a magyar nyelv logikt. Rnk maradt rsai kzl a Magyar logikcska s a Magyar Encyclopaedia logikai rsze Apczai logikai jelleg nyelvjt tevkenysgt tkrzik.

Bhm nagyra rtkelte Apczait s emiatt t alkalommal hivatkozott az magyar logikai terminolgiai megoldsaira. Lssuk a tovbbiakban, hogy melyek ezek.

Az tlet magyar terminusnak megvlasztsa eltt Bhm hivatkozott Apczai kimonds (115. o.) szavra. Vgl Bhm a sajt korban divatos tlet szava mellett dnttt. Ennek ellenre, mint azt mr emltettem, a je-lenkori logika nem hasznlja tbb ezt. Jelenleg a kijelents, vagy a mondat szavak azok, amelyek segtsg-vel a bhmi fogalmat megnevezik. Mindkett a kijelent mondat kifejezsbl ered. Ezekhez Apczai szava k-zelebb ll, mint a bhmi tlet.

A logika Bhm idejn s ma is a kvetkeztets szavt hasznlja, a pldul Port-Royal-i logika raisonnament megnevezsre. Bhm azt lltja az Apczai-fle okoskods-rl, hogy mg ez a legjobb a csinlt terminusok kztt (154. o.) Ezt azrt tette, mert az okoskods, azaz kvetkeztets mindkettjket elssorban pszicholgiai szempontbl, szbeli folyamatknt rdekelte.

Gondolom, hogy Bhm szavai: a kiinduls, halads, megllapods a kvetkeztets folyamatnak lers-ra egyik ihlet forrsa az Apczai ltal hasznlt brekeszts szava. Ebben benne van az, hogy valamit ki kell nyitni, be kell lpni s utna be kell zrni.

A szillogizmus kzps terminusnak megnevezsre Bhm a kzponti fogalom (terminus medium, lat.) szavt hasznlja. Ennek ellenre a kvetkezket mondta Apczairl: Ezt a kzponti fogalmat igen j szval fejezte ki Apczai Csere, amikor azt mondta, hogy prbl sz, mert az annyit jelent, hogy bizonyt sz. Azt mondja ki, hogy S a P-vel kapcsoltatik az M miatt, vagyis vilgosan kifejezi azt, hogy a szillogizmus okosko-ds vagy megokols. Teht gy kapjuk ezt a formt: S = P, mert M. (157. o.) Valjban a kzps terminus szerepe abban ll, hogy a szillogizmus premissziban kapcsolatot teremtsen a szubjektum (S) s a predik-tum (P) kztt. Vgeredmnyben a premisszkban szerepl kt szls terminus kvetkezmnybeli kapcsola-tnak alapja a kzps terminus (M).

Vgl az oksgi kapcsolatra vonatkozan Bhm kijelenti, hogy Apczai Csere is azt mondja, hogy az ok, amelybl vagyon valami dolog. (180. o.) Tovbb rszletesebben kifejti Apczai, lnyegben Petrus Ramustl szrmaz oksgi elmlett. Ennek viszont nincs klnsebb logikai jelentsge, hanem csak ha-sonmsa a bhmi felfogsnak.

Gl Lszl

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 7 -

BHM KROLY

LOGIKA

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 8 -

Bevezets

A bevezet rszben a kvetkez teendket kell szemnk eltt tartani. Elszr meg kell llaptani a logika k-lnbz irnyait, s llst kell foglalni egyik vagy msik mellett, tovbb fel kell sorolni azon okokat, amelyek ezen llsfoglalsra indtottak. Ez nknyt rvezet minket a msodik teendre: hogy a logikt a filozfiai tudomnyok keretben helyezzk el, s gy magnak a filozfinak legalbb ltalnos kpt s fogalmt is adjuk. A harmadik teend a logika jellemnek, rszeinek s irodalmnak eladsa.

Trjnk teht t azonnal az els krdsre: a logika feladatra, meghatrozsra s a logikai irnyokra. Minden tudomny trgyalsnak elejn kvnatos, st szksges, hogy az olvast vagy a hallgatt a tudomny feladata s trgya fell tjkoztassuk. Ez neknk is feladatunk. Mi azonban fel lehetnk mentve ezen teend all, azon k-rlmny ltal, hogy akik ezen eladsokra beiratkoztak, azok mr a megelz tanulmnyi fokon a logika elemeivel megismerkedtek. Azrt most a logika hasznt, fontossgt s a tbbi tudomnyok krben val elkelsgt fejte-getni nem fogjuk, mert mindezeket a kzpiskolai tanulmnyok folyamn lttuk.

Azrt neknk most tjkoztatsul elg annyi, hogy a logika a helyes gondolkods trvnyeinek rendsze-res foglalata. Ezzel teljesen boldogulni fogunk a tovbbi krdsekre nzve. Ha azonban a logiknak szigor tudomnyos meghatrozst kveteljk, akkor mlyebbre kell snunk, mint ameddig ezen meghatrozst tettk; mert neknk a filozfiai tudomnyra nzve nem elegend ezeket a trvnyeket pusztn ismerni s tudni. Neknk meg kell mutatni azt is, hogy ezen trvnyek mirt igazak. s ha erre a krdsre felelni aka-runk, minthogy kell is felelnnk, akkor a logikt egy nagy gondolati tmeg sszefggsbe kell lltanunk, a megismers alapjaival, vagyis magval a filozfival kell sszefggsbe hoznunk.

Ezt megtette minden nagy logikus, mert a logika kezdettl fogva filozfiai tudomny volt; soha ms a logi-ka tanait nem fejtegette, csak a filozfus. S a logika azon hls lenyok kz tartozik, akik anyjukat el nem hagytk, akikben nem tmadt szecesszi, mint az eszttikban s a pszicholgiban, amely tudomnyok gy igyekeztek fellpni, mintha a filozfihoz semmi kzk nem volna; de ezen elszakads csak a maguk el-laposodsa lett. A logika mindig a filozfia krben maradt.1

Teht ha a logika tanait ismerni akarjuk, tisztban kell lennnk magnak a filozfinak feladatval s egsz rendszervel. ppen azrt a logikt mindig a filozfiai rendszer valamelyik tagjul fogtk fel azok, akik vele foglal-koztak, ezrt talljuk a legklnflbb formkat a logika tartalmban s felosztsban. Mert habr a logika trv-nyei s ttelei magukban foglaljk evidencijukat, vagyis olyan biztosak s bebizonythatk, mint a matematika akrmelyik ttele, ellenre ennek azon viszony szerint, amelynl fogva a logikt az egsz filozfihoz llthatjuk, klnbz rszleteket fogunk a logika tern tallni.

Ha mr most ezen rszleteket felsoroljuk, akkor knnyen arra juthat valaki, hogy maguk a logikusok sem tudjk, hogy miben ll a logika.2

Ha Arisztotelsznl3 nzzk, azt talljuk, hogy a logika a gondolkozs elemzse, analitikja. A sztoiku-soknl4 mr az igazsg kritriumrl, azutn a fogalmak keletkezsrl tallunk rszleteket, azaz mr isme-

1 Ebben a bekezdsben a tudomnyok diszciplinarizldsi folymatra trtnik utals. E folyamat az jkorban tetztt s a fizika (newtoni mechanika), kmia (Lavoisier oxignre alapozott gselmlete), biolgia (rendszertan, paleontolgia) diszciplninak megjelensvel. Maga a folyamat a filozfival szemben trtnt, vagy mskpp fogalmazva, az j disz-ciplnk a filozfibl vltak ki. A XIX. szzadban a diszciplinarizldsi folyamat folytatdott. Pldul ennek kvetkezt-ben jelent meg a szociolgia s a pszicholgia. A jelenkori tudomnyos pszicholgia megjelenst 1879-tl szmtjk, amikoris W. Wundt Lipcsben megalaptotta az els ksrleti pszicholgiai laboratriumot. Ezzel lehetv vlt a pszichikai folyamatok mrse. A diszciplinarizlds nem kerlte el a logikt sem, csakhogy ezt a jelensget Bhm Kr-oly 1904-ben nem ltta be s a logikt tovbbra is a filozfin bellinek tekintette.

2 Ez kpletes megfogalmazs s arra utal, hogy a logika meghatrozsban az elz logikusok logikafogalmbl kell ki-indulni. Ezeket veti ssze Bhm, hogy aztn megllapodjon sajt meghatrozsnl.

3 Arisztotelsz (Kr. e. 384322) az kori grg vilg legkiemelkedbb gondolkodja, Platn tantvnya. Szmos terle-ten jat alkotott. A logika legfontosabb megalaptja. Az ezen a terleten rott munkit vszzadokkal ksbb Organon cmmel fogaltk egybe. Ennek rszei, latin fordtsban a kvetkezk: Categorie seu predicamenta, Perihermeneias seu De Interpretatione, Analytica Priora, Analytica posteriora, Topica s De Sophisticis Elenchis. Mveinek mig rezhet hatsa van.

4 A sztoikusok egy filozfiai s logikai iskolt jelentenek. Elnevezsk Athn azon helytl (stoa poikil) szrmazott, ahol gondolataikat kifejtettk. A legismertebb sztoikus gondolkod Khrsszipposz (Kr. e. 281208). A formlis s formalista sztoikus logikai iskola reztette hatst az kori Rmban, st a kzpkori gondolkodsra is nagy hatssal volt. Tlk

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 9 -

retelmleti krdsek szerepelnek. Aquini Tams5 gy hatrozza meg a logikt, hogy nem azrt racionlis tudomny, mert sz-szerinti, hanem azrt, mert az sz maga kpezi ennek a matrijt. Mr az jkor elejn Verulami Bacon Ferenc6 az egsz logikt a kutats mdszerre szortotta.* A XVIII. szzadban Wolff,7 N-metorszg akkori legnagyobb filozfusa azt lltotta, hogy a logika azon tudomny, amely ismer-tehets-gnket az igazsg megismersre vezeti. Kant8 a logikban csak formai szablyt, rendszert lt. Herbartnl9 a logika a fogalmak vilgossgnak s kapcsoldsnak tana. Hegelnl10 a logika a vilg-szellem gondolko-dsnak formit adja el, vagyis azon formkat, amelyekben a vilg maga fejldtt; az egsz vilgban ural-kodnak azon trvnyek, amelyek az ember agyban ntudatosak lesznek. Wundt11 szerint a logikban a gondolkods trvnyei mkdnek kzre az igazsg felismersnl.

Ha ezeket kzelebbrl megtekintjk, azt ltjuk, hogy nem klnbznek egymstl olyan nagyon, amint a sza-vak mutatjk. Kt gondolat kpezi itt a trzst. Az egyik az, hogy a logika a gondolkozs trvnyeivel foglalkozik, de csak a gondolkozsival. A msik az, hogy ezen gondolkozsnak meghatrozott clja az igazsg. Mindezen trvnyeknek, amelyeket a logika tartalmaz, csak azon felttel alatt van rtelmk, ha a gondolkozs igazsgt ke-resik.

A pszicholgia ezt nem krdi; akr tbolyodott, akr jzan az elme, a pszicholgia trvnyei egyformk. Az igazsg krdse itt httrbe szorul, csak a lefolys12 krdse van szem eltt. Teht azt a krdst, hogy a

szrmazik a logika sz. Arisztotelsz ui. az nmagt gondol gondolkodst tanulmnyoz diszciplnt dialektiknak ne-vezte.

5 Aquini Szent Tams (12251274) katolikus teolgus s filozfus, a dominiknus rend tagja. A Summa theologie cm tfog, szintetikus munkjval alapozta meg s tette arisztotelinuss a katolikus teolgit. Nevbl szrmazik a tomiz-mus, mint filozfiai orientci megnevezse. Tbb logikai m szerzje (De unitate intellectus contra Aveorrem, De ente et essentia, De propositionis modalibus, De fallaciis stb.)

6 Bacon, Francis (15611626) angol politikus s filozfus, az angol materializmus megalaptja. Alapvet mve a Novum organum scientiarium. Mr cmbl is kiderl, hogy egy j Organont akart megalkotni. Ebben kiindulpontjt az arisztotelszi szillogizmus s a tekintlyelv kritikja kpezi. llspontja szerint az igazsg keressnek valdi helye a termszet. Ezt pedig nem lehet deduktv kvetkeztetssel megtallni, az igazsgot fel kell fedezni s ez csakis induktv ton lehetsges. Tovbbi mvei: De dignitate et aygmentis scientiarium s a Sermones fideles. * A keresztneveket meghagytuk az eredeti szvegben hasznlt magyar vltozatban. (A szerk. megj.)

7 Wolff, Christian (16971754) a nmet felvilgosods kiemelked gondolkodja. Kant dogmatikus racionalistaknt rt-kelte. Logikjt kt alapgondolat hatotta t, a matematika mdszer volta s az enciklopdia gondolata. Szoros kapcsolat-ban volt Leibnizcel.

8 Kant, Immanuel (17241804) nagyhats, jt nmet filozfus. Legismertebb filozfiai mve a A tiszta sz kritikja (1781). Kant kt logika megltt ismerte el. (1) A klasszikus rtelemben vett formlis logikt, amelyen keresztl az sz a fogalmakat hasonltja ssze, azt vizsglva, hogy azonosak-e vagy sem, ellentmondanak-e, vagy ha analitikusan tartal-maznak-e vagy sem bizonyos jegyeket. (2) A transzcendentlis logika a szintetikus appercepci elvnek alapja. Azaz a vilgrl alkotott kpeink elemzse eltt rendelkeznnk kell ezekkel a kpekkel. gy a transzcendentlis appercepci egy-sge teszi lehetv az tlet analitikus egysgt. Emiatt az analitikus formlis logika a transzcendentlis szintetikus logi-ka alrendeltje. Vgeredmnyben a logika gy alapozdik meg ismeretelmleti szempontbl. Ez az llspont nagymr-tkben befolysolta Bhm Kroly logikjt s filozfijt is. A kanti filozfia hatsra alakultak ki XIX. szzad vgn s a XX. szzad elejn a neokantinus iskolk

9 Herbart, Johann Friedrich (17761841) nmet filozfus, logikus s pedaggus. A kanti kritikai idealizmus s a hegeli abszolt idealizmussal szemben realista llspontra helyezkedett. Ezen llspont szerint a megismers a tapasztalatbl indul ki. A kanti szkritikt, mint lehetetlent elvetette. Szerinte a logika elvei a fogalmakbl kell kiinduljanak, mivel ezek alkotjk a gondolkodst.

10 Hegel, Georg Wilhelm Friedrich (17701831) nmet romantikus filozfus. tfog idealista filozfiai rendszer megalko-tja. Fontosabb mvei a A szellem fenomenolgija (1807), A logika tudomnya (18121816) stb. Ebben a filozfiai rendszerben a logiknak kiemelt szerepe volt. Kiindulpontjt a logika s a lt viszonya kpezte. Eszerint a lt s a logi-ka azonosak, teht a logika s az ontolgia nem klnbzik egymstl. gy logikt mvelni nem jelent mst, mint ontol-git mvelni, s ez az abszolt szellemnek alrendelt. Mdszere a dialektika, valamint annak hrom alapeleme: tzis, antitzis s szintzis.

11 Wundt, Wilhelm (18321920) nmet filozfus. Hromktetes logikai trakttus megalkotja, melynek cme Logik, eine Unterschung der Prinzipien der Erkenntnis und der Methoden Wissenschaftlichter Forschung (Logika, megismers elvei-nek s a tudomnyos kutats mdszereinek kutatsa, 18801883). Logikjban a pszichikai forrsokbl kialakul fogal-makat, tleteket s kvetkeztetseket vizsglta. A tudomnyok mdszereit sszehasonltva osztlyozta ket. A pszicho-logizl orientci egyik f kpviselje.

12 Bhm az igazsgkeres gondolkodsban ltja a logika trgynak mibenltt. Ez kt kvetkezmnnyel jr. Egyrszt tisztzni kell a logika s az ismeretelmlet viszonyt, amire a tovbbiakban sor is kerl majd. Msrszt tisztzni kell a

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 10 -

logika a gondolkods trvnyeit kutatja s hogy a gondolkods vezetje az igazsg, ezeket megtalljuk a felhozott defincikban.

A logikai irnyok

A klnfle irnyok a logikban az ltal keletkeznek, hogy a tanoknak valamikpp alapot adni iparkodunk; te-ht az alapozstl, a szubsztrukcitl fggenek a logikai irnyok, s nem magtl a tartalomtl. A logikai tartalom mindentt egyforma, de az alap, amelybl kiindulunk, adja a klnbsget az egyes irnyok kztt. Mert nem elg tudni, hogy milyen trvnyek uralkodnak, hanem azt is fel kell mutatni, hogy mirt igazak azok13 a trvnyek. Ezen krdssel szemben hromfle felelet van:

I. Az els azt mondja, hogy elegend neki, ha a logikai trvnyek igazak, hogy mirt igazak, azzal nem trdik. Tovbb mellz minden alapozst, szubsztrukcit. Itt ppen gy ll a dolog, mint a geometriban, amely megllaptja a maga tteleit, tekintet nlkl minden ms tudomnyokra, de az egsz igazsgot nem a geo-metria fejti ki. Azon logikt, amely csak ezzel megelgszik, formai logiknak nevezzk. Ezzel foglalkoztunk a k-zpiskolban; ott elegend, ha a trvnyeket, amelyek helyesek, a fogalmakat, tleteket s kvetkeztetseket el-fogadjuk. Ilyen formai logika a Kant s a Herbart logikja.

II. A msodik gy okolja meg a logikai trvnyeket, hogy azt mondja, hogy a logikai trvnyek az ember-ben azrt igazak, mert az egsz vilg keretben uralkodnak. Az ember elmjben val uralkodsuk csak specilis esete azon uralomnak, amely a logikai trvnyeket a vilgegyetemben megilleti. Ekkor mr a szub-jektv llspontrl thelyezkedtnk az objektv llspontra s kaptuk az gynevezett metafizikai logikt14. En-nek els kezdje Platn15 volt. A XIX. szzad nagy rszn t az volt az uralkod, s rendszeres kifejezsre a Hegel logikjban jutott. Platnnl az eszmk az abszolt szellem, az isteni szellem szlttjei voltak s az Is-ten elmjben voltak, mint valsg.

III. A harmadik felelet azt mondja, hogy odig nem megynk a kozmikus sszefggsben, hanem az em-ber ismeretbl fogjuk levezetni a trvnyek jogszerssgt. Ez a harmadik forma az ismeretelmleti logika, amelynek kezdje Arisztotelsz volt. Arisztotelsz mind a mai napig kiemelked hatalom az ismeretelmleti logikban.

Ezt az irnyt kveti Rajmarus Smuel16 az 1799-ben megjelent munkjban. A XIX. szzadban is tbb kvetje van ezen irnynak, Schleiermacher17, Lotze18, Schuppe19 mveikben a logikt az ismeretelmlettel sszefggsben trgyaljk. Ugyanezt teszi Wundt Vilmos a hromktetes nagy munkjban.

gondolkodssal kapcsolatos logikai s pszicholgiai felfogsmd kztti klnbsget, mivel ellenkez esetben a kt diszciplna egymsba olvad. Itt a klnbsget abban ltja, hogy gondolkods pszicholgijt, a logikval szemben a gon-dolkods folyamata rdekli s nem az igazsg. Nyilvnval, hogy akr tbolyodott, akr jzan az elme folyamataik ugyanazok, ellenben igazsgaik klnbznek.

13 Teht amikor a trvnyek igazsgnak mirtjre krdez r Bhm, akkor ezen azt rti, hogy milyen alapon igazak.

14 Ezen llspontot gy is megfogalmazhatjuk, hogy az sz logikja, a mentlis logika, megegyezik a dolgok logikjval.

15 Platn (Kr. e. 428347) grg filozfus, Szkrtsz tantvnya. Mveit dialgusok formjban rta, s ezek kzl szmos fennmaradt. Filozfijnak kzponti eleme az gynevezett ideatan. Nem dolgozott ki egy arisztotelszi rtelem-ben vett logikt. Viszont szmos olyan gondolata volt, amely a logika krbe tartozott, s ezek ideatannak kvetkezm-nyei. Szerinte egyrszt ltezik az idek vilga, msrszt az rzkeny vilg. Ezen utbbi az idek tbb-kevsb h m-solata. Tudsunk csak az idekrl lehet, a msolatokrl pedig csak vlemnynk. Az archetipikus idek megismerse visszaemlkezs tjn lehetsges. Ez a felfel, az idek fele men megismers. Mivel az idek adottak, nem kell ket bizonytani. Teht fogalmi hierarchit ttelez fel, amin lefele s felfele lehet haladni. Ami lnyeges, az a fogalmi viszony, s nem a kvetkeztetsek tjn trtn bizonyts. Ennek kvetkeztben a platni fogalmi hierarchia az arisztotelszi szillogisztika elzmnynek tekinthet, ahol tranzitv fogalmi kapcsolat ltal trtnik a kvetkeztets.

16 Reimarus, Hermann Samuel (16941768), nmet filozfus s irodalmr. Logikai szempontbl legfontosabb mvnek cme Vernunftlehre als Anweisung zum richt Vernunft. Ennek 1756 s 1790 kztt t kiadsa volt. (Encyclopaedia Britannica, 1911)

17 Schleiermacher, Ernst Daniel (17681834) elssorban teolgival s etikval foglalkozott. Logikai jelleg gondolatait, filozfijval egybefondva a halla utn kiadott Dialektik (1839) cm mve tartalmazza. Szerinte a gondolkods formi, Kanttl eltren, nem pusztn szubjektvek hanem a lt formi. Ezek a formk az id s a tr, a fogalom, az tlet, a de-dukci s az indukci. A dedukci folyamata mindig prhuzamosan kell haladjon az indukcival. Ebben az rtelemben a megismers objektv s szubjektv oldalai sszetartoznak.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 11 -

Mindezek ismeretelmleti alapon ll logikk. Ha mr most azt olvassuk Kant logikjban, hogy ezen tan alapozottsg tekintetben Arisztotelsz ta semmit sem nyert, akkor azt hisszk, hogy Kant tvedett, amit nla nagyon bajos fltenni. De ha meggondoljuk, megmarad az lltsa is s az is, hogy a logika Arisztote-lsz szerint is halad. Alapozottsg dolgban igaza van Kantnak, hogy a logikai trvnyek nem haladtak sem-mit, ppen gy, mint ahogy a ktszer kett akkor is csak ngy volt, ma is ngy. De alakuls tekintetben a logikai trvnyek igenis haladtak.

Ha mr most azt krdezzk, hogy melyik irnyhoz csatlakozzunk a hrom kzl, akkor a dntst a kvet-kez megfontolsbl merthetjk. Ha a logika tudomny, akkor azokat az alapokat is fel kell mutatnia, ame-lyekbl tteleinek tnyleges igazsga rthet. s ha ezt elfogadjuk, mint tudomnyos kvetelst, akkor a for-mai logika elfogadsa nknyt elesik, mert a formai logika Hegel tall kifejezse szerint gy lltja oda a t-teleket, mintha pisztolybl lttk volna ki. Teht lehet rendszeres sszefoglals, de filozfiai szempontbl elgtelennek kell tartanunk.

ppgy elgtelennek, illetleg nem megfelelnek kell tartanunk a metafizikai logikt is. A metafizikai logi-knak van egy felttele, s ez az, hogy a vilg lnyege a szellem, ennlfogva a vilg fejldse a szellemi tr-vnyek szerint megy vgbe; akkor aztn a vilgszellem trvnyei folytatdhatnak az ember szellemben, st kell is folytatdniuk. De ha ezzel szemben ott ll a mechanizmus s azt mondja, hogy a vilgot a mechanika trvnyei vezetik, akkor a mi logiknk alapja elesik s nem tudjuk tanaink igazsgt bebizonytani. Nem ma-rad teht ms htra, mint hogy a harmadikhoz csatlakozzunk: az ismeretelmleti logikhoz.

Ez nem trgyalja kzvetlen a logika trvnyeit, nem is prbl affle nebulzus alapbl kiindulni, hanem kiin-dul az ismers termszetbl. Amikor azt mondjuk, hogy az ismers termszetbl indul ki, akkor nem azt akar-juk mondani, hogy a logikt a pszicholgiai alapra lltjuk, st ellenkezleg azt lltjuk, hogy a pszicholgiai alapo-zs a logikra nzve teljesen felesleges. Az elsk, akik a logiknak alapot adtak, a sztoikusok voltak. Abbl indul-tak ki, hogy a llek res lap, amelyre a klvilg rrja a nyomait, ezen nyomokbl keletkeznek a kpek, amelyeket k fantzinak neveztek. A fantzia megrztt emlkezet; az ilyen megrztt emlkekbl maradnak meg a kzs ismeretek, amelyek minden emberben tapasztalhatk. Ezen sokfle kzs ismeretek sszefoglalst mi tapasz-talatnak nevezzk; azon trvnyek pedig, amelyek szerint a tapasztalat a valsgnak megfelel, a logikai trv-nyek. Ezeket az ismers pszicholgiai lefolysbl vezettk le. Az jabb idkben ilyen levezetsek tallhatk Wolff kritikai logikjban, tovbb Friese20 s Wundt munkjban is, akik hosszadalmasan fejtegetik az asszoci-cit, majd rtrnek a figyelemre, amely az asszocicival vgzdik.

Nlunk Brassai21 logikja llektani alapon ll, teht fejtegeti elszr az rzeteket s a kpzetek keletkezst, aztn ttr a figyelemre, az emlkezetre, az eszmk trsasgra. Szval, pszicholgiai fejtegetssel vezeti be a logikjt, melynek fclja az, hogy a beszdet rtelmess tegye. Teht nla fdolog a kzls, krlbell az, amit a reformci idejben Melanchton22 tantott.

n ezt ktsgbe vonom. Szerintem a logikra nzve a pszicholgiai alap nem dnt; arra nzve, hogy va-lamely gondolat helyes-e vagy nem, egszen kznys, hogy az a gondolat mikppen szrmazott. ppen

18 Lotze, Hermann (18171881) nmet tuds s filozfus. Filozfijban szintetizlni akarta a mechanicizmust s az idealizmust. Rendszert realistnak nevezhetnnk. A logikval kapcsolatos elgondolsait a Logik (1841) cm munkj-ban fejtette ki. Ennek tiszta logikai rsze a fogalom, az tlet s a dedukci elmletvel foglalkozik, amelyek az rzkels adataibl indulnak ki. Az alkalmazott logika a tudomnyos tapasztalatbl indul ki. Krdsei a meghatrozs s a bizony-ts formival, a bizonyts alapjval, a kvetkeztetsi hibkkal, a trvnyek felfedezsvel s a valsznsgszmtssal kapcsolatosak. Vgl arra a krdsre prbl vlaszt adni, hogy a tiszta s az alkalmazott logika segtsgvel nyert isme-retek miknt llhatnak ssze adekvt megismerss.

19 Schuppe, Wilhelm (18361923) nmet filozfus. Legfontosabb logikai mve Erkenntnistheoretische Logik (1878).

20 Friese, Jakob Friedrich (17731843) nmet filozfus, a filozfit s a logikt elpszichologizl orientci kpviselje. A logikt is rint munki Neue Kritik der Vernunft (1807) s System der Logik (1811). Szerinte a megismers a pszichikum funkcija s emiatt a filozfia pszicholgiv vlik. A kanti a priori fogalmakat szubjektvv teszi. Szerinte a logika trvnyeit, amelyek alapjn az sz mkdik nem lehet bizonytani, hanem csak megmutatni.

21 Brassai Smuel (18001897) az utols erdlyi polihisztor. Az Erdlyi Mzeum Egylet igazgatja, a MTA tagja. Tev-kenysge folyamn szinte minden tudomnyterletet rintett. Filozfiai mvben Comte pozitivizmust brlta. A szzad hatvanas veiben hres vitt folytatott a materialista Mentovich Ferenccel. Logikai mve Logika llektani alapon (1858), amelyben szembefordul az arisztotelszi hagyomnyokkal.

22 Melanchton-Schwarzerde, Philipp (14971560) nmet tuds. Fontos szerepet jtszott a protestns doktrna kialakt-sban. Fontosabb mvei a Rhetorica (1519) s a Dialectica (1533). Arisztotelsz s Agricola hatsa alatt llt. Logikja nem ms mint az eredeti arisztotelszi Organon, amit megszabadtott a skolasztikus formalizmustl s a humanizmus keretei kz helyezett.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 12 -

ezrt, ha valaki llektani ton magyarzza a logika trvnyeinek keletkezst, azzal mg nem mutatta ki, hogy ezen trvnyek igazak. Az, hogy a logika a fogalmak, tletek, kvetkeztetsek keletkezsvel foglal-kozzk, az r nzve egszen idegenszer dolog; mivel a logikai trvnyek rvnyessge nem fgg azok ke-letkezsnek mdjtl. Azok magukban evidensek; hogy honnan keletkeznek, nem a logika krdse, hanem a llektan. Fkppen mindegy, akr tapasztalatbl, akr az sz tevkenysgbl, akr a velnk szletett kpekbl hozzuk le a logika trvnyeit, mert azok mindig ugyanazok. Ez pedig csak abban az esetben lehet-sges, ha az, amelybl lehozzuk, egszen kznsges a logikra nzve. Azrt Prantl23 az hres logikai tr-tnelmben egy helyen trfsan megjegyzi, hogy a miszticizmus, st az inspirci is lehet a pszicholgia alapja, azrt a logika mgis csak ugyanazokat a trvnyeket fogja megtartani. Teht a pszicholgia keletke-zse s a logikai trvnyek rvnyessge teljesen fggetlen s klnbz dolgok; a logika trvnyei a llek-tan keletkezstl nem fggenek.

Ennek oka abban ll, hogy a llektan ltalban a lelki let lefolysval foglalkozik. Akr jzan, akr bomlott az elme, a kpek lefolysnak formi ugyanazok; ppgy kapcsoldnak a kpek az egyikben, mint a msikban; p-pen olyan felttel alatt idzik fel egymst az egyikben, mint a msikban.

Ellenben a logikai trvnyek egy bizonyos tartalomtl fgg formk, mg pedig ugyanazon tartalom-tl fggenek, amely a helyes relis vilgnak megfelel. Csak az ilyen helyes ttel trvnyei tartoznak a logika krbe; azonban a llektanban minden llapot, akr helyes, akr nem, a llek kzs trvnyei al esik. Ha a llektanbl akarnk a logika trvnyeit lehozni, akkor abba a hibba esnnk, amit Kant mon-dott, hogy a tudomnyoknak nem a gyaraptsa, hanem elrtktelentse az, ha az egyes tudomnyok hatrait sszezavarjuk.

Ha teht ezt a pszicholgiai szubsztitcit elhagyjuk, marad mg md, amelybl a logika trvnyeit meg-magyarzzuk s levezethessk. Azonban szksges, hogy kpet szerezznk magunknak azon gondolatcso-portrl, amelybe a logika beleilleszkedik. Ez pedig a

filozfia.

A bevezetsnek a msodik feladata az lesz, hogy a filozfinak jellemt s sajtsgait felsoroljuk, azutn megllaptjuk a logiknak helyt. A harmadik feladat az, hogy felsoroljuk a logika rszeit. Hol van teht a lo-gika helye a filozfia rendszerben? Erre nzve polemizlni nem fogunk, hanem csak elmondjuk vlem-nynket errl a dologrl. Teht in medias res kezdjk.

Mi jellemzi a filozfiai gondolkodst ltalban? Ez az els krds. Erre kt ponttal lehet megfelelni. 1) A filo-zfiai gondolkodst elssorban az jellemzi, hogy objektv, trgyilagos szemllsbl ered. 2) Msodszor az jel-lemzi, hogy minden trgyra gondol, ami tuds trgya lehet. Teht kt f tulajdonsga van a filozfinak: objekti-vits s egyetemessg. Addig, amg az ember csak sztni szksgleteit elgti ki, addig gy mint az llatot, ezek ragadjk magukkal; nem vezet, hanem azok vezetik. Az az ember, aki mg ezen szolgasgban van, nem filozoflhat; pp gy, amint nem filozofl az llat, amelynek egsz filozfija abbl ll, hogy ez a trgy ehet-e vagy nem, erre vezeti az sztne. Ahhoz teht, hogy az ember filozofljon, szksges, hogy ezen min-dennapi szksgletektl megszabaduljon. A rgi grgk igen jl fejeztk ki, hogy nem a nyeresg cljbl, hanem csupn a szemlls cljbl kell a trgyakat tekinteni; mert aki rdekbl nzi, csak azt ltja a trgyak-ban, hogy mire hasznosak. De aki azokat objektve nzi, annak a szemllete gy fogja fel a trgyakat, ahogy azok magukban vannak, nem tekintve azt, hogy milyen clokra szolglnak. Azrt mondotta mr Hrodotosz24 szerint Kroiszosz25 a hozz rkezett Szolnhoz:26 Azt hallottam rlad, hogy te filozfiai elmlkeds cljbl jr-tl be sok orszgot. A kpek objektv szemllse az els jellemzje a filozfinak, mert ebben nyilvnul az em-bernek a trgytl val fggetlensge.

A msodik jellemz kzelebbrl hatrozza meg az objektivitst. Az objektivits abban a szemlldsben kelt, amely a trgyakat nzi, de nem azrt, hogy hasznt vegyk. Ez az eszttikai szemlls. De klnbsg van eszttika s filozfia kztt. Ez az, hogy az eszttika az egyes trgyat, esemnyt elklntve emeli ki;

23 Prantl, Karl von (18201888) nmet blcsszettrtnsz. Bhm tbbszr emlti a korszakalkot ngyktetes Ge-schichte der Logik im Abendlande (18551870) cm mvt.

24 Hrodotosz (Kr. e. 484425) kori grg trtnsz. A trtnetrs atyja.

25 Kroiszosz vagy Krzus, Ldia utols kirlya (uralkodott Kr. e. 560546). Hres volt gazdagsgrl.

26 Szlon (kb. Kr. e. 638559) kori athni llamfrfi, klt. Megszntette az adsrabszolgasgot s ezzel elsegtette az athni demokrcia fejldst.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 13 -

st elmagyarzza az egyes trgyat, pl. a kltemnyt, de akkor mr idegenszer az egsz szemlls. Ellen-ben a filozfinl nem az egyest nzzk, hanem azt az sszefggst, mely az egyesek kztt van, azon gymntszlakat amint Hegel mondja , amelyek a sztszrt egyes rszeket egy nagy egssz, vilgg l-ltjk ssze. A filozfia ennlfogva pillants az sszessgre s a filozfiai tuds keresi az egysget a tne-mnyekben.

Maga a filozfia nem egyb, mint ahogy az angol Spencer27 meghatrozta, teljesen egyenesbe hozott tu-ds, teljesen egysgestett tuds: teht objektivits s egyetemessg. Ezeket a filozfia mindig megtartotta s az jabb kori tmadsok, amelyek a filozfit egyes rszeibl meg akartk fosztani, az egsz krdsnek flrertsbl eredtek. Itt nem arrl van sz, hogy egyes tudomny-e vagy filozfia. Ellentt a kett kztt nincsen, hanem az egyes tudomny is lehet filozfia, s a filozfiban is vannak egyes tudomnyok, mert hi-szen a filozfia nem olyan rgikban mozog, mint Arisztofansznl28 a madarak a lgvrban.

A filozfinak feladata a vilg valsgt megrteni. Ezen relis feladat s tapasztalat nlkl a filozfia nem l-tezik. Valamint a filozfia az egyes tudomnyokra, gy az egyes tudomnyok a filozfira vannak utalva. A term-szettudsok, mint Darwin29 is, nem az egyes llatokat nztk, hanem azt a kapcsot, amely azok fajait fejldsk-ben sszetartja, teht azon gymntktelket nztk, amely az llatok sorait sszekti.

Az egyes tudomnyokban is van filozfia; st mindentt van filozfia, ahol a pillants nem az egyesre, hanem az egyesek sszefggsre trtnik. Most pedig ttrnk arra a krdsre, hogy mibl ll minden filo-zfiai rendszer.

A filozfia mint a vilg igaz kpe, klnfle gondolatokbl lesz sszefonva, de ezek oly viszonyban vannak egymssal, mint a gykr az egsz fval. Ezen kpet mr Descartes30, a matematikus s fizikus hasznlta; nla az alaptudomny a metafizika volt. Ebbl ntt ki a trzs: a fizika; ennek a fizikai trzsnek hrom ga van; 1. orvos-tudomny, 2. technika, 3. etika. Teht a gykr, amelybl a fa kintt, a metafizika, ezt a ft aztn teljes fejlettsg-ben metafizikai rendszernek nevezzk; ha mr most a gykr a filozfia, akkor filozfiai rendszernek nevezzk. Ennlfogva van alapcsom s vannak rszletek minden filozfiai rendszerben.

A rgiek magt a gykeret, amelybl a tbbi gondolatot magyarztk, dialektiknak neveztk; ezt Descartes metafiziknak nevezte. Ezt kt csoportban trgyaltk; az egyikben a klvilg jelensgeit, a msik-ban a belvilgit. A tulajdonkppeni filozfiai rendszer most azokbl a gykrfogalmakbl ll, amelyek a fizi-kban s az etikban kifejlenek; de azrt nemcsak ezen fogalmakban van a filozfia, hanem a fizikban s etikban is benne van, hiszen a filozfia benne van a trzsben s az gakban egyarnt. Mgis az els rsze a gykr, s a filozfia tulajdonkppeni veleje benne van a gykr fogalmban, amelybl kifejldik az etika s a fizika. Ezrt helyes berwegnek31 azon meghatrozsa, hogy nem az egyesekben ll a filozfia, hanem az egyeseket ltest princpiumokban; mert azok a princpiumok benne vannak az egyesekben is. Teht az egyes s a princpium kpezi a filozfit.

Vannak a filozfiban klnbz termszet szlak, vannak ers, szilrd, trhetetlen fonalak, amelyeknek igazsgt semmi mdon megcfolni s elvitatni nem lehet. Ezek a ttelek azon alapulnak, hogy tnyekre tmasz-kodnak. Az egzaktsg dolgban lehetnek fokozatok; sok ttel nem oly bebizonythat, mint a matematikai ttelei, de azrt ezek bebizonytsa sem az egyedli. A gondolatoknak ez a csoportja ers, szilrd fonalakbl ll, ame-

27 Spencer, Herbert (18201903) filozfus. Az angol pszichologista gondolkodk vonalt kvette. Kimondottan logikai mveket nem rt. tfog filozfiai mve a System of synthetic philosophy (18621893). Szerinte a logikai funkcik erede-te az ember termszetes evolcijban keresend. Az sz mkdst az eszmk asszocicija hatrozza meg.

28 Arisztophansz (kb. Kr. e. 445385) kori grg vgjtkr. Az attikai -komdia leghresebb mvelje. 44 darabot rt, de csak 11 maradt rnk.

29 Darwin, Charles (18091892) angol termszet-tuds, a szerves vilg trtneti fejldst hirdet evolucis elmlet megalaptja. Leghresebb mve A fajok eredete (1859).

30 Descartes, Ren, latinostott nevn Renatus Cartesius (15961650), nagyhats francia tuds s filozfus. Kvetit kartzinusoknak neveztk. A korabeli Erdlyben a kartzinus hats igen elterjedt. A skolasztikus logikt elvetette s erre prblt alternatvt tallni. Ezt a matematika mdszerben lelte meg. A matematika fejldse oly mly benyomst tett r, hogy az sszes tudomnyokat a matematika vlfajnak tekintette, s megksrelte a fent emltett analitikus md-szer fogalmt ltalnostani. [] s Bacon hatsra a filozfusok egyre inkbb elfordultak a formlis logiktl az j heurisztikus metodolgia tanulmnyozsa kedvrt. (W. & M. Kneale, A logika fejldse, Gondolat, Budapest, 1987, 306) Legismertebb mvei Discours de la mthode (1637) s Regulae ad directionem ingenii (amit csak 1701-ben publi-kltak). Elsk kztt volt, aki a filozfit anyanyalvn s nem latinul mvelte.

31 berweg, Friedrich (18261871) filozfia- s logikatrtnsz. Logikatrtnett a System der Logik und Geschichte der logischen Lehre (1857) cm knyve tartalmazza. Ennek alapvet llspontja az arisztotelszi logikhoz val vissza-trs.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 14 -

lyek nem valami csillog, fnyes szlak, hanem kznsges termszetek; nem lelkestenek, nem ragadnak el, mert egyszer, przai tnyek.

A gondolatoknak msodik csoportja, amelyek a filozfia rendszerben tallhatk, nem ilyen termszetek. Ezek mr inkbb csillog, aranyos szlak, amelyek az embert az ghez kapcsoljk; ezek szrnyak, amelyek mint-egy felviszik a lelket a mindensg rk-lbe. A vallsos rzelmek s gondolatok ilyen termszetek. Ezek telje-sen klnbznek a matematikai, a fizikai s ms egzakt ttelektl.

Lehet-e mr most ezeket a filozfia krbl kihagyni? Ha a filozfia az egsz vilgkpt akarja adni, ak-kor csak felt adn, ha ezeket elhagyn. Attl azonban vakodni kell, hogy ezen szlakkal ppoly dogmati-ka, val igazsg szerint bnjunk el, mint ahogy a matematika s a fizika bnik el az vivel. De ezeket eltp-ni s elvetni a filozfia megnyirblsa volna.

Volt id, s ma is bizonyos jogosultsggal valljk nmelyek, hogy a filozfia csak bebizonythat ttelekre szo-rtkozik, mert csak azltal brtk annak tudomnyos jellegt megvni. A XVIII. szzadban az angol Hume Dvid32 a kvetkez mondatba foglalta ssze ezen llspontjt: ha valamely teolgiai vagy metafizikai knyvet vesznk a keznkbe, azt kell krdeznnk, hogy tartalmaz-e gondolkodst a mennyisgrl s a szmrl. Nem! Tartalmaz-e tapasztalsra tmaszkod tnyekrl s a valsgrl? Nem! Akkor a tzbe vele, mert csak csaldst tartalmaz!

Hume azt kveteli, hogy a filozfia krbe semmi be nem bocsthat, ami teljessggel be nincs bizonytva. Hogy a filozfia erre nem knytelen, azt mr kifejtettk. Most pedig csak klnbsget kell tennnk a pozitvan bizonythat s valszn ttelek kztt. Akkor ezen valsznsgek mintegy felsbb ptkezsi biztos alapokon megtrhetk, anlkl, hogy maguk is a hagyomnyossg jellegt brnk, amint Hume kveteli. Hogy mr most a kt llspont kzl melyik igaz, az-e, amit Hume kvetel, hogy csak bebizonythat ttelek legyenek, vagy az-e, amely megengedi, hogy legyenek be nem bizonythat s csak valsznsggel br ttelek, hogy ezen kt lls-pont kzl melyik igaz, azt nem lehet egyszer tekintllyel eldnteni. Akrmilyen hatalmas gondolkod volt Hume, az ttelei ppoly kevss kteleznek bennnket, mint mg hatalmasabb embereknek ms ttelei. Mi csak azt fogadjuk el, ami felsbb szempontbl bebizonythat; ezt a felsbb szempontot megadta Kant, aki nagyon jl is-merte a klnbsget igaz s valszn kztt. Igaz, amit logikailag bizonytani lehet, valszn pedig az, amit egyb szksgletek, vgyak miatt szeretnk s hajtunk. Teht attl fgg, hogy Kantnak ezen fejtegetst, amit kritikjban ad, helyesnek tallja valaki vagy nem. Ha helyesnek tallja, akkor fog helyet kapni filozfijban a hit-nek a tuds mellett, aki pedig nem tallja helyesnek, az Hume-hoz fordul, s azt mondja, hogy ha valamit nem le-het matematikailag bizonytani, akkor tzbe vele.

A harmadik krds az, hogy milyen rszekbl ll a filozfiai rendszer ltalban. A modern filozfinak el-s kvetelse az, hogy szmot adjon magnak az ismeretnek hatrairl; llspontja teht nem lehet ms, mint ismeretelmlet. Ennlfogva a rendszerben az, hogy az ismeretelmleti rszleteket lssuk.

A filozfiai rendszerekre nzve az llspontok szerint kt csoportot klnbztetnk meg. Vannak olyan fi-lozfiai rendszerek, amelyek abbl a feltevsbl indulnak ki, hogy az emberi elme mindennek megrtsre kpes. Ezek ennlfogva nem vizsgljk az emberi rtelem erejt, hatrait, hanem megbzva benne, egysze-ren nekimennek a vilg trgyainak. Ezeket a rendszereket dogmatikus rendszereknek szoks nevezni. Vannak ismt olyan rendszerek, amelyek mieltt belebocstkoznnak az sszes trgyak megrtsbe, tisz-tba akarjk hozni, vajon mennyire terjed az emberi rtelem hatra, mire kpes az emberi elme. Ezeket a rendszereket kritikai rendszereknek szoks nevezni.

A modern rendszerek Kant ta csakis kritikai alapon llanak. Az olyan rendszer, amely rtelmben elbiza-kodva mindent meg akar ismerni s meg akar rteni, knnyen odajut, hogy olyan dolgokat is megrt, ame-lyek nincsenek. A mai gondolkodsunkkal vigyznunk kell e tekintetben, s ne ereszkedjnk bele olyan tr-gyak fejtegetsbe, amelyek termszete bebizonythatatlan. Az a rendszer, amelynek krvonalait vizsglni fogjuk, a kritikai rendszer; kzelebbrl gy is nevezik, hogy immanens filozfiai rendszer. Ennek az els te-endje az, hogy az ismeret hatrai, az igazsg kritriuma s az ismer tehetsg klnfle tevkenysgei fe-ll szmot adjon magrl.

Ez az alapja az olyan rendszernek, amit Kant is vgzett a maga kritikjban s amit ismt minden rend-szernek el kell vgeznie, hogy biztos alapokon nyugodjk. Ezt az egsz tant j magyar nvvel alapfilozfi-nak nevezzk, vagy rgi grg nvvel dialektiknak. Teht elszr az llspontot kell igazolni, msodszor az igazsg kritriumt, harmadszor azon legfbb tnyezket, amelyekkel a vilgot megrteni akarjuk.

32 Hume, David (17111776) angol idealista empirista filozfus. Alapvet filozfiai mvnek vgs cme An enquiry concerning human understanding (17391740). Ismeretelmleti llspontjt szkeptikus agnoszticizmus jellemezte, amit viszont megcfol a matematikai ismeretek megbzhatsgba vetett hite.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 15 -

A msodik rsze a filozfinak nem kritikai szempontok krl mozog, hanem magval a valsggal fog-lalkozik; egy rgi grg nvvel ma is ontolginak nevezhetjk abban az rtelemben, amelyet a grg , a val magban foglal. Teht a msik rsz a valsgrl szl. Idetartozik a termszetvalsg ppgy, mint ahogy a llek s ahogy idetartoznak mindazok az alkotsok, amelyeket az emberi llek szinte ntudatlanul ltezik. Ennek a msodik csoportnak jellemzje az, hogy az egyes llek nknytl fggetlen valsg, sem a termszettel, sem az emberi llek szervezetvel, sem trsadalmi hlzatokkal az egyes ember nem br. Azok az kzremkdsvel ugyan, de nem az szabadsgval alakultak, azok valsgos termszeti ter-mkek. Ez volna a msodik csoport, amit hajdan fizika s politika nv alatt talltunk, pl. Arisztotelsznl ezekben minden benne foglaltatik.

Ettl a msodik csoporttl lnyegesen klnbzik a harmadik, amelynek kzs neve, miutn az rtk fogal-mval foglalkozik, rtktan vagy axiolgia. Ebben a rszben foglalkozik a filozfia mindazokkal az alkotsokkal, amelyek az egyes ember lelktl fggenek, teht az tevkenysge folytn keletkeznek. S minthogy mr most ezek az alkotsok az emberre nzve bizonyos rzelmekkel jrnak, kellemes vagy kellemetlen rzelmekkel, azrt mindazon tudomnyokban, amelyek ebbe a csoportba tartoznak, megllaptani treksznk azokat a tr-vnyeket, amelyeknek kvetsvel a kellemetlensgektl megszabadulunk s mindig csak a kellemes rzete-ket kapjuk. Vagyis olyan trvnyeket llaptunk meg, amelyek kvetsvel az emberi ntudat megelgszik. Ilyen tudomny van hrom. Az egyik a logika; ez azon trvnyeket adja el, amelyeknek kvetsvel ismerete-ink az igazsg rtkt nyerik. A msodik az eszttika, amely azon trvnyeket adja el, amelyek kvetsvel gondolataink s szemlleteink a szp rtkjelzjt megrdemlik. A harmadik pedig az etika, amely az emberi cselekedetek jsgt vizsglja. Mindezek teht olyan trgyakra vonatkoznak, amelyek az egyes emberek tevkenysge ltal jnnek ltre; az egyik a gondolkods, teht a tudomny-, a msik a mvszi alkots-, a harmadik az erklcsi cselekvsek ltal keletkezik. Mindezekben nem azt nzzk, hogy hogyan mennek vgbe, mert hiszen ezt az ontolgia a valsgrl szl tan, teht klnsen a llektan nzi, hanem azt nzzk, hogy milyeneknek kell lenni ezen cselekedeteknek, teht a logikban milyeneknek kell lennik az tleteknek, kvetkeztetseknek, hogy igazak legyenek; az eszttikban milyeneknek kell lennik a mal-kotsoknak, ha szpek akarnak lenni; az etikban milyeneknek kell lennik a cselekedeteknek, ha igazak akarnak lenni. Ezekben mind az rtk fogalma uralkodik, ennlfogva mltn szembesthetk az ontolgi-val, vagyis azzal a tannal, amely a valsggal foglalkozik, anlkl, hogy annak rtkt kutatn.

Ha mr most ezen hrom csoportot nzzk: dialektika, ontolgia s axiolgia, vagyis alapfilozfia, val-sgrl szl tan s rtkekrl szl tan, akkor azt talljuk, hogy ezek mind pozitv alapokon nyugszanak. Ezen hrom tudomny mindenike teljesen bebizonythat s biztos eredmnyekre jut, anlkl, hogy alapjuk volna, ha most tn nincs is. Ms ilyen tudomnyokkal is gy ll a dolog.

Mg a kzgazdasgtan sem ismeri alaposan azokat a trvnyeket, amelyek a gazdasgi letet szab-lyozzk; a trsadalomtan, a szociolgia sincs mg teljesen kiforrva, mg ppen alakulban van. Annak sin-csenek olyan trvnyei, amelyekrl azt llthatn, hogy soha tbb ms ilyen trvny nem lesz. Valamint a kzgazdasgtantl s ltalban a trsadalomtantl senki sem fogja elvitatni, hogy bizonyos hossz megfigye-ls utn lelik azokat a trvnyeket, amelyek a kzgazdasgot s a trsadalmi letet szablyozzk: ppoly kevss vitathatja el valaki az eszttiktl vagy etiktl azt, hogy kell induktv kutatsok alapjn eljuthat azokra a trvnyekre, amelyek a mvszetben s az erklcsi letben uralkodnak. Teht ezek mind pozitv33 tnyeken alapul tanok.

Ha mr most azokra az aranyszlakra vetnk mg egy pillantst, amelyekrl mr beszltnk s amelyek az emberi letet egy magasabb let krhez ktik, akkor ezeket is a vallsfilozfia segtsgvel bizonyos ha-trok kztt tisztzni lehet. Azonban oly termszet ismeretekre, mint aminket az elbb felhozott tudom-nyokban nyerhetnk, a trgynak magnak a termszete miatt az emberi tuds soha el nem juthat. Arra csak sejtelem, a hozz vet hit vezet, gy hogy ezen pozitv rendszer keretbe ez a rsz nem tartozhat, hanem csak mintegy betetz szerepe lehet. Mert ppen azt a hatrt, amely a tudst s a hitet, az igazat s a val-sznt egymstl elvlasztja, a jelenlegi rtelmnkkel egszen elhrtani s gy a kettt egyformv tenni nem vagyunk kpesek.

Miutn a logika irnyairl szlottunk, miutn a logika hatrait a filozfia rendszerbe fellltottuk, htravan mg a harmadik teend, s ez az, hogy megllaptsuk a logika jellemt, rszeit s ezen rszekkel kapcsolatban azt a trgyalsi mdot, amelyben eladsaink haladni fognak.

33 Itt a pozitv jelz arra utal, hogy empirikusan megalapozhat tudomnyos ismereteket nyjt. A terminus maga Auguste Comte-tl szrmazik aki a XIX. szzad els felben a trsadalmi tnyeket prblta az egzakt tudomnyok min-tja szerint vizsglni. Bizonyos rtelemben az empirikus szociolgia szmra nyjtott megalapozst. Szmos filozfust s trsadalomtudst befolysolt. Az ezt az llspontot kvetket pozitivistknak neveztk. Comte XX. szzadi hvei pedig a neopozitivistk.

BHM KROLY : LOGIKA

___________________________________________________________________________________

Copyright Mikes International 2001-2008, Kriterion Knyvkiad, 2004-2008 - 16 -

Ami a logikai trvnyek jellemt illeti, az elzmnyekbl r fog jnni mindenki arra, amit a logikhoz val bevezetsben mr hallott; teht maga fogja levezetni azokat a sajtsgokat, amelyek a logika is-merett jellemzik. Az els, amit a logikai tanokra lltani szoks, az, hogy azok normatv ttelek, ugyanis hogy a logika normatv tudomny, szablyoz tudomny. Ennek az rtelme most mr a mlyebb szem-pontokban is vilgos. Minthogy szksges a logikai rtkdiszciplnt, azaz gondolkodst az igaz rtk-jelzje szempontjbl nzni, azrt nyilvnval, hogy a logikai gondolkods nem olyan termszet, mint ltalban a pszicholgiai gondolkods. Azon sok pszicholgiai gondolatfunkcibl csak bizonyos funkci-kat vlaszt ki, azokat amelyek tnyleg gy rendezik az ismereteket, hogy a valsgnak megfelelnek. Amely logika ezt nem tartja szem eltt, az a gondolkods pszicholgija lesz, de nem a logikja. Ez ma-gnak a logiknak helybl, amelyet a filozfia rendszerben elfoglal, kzvetlenl kvetkezik.

A msodik tulajdonsg, amit szintn a logikbl ismernk, az hogy a logika ttelei nem valami specilis tar-talommal foglalkoznak; azok nem foglalkoznak sem szmokkal, sem fizikai tnemnyekkel, sem pszicholgi-val, sem nyelvvel, sem trtnelemmel, semmifle specilis tartalommal. Ezek ennlfogva nem ilyen klnleges tartalom trvnyei, hanem minden tartalomnak egyformn formi; akrmilyen ismeret, akrmilyen tudomny le-gyen is, ezeknek a logikai normknak, amelyeket a logika a gondolkods szmra kitz, ezeknek meg kell fe-lelni.

Azrt legelszr is mindentt azt keressk, hogy nincs-e ellentmonds valamely tartalomban, mert az ellent-monds34 a logiknak egyik princpiuma. Ezrt mindentt keressk azt, hogy valamely ttel be van-e bizonytva; nem fogadunk el ttelt senki mondsra s szavra, hanem keressk az rveket, amirt a helyes gondolkozs-hoz ppen a helyes rvek ltal val tmogats kvntatik. Teht a logikai trvnyek minden ismeretanyagra egy-formn vonatkoznak, de ha minden anyagra vonatkoznak, akkor nem lehetnek anyagi trvnyek, tartalmi trv-nyek, mert azok a trvnyek, melyeket a termszettudomnyok egyes csoportjai pl. a fizikban megllaptanak, azok a trvnyek egy bizonyos fizikai tartalomhoz vannak ktve s annak a trvnyei.

A logika trvnyei nincsenek semmifle tartalomhoz ktve, ezek teht formai trvnyek, azon egyetemes formkat adjk el s szabjk meg, amelyeknek kvetse mellett az tletek, kvetkeztetsek, szval min-den ismeretformink helyesek. Ennlfogva a logika nem lehet ms, mint formai logika; termszetnl fogva teht formai. Az termszete az, hogy egszen egyetemes formkkal foglalkozik, mert felette ll minden tar-talomnak. ppen azrt a logikai trvnyek csakis az ntudatos gondolkozsnak a trvnyei; mert rtkk csak a gondolkod s rz szellem szmra kpzelhet el. Ha az egsz vilgban nem volna rzs, akkor az atomok kavarodsa teljesen kznys dolog volna; azoknak nem volna semmi rtkk. Az, hogy letet hoz ltre az atomok keletkezse, s hogy ezen let rzi magt, hozza s viszi be a vilg valsgba az rtket, az lehetne, ha elkpzeljk az rz lnyeket; hiszen szabad kpzeldni a logikban, teht ha olyan fantzia-kpet alkotunk, hogy ebben a vilgban rz lnyek nincsenek, de egy szellemtl tervszeren alakult a vilg, akkor a vilgban mg mindig volna rtk, ti. arra a szellemre nzve, aki azt megvalstotta. Most azonban nemcsak arra a szellemre nzve, hanem rnk nzve is van rtk, akik rezzk s gondoljuk azt az sszefg-gst, amely az egsz vilgi tnemnyek kztt van. Teht a logika trvnyei csakis az ntudatos gondolko-ds s megismers trvnyei. De gy is kifejezhetnk, hogy a logika trvnyei nem a rendezettnek, hanem a rendeznek a trvnyei. n a gondolatok tartalmt meg nem vltoztathatom; a sznbl nem csinlhatok han-got, a gylletbl haragot, ebbl szeretetet, sem ellenkezleg; szval a tnyeket tartalmilag megvltoztatni nem tudom. Az termszetk vltozatlan marad, de az n rz tevkenysgem, amellyel ezen tnemnyekbe ren-det hozok, szablyozhat; az tlem fgg, mert az n gondolkozsom szabad. A trggyal a gondolkozs rendel-kezik; rszekre bontja, sszelltja, tetszse szerint. Mr most hogy ezt a boncolgatst s sszelltst az igaz-sg jelzje illesse meg, ehhez szksges, hogy az n tevkenysgem ezen logika trvnyeit kvesse; teht mondhatnk rviden, hogy a rendeznek trvnyei, nem pedig a rendezett anyagnak.

A harmadik fvons ennlfogva, amit a logikai tanokra nzve ltalban elfogadunk, elszr az, hogy norma-tv trvnyek, msodszor az, hogy formai trvnyek s egyetemesek, mert minden anyagra, tartalomra egyfor-mn vonatkoznak, s harmadszor a rendez sznek vagy elmnek trvnyei, nem pedig a rendezett tartalomnak vagy anyagnak trvnyei, amelyek a maguk sajtsgos rendezettsgkbl llanak el.

Mrmost miutn alapot nyertnk a logika termszetrl, folytassuk tovbb az elzetes gondolkozst s os