[L01] co je logika?

takže co je logika? Stručně řečeno, logiku bychom mohli definovat jako studium principů správného uvažování. To je hrubá definice, protože jak by měla být logika správně definována, je ve skutečnosti docela kontroverzní záležitost. Pro účely tohoto turné jsme si však mysleli, že by bylo užitečné dát vám alespoň nějakou hrubou představu o předmětu, který budete studovat. Takže to je to, co se pokusíme udělat na této stránce.

§1., Logika není psychologie uvažování

Jedna věc, kterou byste měli vědomí o této definice je, že logika se zabývá zásadami správného uvažování. Studium správných principů uvažování není stejné jako studium psychologie uvažování. Logika je bývalá disciplína a říká nám, jak bychom měli uvažovat, pokud chceme správně uvažovat. To, zda lidé skutečně dodržují tato pravidla správného uvažování, je empirická záležitost, něco, co se netýká logiky.

psychologie uvažování je naopak empirickou vědou., Říká nám o skutečných úvahových návycích lidí, včetně jejich chyb. Psycholog, který studuje uvažování, by se mohl zajímat o to, jak se schopnost lidí rozumně liší s věkem. Taková empirická fakta se však logikovi netýkají.

§2. Principy logiky

jaké jsou tedy tyto principy uvažování, které jsou součástí logiky? Existuje mnoho takových principů, ale hlavní (ne jediná) věc, kterou studujeme v logice, jsou principy upravující platnost argumentů – zda určité závěry vycházejí z některých daných předpokladů., Zvažte například následující tři argumenty :

Tyto tři argumenty tady jsou samozřejmě dobré argumenty v tom smyslu, že jejich závěry vyplývají z předpokladů. Pokud jsou předpoklady argumentu pravdivé, musí být závěr argumentu také pravdivý. Logik nám řekne, že jsou to všechny případy určité formy argumentu známé jako“ modus ponens“:

Pokud P, pak Q.P. proto q.

budeme diskutovat o platnosti později. Je třeba zdůraznit, že logika se netýká pouze platnosti argumentů., Logika také studuje konzistenci a logické pravdy a vlastnosti logických systémů, jako je úplnost a zvuk. Ale uvidíme, že tyto další pojmy jsou také velmi souvisí s pojmem platnosti.

§3. Neutralita tématu

Modus ponens může být použita pro ilustraci dvou vlastností o pravidlech reasoingu v logice. Prvním rysem je jehostopická neutralita. Jak naznačují čtyři příklady, Modus ponensmohou být použity v úvahách o různých tématech. To platí o všechprincipy uvažování v logice., Zákony biologie mohou být pravdivé pouze u živých tvorů a ekonomické zákony jsou použitelné pouze pro sbírky agentů, kteří se zabývají finančními transakcemi. Ale principy logiky jsou univerzální principy, které jsou obecnějšínež biologie a ekonomie. To je částečně to, co je naznačeno v následující definice logiky dva velmi slavné logici,

… název disciplíny, která je analyzujevýznam pojmů společných všem vědám a stanovujeobecné zákony upravující pojmy.,

§4. Nutnost v logice

druhý prvek z principů logiky je, že jsou non-podmíněné, v tom smyslu, že nejsou závislé najakékoli konkrétní náhodné vlastnosti světa., Fyzika a ostatnípirické vědy zkoumají způsob, jakým je svět skutečně.Fyzici nám možná řeknou, že žádný signál nemůže cestovat rychleji než rychlost světla, ale kdyby byly fyzikální zákony jiné, pak by to nebyla pravda. Podobně by biologové mohli vědět, jak delfíni mezi sebou komunikují, ale pokud by byl průběh léčby jiný, možná by se delfíni neobjevili. Takže teorie v empirických vědách jsou podmíněnyvnímat, že by mohly být jinak., Principy logiky jsou na druhé straně odvozeny pouze pomocí uvažování a jejich platnostnezávisí na jakýchkoli podmíněných rysech světa.

například logika nám říká, že jakékoli prohlášení o formuláři „IfP pak P.“ je nutně pravdivé. To je princip druhého druhu, který logik studuje. Tento princip nám říká, že prohlášení jako „pokud prší, pak prší“ musí být pravdivé. Můžeme snadno vidět, že tomu tak skutečně je, ať už skutečně prší nebo ne.,Navíc, i když byly zákony fyziky nebo povětrnostních vzorcůzměnit, toto tvrzení zůstane pravdivé. Tak říkáme, že vědeckétruty (matematika stranou) jsou podmíněné, zatímco logické pravdy jsou nezbytné. Opět to ukazuje, jak se logika liší od empirických věd, jako je fyzika, chemie nebo biologie.

§5. Formální a neformální logika

někdy se rozlišuje mezi neformální logikou a formální logikou.Termín „neformální logika“ se často používá k tomu, aby znamenal totéž jakokritické myšlení., Někdy se používá k odkazování na studiumreasoning a klamy v kontextu každodenního života. „Formální logika“ se zabývá především formálními systémy logiky. Jedná se o speciálně konstruované systémy pro provádění důkazů, kde jsou jazyky a jazyky uvažování přesně a pečlivě definovány. Sentenciální logika (také známá jako „propoziční logika“) a predikátová logika jsou oba příklady formálních systémů logiky.

existuje mnoho důvodů pro studium formální logiky., Jedním z nich je, že formallogic nám pomáhá identifikovat vzorce dobrého uvažování a vzorce badreasoningu, takže víme, které následovat a kterým se vyhnout. To je důvod, pročstudování základní formální logiky může pomoci zlepšit kritické myšlení. Formálnísystémy logiky jsou také používány lingvisty ke studiu přírodních jazyků.Počítačoví vědci také používají formální systémy logiky ve výzkumuvztahující se k Aritificiální inteligenci. A konečně, mnoho filozofů také používá formální logiku při řešení složitých filozofickýchproblémy, aby jejich uvažování bylo explicitnější a přesnější.

§6., Další údaje

• záznamy o logicin Stanford encyklopedie filozofie. Jedná se o obtížné články o filozofii logiky.