• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Pierwsze zasady

    Przeczytaj także...
    Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu.Neotomizm – współczesna wersja tomizmu, główny kierunek filozoficzny neoscholastyki, popularny w łonie katolicyzmu. Neotomiści opowiadają się za tzw. klasyczną koncepcją filozofii, akcentują różnicę między nauką a religią i sztuką; za "filozofię pierwszą" uznają teorię bytu. Istotnymi wyróżnikami neotomizmu są: realizm, pluralizm, hylemorfizm, teizm, intelektualizm, klasyczna koncepcja prawdy, umiarkowany realizm pojęciowy.
    Aksjomat (postulat, pewnik) (gr. αξιωμα [aksíoma] – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej. We współczesnej matematyce definicja aksjomatu jest nieco inna:

    Pierwsze zasady (pierwsze zasady Bytu i myśli, najwyższe prawa myślenia i poznania) – w logice i metafizyce tradycyjnej zbiór praw logicznych, co do których sądzono, że są najbardziej oczywiste ze wszystkich możliwych twierdzeń, są niezależne od innych twierdzeń (nie dają się wywnioskować z żadnych innych praw logicznych) i stanowią ostateczne uzasadnienie wszystkich praw logiki. Zaliczano do nich zasadę tożsamości, zasadę sprzeczności i zasadę wyłączonego środka. Oprócz nich do najwyższych praw myślenia zaliczano też często dictum de omni et nullo i zasadę racji dostatecznej.

    Jedność - cecha lub zespół cech danego bytu takich jak jego wewnętrzna niesprzeczność, niepodzielność, zwartość, koherencja. Przeciwieństwo wielości. Termin "jedność" odniesiony do różnych dziedzin rzeczywistości nabiera odmiennych kontekstów znaczeniowych - mówi się np. o jedności Boga, jedności rodzaju ludzkiego, jedności dziejów, jedności kultury, jedności Kościoła, jedności analogicznej, jedności gatunkowej, jedności rodzajowej, jedności numerycznej, jedności pojęciowej, jedności logicznej. Naukę o jedności nazywamy henologią. Ze względu na to, że filozofia klasyczna uzasadnia jedność każdego bytu absolutną jednością Boga, mówi się w niej o zasadzie wyższości jedności nad wielością, która głosi, że żadna wielość nie może istnieć bez jakiejś jedności stojącej u jej podstaw.Szeroko rozpowszechniony był niegdyś pogląd za twórcę logiki Sokratesa. Opinia ta oparta była na pracach Arystotelesa, który w Metafizyce uznawał go za twórcę rozumowania indukcyjnego i definicji. Pogląd ten uznaje się obecnie za błędny, pomimo bowiem faktu, że Sokrates używał w praktyce indukcji i dążył do określenia znaczenia pojęć, to nie ujmował ich teoretycznie. Tym samym nie można go uznać za twórcę tych pojęć.
  • Zasada sprzeczności jako prawo logiczne mówi, że dwa zdania sprzeczne nie mogą być zarazem prawdziwe. Jako zasada metafizyczna mówi, że "Byt nie jest niebytem", że nie może coś zarazem istnieć i nie istnieć – pozostaje więc w bardzo ścisłym związku z zasadą jedności Bytu, która z tego względu również uznawana jest za "pierwszą zasadę".
  • Zasada tożsamości (w tradycyjnym, odległym od współczesnego ujęciu) mówi, że to, co jest prawdziwe, musi się pod każdym względem zgadzać ze sobą samym.
  • Zasada wyłączonego środka mówi, że z dwóch zdań sprzecznych oba nie mogą być zarazem fałszywe.
  • Dictum de omni et nullo mówi, że co ma walor w zastosowaniu do każdego, ma zarazem walor w zastosowaniu do poszczególnych, a co nie ma waloru w zastosowaniu do żadnego, nie ma też waloru w zastosowaniu do poszczególnych.
  • Zasada racji dostatecznej ma charakter metodologiczny, mówi, że wszystkie przekonania powinny mieć dostateczną rację, by je przyjąć, tj. powinny być dostatecznie uzasadnione. Takie sformułowanie tej zasady widoczne jest przede wszystkim w filozofii Leibniza, w metafizyce klasycznej rozumiana jest ona raczej jako zasada racji bytu głosząca, że tak byt, jak i jego części składowe mają swoje uzasadnienie w samym bycie i dzięki samemu bytowi są inteligibilne – byt jest wytłumaczalny i zrozumiały przez sam byt i jego obiektywność, a nie np. przez myśli i pragnienia.
  • Większość spośród tych praw sformułował (nie zawsze w dojrzałej i pełnej postaci) Arystoteles, który – choć przekonany o ich szczególnej doniosłości – nie wyodrębnił ich łącznie jako "pierwszych zasad". Uczyniła to dopiero logika średniowieczna, z której przekonanie o istnieniu "pierwszych zasad" przeszło do logiki nowożytnej.

    Oczywistość, ewidencja (gr. enárgeia, łac. evidentia) - taka cecha poznania danej treści poznawczej, że poznający podmiot przypisuje swojemu poznaniu tej treści pełnię dostępności, całkowitą jasność, wyraźność i nasycenie. Wyróżnić można trzy główne znaczenia tego terminu - epistemologiczny, metodologiczny (jedno z kryteriów prawdziwości zdań) i etyczny.Metafizyka klasyczna albo filozofia pierwsza (gr. τα μετα τα φυσικά ta meta ta physika – "to, co po fizyce/ponad fizyką"; zob. ontologia) – dziedzina wiedzy ukonstytuowana przez Arystotelesa, rozważająca byt jako byt oraz jego istotne własności i ostateczne przyczyny (por. Metafizyka 1003a, 20–32; 1022a).

    Logika współczesna odrzuca pojęcie "pierwszych zasad". Pojęcie oczywistości uznano za zbyt niejasne, by budować na nim systemy logiczne. Co więcej, zasady logiczne uznane za "pierwsze zasady", nie są ani niezależne, ani nie stanowią uzasadnienia wszystkich innych praw logiki. Pewnego rodzaju odpowiednikiem "pierwszych zasad" jest w logice współczesnej pojęcie "aksjomatu" – zasady uznane w logice tradycyjnej za "pierwsze" nie mogą jednak stanowić aksjomatyki rachunku zdań ani żadnego systemu dedukcyjnego. Są one bowiem twierdzeniami, które wyprowadza się z aksjomatów rachunku zdań za pomocą wielu kroków dowodowych.

    Arystoteles (gr. Ἀριστοτέλης, Aristotelēs, ur. 384 p.n.e., zm. 7 marca 322 p.n.e.) – filozof, jeden z trzech, obok Sokratesa i Platona najsławniejszych filozofów starożytnej Grecji. Nazywany też Stagirytą (od miejsca urodzenia), lub po prostu Filozofem (w tekstach średniowiecznych i nowożytnych).Zasada sprzeczności, współcześnie coraz powszechniej nazywana zasadą niesprzeczności to prawo logiczne w postaci dla klasycznego rachunku zdań głoszące, że:

    Istnieją też próby ujęcia "pierwszych zasad" nie jako pierwszych zasad logicznych, ale jako pierwszych zasad metafizyki (czasem też jako pierwszych zasad myślenia w sensie psychologicznym). Mają one miejsce zwłaszcza na gruncie neotomizmu, gdzie uznawane są za specyficzne zasady metodologii metafizyki.

    Zasada (prawo) tożsamości, zasada (prawo) identyczności - relatywna zasada bytu głosząca, że każdy byt jest tym, czym jest, sformułowana po raz pierwszy przez Parmenidesa. Stanowi prawo logiczne w postaci dla klasycznego rachunku zdań głoszące, że p ⟺ p {displaystyle pLongleftrightarrow p,!} (p wtedy i tylko wtedy, gdy p), w postaci dla klasycznego rachunku predykatów, że x = x {displaystyle x=x!} (każdy przedmiot jest identyczny z samym sobą). Metafizyka klasyczna razem z zasadą sprzeczności i zasadą wyłączonego środka uznała zasadę tożsamości za jedno z pierwszych praw myśli i bytu. W nieco innych kontekstach filozoficznych zasada tożsamości miała znaczenie także dla filozofii nowożytnej, zwłaszcza dla Leibniza i filozofii identyczności Schellinga - w kontekstach tych nazywana jest częściej zasadą identyczności (por. identyczność przedmiotów nierozróżnialnych).Gottfried Wilhelm Leibniz, znany także pod nazwiskiem Leibnitz (ur. 1 lipca 1646 w Lipsku, zm. 14 listopada 1716 w Hanowerze) – niemiecki polihistor: filozof, matematyk, prawnik, inżynier–mechanik, fizyk, historyk i dyplomata.

    Bibliografia[edytuj kod]

  • Mieczysław Krąpiec, Metafizyka, wyd. 5, Lublin 1988.
  • Tadeusz Kotarbiński, Wykłady z dziejów logiki, Łódź 1957.



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Reklama

    Czas generowania strony: 0.016 sek.