[L01] co to jest logika?

czym jest logika? Krótko mówiąc, możemy zdefiniować logikę jako badanie zasad poprawnego rozumowania. Jest to definicja szorstka, ponieważ to, jak logika powinna być właściwie zdefiniowana, jest w rzeczywistości dość kontrowersyjną kwestią. Jednakże, w celu tej wycieczki, pomyśleliśmy, że byłoby przydatne, aby dać ci przynajmniej trochę przybliżonego pojęcia na temat, który będziesz studiował. Więc to jest to, co będziemy starali się zrobić na tej stronie.

§1., Logika nie jest psychologią rozumowania

jedną rzeczą, którą powinieneś zauważyć w tej definicji, jest to, że logika dotyczy zasad poprawnego rozumowania. Studiowanie prawidłowych zasad rozumowania nie jest tym samym, co studiowanie psychologii rozumowania. Logika jest pierwszą dyscypliną i mówi nam, jak powinniśmy rozumować, jeśli chcemy rozumować poprawnie. To, czy ludzie faktycznie przestrzegają tych zasad poprawnego rozumowania, jest kwestią empiryczną, czymś, co nie jest kwestią logiki.

natomiast psychologia rozumowania jest nauką empiryczną., Mówi nam o rzeczywistych zwyczajach rozumowania ludzi, w tym o ich błędach. Psycholog badający rozumowanie może być zainteresowany tym, jak zdolność ludzi do rozumowania zmienia się wraz z wiekiem. Ale takie empiryczne fakty nie są niepokojące dla logika.

§2. Zasady logiki

czym więc są te zasady rozumowania, które są częścią logiki? Jest wiele takich zasad, ale główną (Nie jedyną) rzeczą, którą badamy w logice, są zasady rządzące słusznością argumentów – czy pewne wnioski wynikają z niektórych podanych założeń., Na przykład, rozważmy następujące trzy argumenty:

te trzy argumenty są oczywiście dobrymi argumentami w tym sensie, że ich wnioski wynikają z założeń. Jeśli założenia argumentu są prawdziwe, wnioski z argumentu muszą być również prawdziwe. Logik powie nam, że są to wszystkie przypadki określonej formy argumentu znanej jako „modus ponens”:

Jeśli P, to Q. P. zatem Q.

będziemy omawiać Ważność później. Należy podkreślić, że logika nie dotyczy tylko ważności argumentów., Logika bada również spójność i prawdy logiczne oraz właściwości systemów logicznych, takie jak kompletność i solidność. Ale zobaczymy, że te inne pojęcia są również bardzo związane z pojęciem ważności.

§3. Neutralność tematu

Modus ponens może być użyty do zilustrowania dwóch cech zasad rozumowania w logice. Pierwszą cechą jest itstopic-neutralność. Jak sugerują cztery przykłady, modus ponens może być używany w rozumowaniu na różne tematy. Dotyczy to wszystkich zasad rozumowania w logice., Prawa biologii mogą być prawdziwe tylko dla żywych stworzeń, a prawa ekonomii są stosowane tylko do zbierania agentów, które angażują się w transakcje finansowe. Ale zasady logiki są uniwersalnymi zasadami, które są bardziej ogólne niż biologia i Ekonomia. Jest to częściowo to, co wynika z następujących definicji logiki przez dwóch bardzo znanych logików:

… nazwa dyscypliny, która analizuje tematykę pojęć wspólnych dla wszystkich nauk i ustanawia ogólne prawa rządzące pojęciami.,

§4. Konieczność w logice

drugą cechą zasad logiki jest to, że nie są one warunkowe, w tym sensie, że nie zależą od poszczególnych przypadkowych cech świata., Fizyka i inne nauki ścisłe badają rzeczywisty świat.Fizycy mogą nam powiedzieć, że żaden sygnał nie może podróżować szybciej niż prędkość światła, ale gdyby prawa fizyki były inne, to nie byłoby to prawdą. Podobnie biolodzy mogą badać, w jaki sposób delfiny komunikują się ze sobą, ale gdyby przebieg ewolucji był inny, to być może delfiny by się nie ujawniły. Teorie w naukach empirycznych są więc uwarunkowane w sensie, że mogły być inaczej., Zasady logiki natomiast wywodzą się wyłącznie z rozumowania, a ich ważność nie zależy od jakichkolwiek uwarunkowań świata.

na przykład logika mówi nam, że każde stwierdzenie w postaci „IfP then P.” jest koniecznie prawdziwe. Jest to zasada drugiego rodzaju, że badania logican. Zasada ta mówi nam, że stwierdzenie takie jak „jeśli pada, to pada” musi być prawdziwe. Możemy łatwo zauważyć, że tak rzeczywiście jest, niezależnie od tego, czy rzeczywiście pada deszcz.,Ponadto, nawet jeśliby prawa fizyki lub wzorce pogodowe były zmieniane, to stwierdzenie pozostanie prawdziwe. Tak więc mówimy, że prawdy naukowe (pomijając matematykę) są uwarunkowane, podczas gdy prawdy logiczne są konieczne. Ponownie pokazuje to, jak logika różni się od nauk empirycznych, takich jak fizyka, chemia czy Biologia.

§5. Logika formalna i nieformalna

czasami rozróżnia się logikę nieformalną i logikę formalną.Termin „logika nieformalna” często oznacza to samo myślenie krytyczne., Czasami jest używany do odniesienia się do studiowaniarozwój i błędy w kontekście codziennego życia. „Logika formalna” dotyczy głównie formalnych systemów logiki. Są to specjalnie skonstruowane systemy do przeprowadzania dowodów, w których Języki i zasady rozumowania są precyzyjnie i starannie zdefiniowane. Logika sentencyjna (znana również jako „logika Propositionalna”) i logika Predykatowa są przykładami formalnych systemów logiki.

istnieje wiele powodów do studiowania logiki formalnej., Jednym z nich jest to, że formallogic pomaga nam zidentyfikować wzorce dobrego rozumowania i wzorce złego traktowania, dzięki czemu wiemy, za którymi podążać, a których unikać. To jest whystudying podstawowej logiki formalnej może pomóc poprawić krytyczne myślenie. Formalsystems logiki są również wykorzystywane przez językoznawców do badania języków naturalnych.Informatycy wykorzystują również formalne systemy logiki w badaniach nad inteligencją Sztuczną. Wreszcie, wielu filozofów również używa logiki formalnej, gdy zajmuje się skomplikowanymi problemami filozoficznymi, aby uczynić ich rozumowanie bardziej wyraźnym i precyzyjnym.

§6., Dalsze czytania

• wpisy na temat logicin The Stanford Encyclopedia of Philosophy. Są to trudne artykuły na temat filozofii logiki.