• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Logika



    Podstrony: 1 [2] [3] [4] [5]
    Przeczytaj także...
    Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych. Rozważanymi zasobami są takie wielkości jak czas, pamięć lub liczba procesorów.Analiza logiczna metoda polegająca na zastosowaniu środków logicznych do kontroli sensowności lub prawdziwości twierdzeń, do kontroli poprawności rozumowań lub do wyjaśniania pojęć w terminach zaczerpniętych z logiki (szeroko pojętej). Często stosowana do tradycyjnych twierdzeń lub pojęć filozofii, stąd także nazwa analizy filozoficznej lub filozofii analitycznej.

    Logika (gr. λόγος, logos, rozum, słowo, myśl) – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Wraz z retoryką stanowiła część filozofii. W kulturze europejskiej za prekursora usystematyzowania logiki uważa się Arystotelesa. 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).

    Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi. Schemat wnioskowania można zdefiniować ściślej jako parę uporządkowaną o postaci <X, B>, gdzie X jest dwolonym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku.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.

    Logika klasyczna[ | edytuj kod]

    Formalny system logiczny złożony z klasycznego rachunku zdań i rachunku kwantyfikatorów, zwany też logiką elementarną lub klasycznym rachunkiem logicznym. Przedmiotem tego rachunku są zdania logiczne, to znaczy takie zdania oznajmujące, którym można przypisać jedną z dwu wartości logicznych: prawda lub fałsz. Logika klasyczna jest w tym sensie dwuwartościowa, w odróżnieniu od sformułowanych w XX wieku systemów logik wielowartościowych.

    Rozum – zdolność do operowania pojęciami abstrakcyjnymi lub zdolność analitycznego myślenia i wyciągania wniosków z przetworzonych danych. Używanie zdobytych doświadczeń do radzenia sobie w sytuacjach życiowych.Kurt Gödel (ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych.

    W rachunku zdań zdania reprezentowane są przez zmienne zdaniowe (zwyczajowo są to litery: p, q, r, ...). Przy użyciu spójników logicznych, jak „i”, „lub”, „nieprawda, że” (zapisywanych symbolicznie znakami: ∧, ∨, ¬ lub ~) konstruuje się zdania złożone. Jednym z głównych celów rachunku zdań jest wypracowanie metod wyznaczania wartości logicznej zdania złożonego na podstawie wartości logicznych zdań składowych. Szczególnym celem jest opisanie takich schematów zdań złożonych, które są prawdziwe przy każdym podstawieniu dowolnych zdań logicznych za zmienne. Schematy takie nazywane są prawami rachunku zdań.

    Język grecki, greka (starogr. dialekt attycki Ἑλληνικὴ γλῶττα, Hellenikè glõtta; nowogr. Ελληνική γλώσσα, Ellinikí glóssa lub Ελληνικά, Elliniká) – język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego. W cywilizacji Zachodu zaadaptowany obok łaciny jako język terminologii naukowej, wywarł wpływ na wszystkie współczesne języki europejskie, a także część pozaeuropejskich i starożytnych. Od X wieku p.n.e. zapisywany jest alfabetem greckim. Obecnie, jako język nowogrecki, pełni funkcję języka urzędowego w Grecji i Cyprze. Jest też jednym z języków oficjalnych Unii Europejskiej. Po grecku mówi współcześnie około 15 milionów ludzi. Język grecki jest jedynym językiem z helleńskich naturalnych, który nie wymarł.Metamatematyka lub meta-matematyka – matematyka zastosowana do badania matematyki. Bardziej ogólnie to refleksja o matematyce widzianej jako pewien abstrakcyjny obiekt i produkt ludzkiego umysłu.

    W rachunku kwantyfikatorów zdania złożone budowane są przy użyciu symboli predykatów, zmiennych i kwantyfikatorów – dlatego używa się też nazwy rachunek predykatów. Głównym celem jest opisanie wszystkich schematów zdań z kwantyfikatorami zawsze prawdziwych, czyli praw rachunku kwantyfikatorów. Razem z prawami rachunku zdań tworzą one prawa logiki klasycznej. Każdemu prawu logiki odpowiada schemat niezawodnego wnioskowania dedukcyjnego. Mówi się więc również, że głównym celem logiki klasycznej jest opisanie wszystkich schematów niezawodnego wnioskowania.

    Kazimierz Ajdukiewicz (ur. 12 grudnia 1890 w Tarnopolu, zm. 12 kwietnia 1963 w Warszawie) – polski filozof i logik, reprezentant szkoły lwowsko-warszawskiej, profesor Uniwersytetu Jana Kazimierza, Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Warszawskiego, członek Polskiej Akademii Nauk i Polskiej Akademii Umiejętności.Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.

    Klasyczny rachunek logiczny obejmuje wszystkie podstawowe prawa odkryte przez logików starożytnych oraz bardziej współczesne prawa dotyczące kwantyfikatorów. Rachunek ten wystarcza do opisu wszystkich wnioskowań stosowanych w matematyce oraz wszelkich wnioskowań dedukcyjnych, i w tym sensie stanowi zamknięty dział logiki. Logika klasyczna jest podstawą wykładu logiki w podręcznikach szkolnych i akademickich.

    Prawa logiczne – twierdzenia logiki, zdania prawdziwe w każdym modelu, tj. przy każdej interpretacji występujących w nich stałych pozalogicznych; szczególnie ważną funkcją praw logicznych jest to, że na ich podstawie orzeka się wynikanie logiczne jednych zdań z drugich; prawa logiczne są podstawą (lub schematami) operacji dokonywanych w logice (dowodzenia, wnioskowania, uzasadniania). Praw logiki klasycznej jest nieskończenie wiele. Wybiera się często dla przykładu jedynie nieliczne spośród praw, które z różnych względów historycznych i naukotwórczych są najczęściej wyróżniane w opracowaniach podręcznikowych:Logika wolna (ang. free logic) to logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny.


    Podstrony: 1 [2] [3] [4] [5]




    Warto wiedzieć że... beta

    Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążacym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu.
    Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) to będąca odmianą programowania deklaratywnego metoda programowania, w której program podawany jest jako pewien zestaw zależności, a obliczenia są dowodem pewnego twierdzenia w oparciu o te zależności.
    Logizowanie – postawa językowa charakteryzująca się dążeniem do uzgodnienia zjawisk językowych z powszechnie przyjętą logiką (nie chodzi tu jednak o logikę naukową, ale o tzw. logikę potoczną).
    Logika prawnicza - dyscyplina pomocnicza nauk prawnych, zajmująca się prawniczymi zastosowaniami logiki. W węższym znaczeniu logika prawnicza zajmuje się badaniem schematów rozumowań prawniczych.
    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.
    Zmienna – symbol, oznaczający wielkość, która może przyjmować rozmaite wartości. Wartości te na ogół należą do pewnego zbioru, który jest określony przez naturę rozważanego problemu. Zbiór ten nazywamy zakresem zmiennej.
    Twierdzenie Gödla to jeden z najbardziej znanych rezultatów logiki matematycznej. W istocie znane są dwa różne twierdzenia Gödla: pierwsze z nich to twierdzenie o niezupełności, drugie zaś to jego wniosek nazywany też twierdzeniem o niedowodliwości niesprzeczności. Oba twierdzenia zostały udowodnione w 1931 roku przez austriackiego matematyka i logika Kurta Gödla. Uważa się również, że twierdzenia te dają negatywną odpowiedź na drugi problem Hilberta, i w ten sposób mają spore znaczenie w filozofii matematyki. Oprócz rozpatrywanych w tym artykule twierdzeń, Gödel udowodnił też twierdzenie o istnieniu modelu i twierdzenie o nierozstrzygalności (patrz: teoria, struktura matematyczna).

    Reklama

    Czas generowania strony: 0.029 sek.