• 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 matematyczna[]
     Osobny artykuł: Logika matematyczna.

    Logika matematyczna (zwana też metamatematyką), to dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Jej przedmiotem są formalne teorie matematyczne i ich modele, dowody oraz zasięg matematycznych rozumowań. W badaniach stosuje się wyłącznie ścisłe i formalne metody matematyki.

    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.

    Do największych osiągnięć logiki matematycznej należą pełna formalizacja matematyki (jako finalny rezultat prac wielu logików i matematyków) oraz słynne Twierdzenie Gödla o niezupełności. Twórcami logiki matematycznej byli m.in. George Boole, Gottlob Frege, David Hilbert i Bertrand Russell, a do jej rozwoju przyczynili się między innymi: Jan Łukasiewicz, Alonzo Church, Kurt Gödel i Alfred Tarski.

    Nauka – autonomiczna część kultury służąca wyjaśnieniu funkcjonowania świata, w którym żyje człowiek. Nauka jest budowana i rozwijana wyłącznie za pomocą tzw. metody naukowej lub metod naukowych nazywanych też paradygmatami nauki poprzez działalność badawczą prowadzącą do publikowania wyników naukowych dociekań. Proces publikowania i wielokrotne powtarzanie badań w celu weryfikacji ich wyników prowadzi do powstania wiedzy naukowej. Zarówno ta wiedza jak i sposoby jej gromadzenia określane są razem jako nauka.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.

    Logika w informatyce[]

    Formalny charakter logiki współczesnej sprawił, że nie tylko przyczyniła się ona w znacznym stopniu do rozwoju technologii komputerowej, ale też pewne jej działy rozwijają się obecnie w ramach informatyki teoretycznej. Do zagadnień informatycznych o logicznym charakterze należą: systemy przepisywania (rewriting systems), teoria typów, weryfikacja programów (logiki dynamiczne), różne aspekty złożoności obliczeniowej, sieci przełączające (funkcje boolowskie), formalna semantyka języków programowania, programowanie logiczne.

    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.

    Szczególny charakter ma próba zastosowania osiągnięć logiki formalnej w sztucznej inteligencji. Próba ta nie zakończyła się jeszcze wyraźnym sukcesem. Do częściowych sukcesów można zaliczyć praktyczne osiągnięcia w zakresie automatycznego dowodzenia twierdzeń oraz systemów ekspertowych.

    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.


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



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

    Warto wiedzieć że... beta

    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.
    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.
    <|||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| |||||||||| - |||||||||| |||||||||| ||||||||||>,
    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.

    Reklama