l
  • Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Temat nie został wyczerpany?
    Zapraszamy na Forum Naukowy.pl
    Jeśli posiadasz konto w serwisie Facebook rejestracja jest praktycznie automatyczna.
    Wystarczy kilka kliknięć.

    Prawda



    Podstrony: 1 [2] [3]
    Przeczytaj także...
    Metajęzyk – dowolny język służący do opisu innego języka. W skład metajęzyka wchodzą nazwy wyrażeń języka opisywanego, zazwyczaj tworzone jako nazwy cudzysłowowe, predykaty opisujące relacje sematyczne między wyrażeniami języka opisywanego a tym, do czego wyrażenia te się odnoszą (np. "oznacza", "denotuje"), pewne reguły znaczeniowe, reguły składniowe itp. W szczególności językiem badanym może być ten sam język, w którym przeprowadza się badania.Antynomia (gr. antinomia - sprzeczność praw) - logiczna sprzeczność, paradoks, zdanie logiczne bądź rozumowanie dedukcyjne, które prowadzi do sprzeczności. Termin używany w logice, epistemologii.
    Ujednoznacznienie Ten artykuł dotyczy terminu filozoficznego. Zapoznaj się również z: inne znaczenia.

    Prawda – cecha wypowiadanych zdań określająca ich zgodność z rzeczywistością. W mowie potocznej oraz w logice tradycyjnej prawda to stwierdzenie czegoś, co miało faktycznie miejsce lub stwierdzenie niewystępowania czegoś, co faktycznie nie miało miejsca.

    Starożytność – okres w historii Bliskiego Wschodu, Europy i Afryki Północnej nazywany też antykiem i obejmujący dzieje tych regionów od powstania pierwszych cywilizacji do około V wieku n.e.<|||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| - |||||||||| |||||||||| ||||||||||>,

    Problemem zdefiniowania tego pojęcia zajmowali się filozofowie od starożytności. Klasyczna definicja prawdy pochodzi od Arystotelesa i jest to zgodność sądów z rzeczywistym stanem rzeczy, którego ten sąd dotyczy.

    Spis treści

  • 1 Definicja arystotelesowska (definicja klasyczna)
  • 2 Definicja św. Tomasza
  • 3 Definicja Tarskiego
  • 4 Przeciwieństwo prawdy
  • 5 Zobacz też
  • Definicja arystotelesowska (definicja klasyczna)[ | edytuj kod]

    Arystoteles tak próbował przybliżać istotę prawdy w swojej Metafizyce:

    Rzeczywistość w znaczeniu potocznym to "wszystko co istnieje". Termin rzeczywistość w najszerszym znaczeniu zawiera wszystkie byty, zarówno obserwowalne jak i pojęciowe, wprowadzone przez naukę czy filozofię.Alfred Tarski wł. Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski logik pracujący od 1939 r. w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy, uważany jest współcześnie za jednego z najwybitniejszych logików wszech czasów.
    Powiedzieć, że istnieje, o czymś, czego nie ma, jest fałszem. Powiedzieć o tym, co jest, że jest, a o tym, czego nie ma, że go nie ma, jest prawdą.

    Definicja ta (zwana dziś korespondencyjną definicją prawdy) oznacza, że dane zdanie A jest prawdziwe wtedy i tylko wtedy, gdy stan faktyczny opisany przez zdanie A ma rzeczywiście miejsce,

    tzn. zdanie 'Ala ma kota' jest prawdziwe wtedy i tylko wtedy, gdy Ala rzeczywiście posiada jakiegoś kota.

    Powyższe rozumienie prawdy prowadzi jednak do kilku trudności. Jedną z nich jest tzw. paradoks kłamcy. Bez względu na to, jaką z dwóch wartości logicznych przypiszemy jednemu z poniższych zdań:

    Tomasz z Akwinu, Akwinata, łac. Thoma de Aquino (ur. ok. 1225, zm. 7 marca 1274) – filozof scholastyczny, teolog, członek zakonu dominikanów. Był jednym z najwybitniejszych myślicieli w dziejach chrześcijaństwa. Święty Kościoła katolickiego; jeden z doktorów Kościoła, który nauczając przekazywał owoce swej kontemplacji (łac. contemplata aliis tradere).Język formalny – jest to podzbiór zbioru wszystkich słów nad skończonym alfabetem. Język formalny jest kluczowym pojęciem w informatyce, logice matematycznej i językoznawstwie. Język formalny nie jest uściśleniem pojęcia języka naturalnego i nie powinien być z nim mylony.

    Z1 = Z2 jest zdaniem prawdziwym,

    Z2 = Z1 jest zdaniem fałszywym,

    to, przy założeniu powyżej definicji prawdy, dojdziemy do wniosku, że zdaniu przysługuje inna (od założonej) wartość logiczna. Przez wieki filozofowie nie potrafili znaleźć definicji prawdy, która z jednej strony byłaby formalnie poprawna (nie prowadziłaby do sprzeczności), a z drugiej adekwatna czyli bliska nieścisłemu, potocznemu rozumieniu słowa "prawda".

    Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).Fałsz – jedna z dwóch podstawowych wartości logicznych. Drugą jest prawda. Fałsz jest niezgodnością treści sądu (zdania) z tym, do czego się odnosi.


    Podstrony: 1 [2] [3]



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

    Czy wiesz że...? beta

    W matematyce, termin indukcja matematyczna używany jest na określenie szczególnej metody dowodzenia twierdzeń (w najbardziej typowych przypadkach o liczbach naturalnych), ale także jest on używany na oznaczenie konstrukcji pewnych obiektów.
    Paradoks kłamcy zwany także paradoksem Eubulidesa lub antynomią kłamcy, mówi o niemożliwości zdefiniowania pojęcia prawdy w obrębie języka, do którego to pojęcie się odnosi.
    Epistemologia (od stgr. ἐπιστήμη, episteme – „wiedza; umiejętność, zrozumienie”; λόγος, logos – „nauka; myśl”), teoria poznania lub gnoseologia – dział filozofii, zajmujący się relacjami między poznawaniem, poznaniem a rzeczywistością. Epistemologia rozważa naturę takich pojęć jak: prawda, przekonanie, sąd, spostrzeganie, wiedza czy uzasadnienie.
    Zdanie (łac. sententia) – w językoznawstwie termin ten oznacza wypowiedzenie, służące do zakomunikowania jakiejś treści.
    Prawda materialna (obiektywna) – w języku prawniczym wiedza zgodna ze stanem faktycznym. Przeciwstawiana jest prawdzie formalnej (proceduralnej), czyli wiedzy opartej na domniemaniach, fikcjach prawnych lub zgodzie stron.
    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).
    Prawo, a ściślej prawo w ujęciu przedmiotowym – system norm prawnych, czyli ogólnych, abstrakcyjnych i jednoznacznych dyrektyw postępowania, które powstały w związku z istnieniem i funkcjonowaniem państwa lub innego uporządkowanego organizmu społecznego, ustanowione lub uznane przez właściwe organy władzy odpowiednio publicznej lub społecznej i przez te organy stosowane, w tym z użyciem przymusu.

    Reklama

    tt