-
W empik go
Wprowadzenie do logiki: od podstaw po metafizykę, epistemologię, filozofię języka, matematyki i nauki - ebook
Wydawnictwo:
Data wydania:
1 kwietnia 2023
Format ebooka:
EPUB
Format
EPUB
czytaj
na czytniku
czytaj
na tablecie
czytaj
na smartfonie
Jeden z najpopularniejszych formatów e-booków na świecie.
Niezwykle wygodny i przyjazny czytelnikom - w przeciwieństwie do formatu
PDF umożliwia skalowanie czcionki, dzięki czemu możliwe jest dopasowanie
jej wielkości do kroju i rozmiarów ekranu. Więcej informacji znajdziesz
w dziale Pomoc.
Multiformat
E-booki w Virtualo.pl dostępne są w opcji multiformatu.
Oznacza to, że po dokonaniu zakupu, e-book pojawi się na Twoim koncie we wszystkich formatach dostępnych aktualnie dla danego tytułu.
Informacja o dostępności poszczególnych formatów znajduje się na karcie produktu.
Format
MOBI
czytaj
na czytniku
czytaj
na tablecie
czytaj
na smartfonie
Jeden z najczęściej wybieranych formatów wśród czytelników
e-booków. Możesz go odczytać na czytniku Kindle oraz na smartfonach i
tabletach po zainstalowaniu specjalnej aplikacji. Więcej informacji
znajdziesz w dziale Pomoc.
Multiformat
E-booki w Virtualo.pl dostępne są w opcji multiformatu.
Oznacza to, że po dokonaniu zakupu, e-book pojawi się na Twoim koncie we wszystkich formatach dostępnych aktualnie dla danego tytułu.
Informacja o dostępności poszczególnych formatów znajduje się na karcie produktu.
Multiformat
E-booki sprzedawane w księgarni Virtualo.pl dostępne są w opcji
multiformatu - kupujesz treść, nie format. Po dodaniu e-booka do koszyka
i dokonaniu płatności, e-book pojawi się na Twoim koncie w Mojej
Bibliotece we wszystkich formatach dostępnych aktualnie dla danego
tytułu. Informacja o dostępności poszczególnych formatów znajduje się na
karcie produktu przy okładce. Uwaga: audiobooki nie są objęte opcją
multiformatu.
czytaj
na tablecie
Aby odczytywać e-booki na swoim tablecie musisz zainstalować specjalną
aplikację. W zależności od formatu e-booka oraz systemu operacyjnego,
który jest zainstalowany na Twoim urządzeniu może to być np. Bluefire
dla EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
czytaj
na czytniku
Czytanie na e-czytniku z ekranem e-ink jest bardzo wygodne i nie męczy
wzroku. Pliki przystosowane do odczytywania na czytnikach to przede
wszystkim EPUB (ten format możesz odczytać m.in. na czytnikach
PocketBook) i MOBI (ten fromat możesz odczytać m.in. na czytnikach Kindle).
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
czytaj
na smartfonie
Aby odczytywać e-booki na swoim smartfonie musisz zainstalować specjalną
aplikację. W zależności od formatu e-booka oraz systemu operacyjnego,
który jest zainstalowany na Twoim urządzeniu może to być np. iBooks dla
EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
Czytaj fragment
Pobierz fragment
Pobierz fragment w jednym z dostępnych formatów
LUB
24,99 zł za tytuł
Tytuł dostępny w abonamencie Empik Go już od 24,99 zł / 30 dni
Sprawdź
Słuchaj i czytaj w abonamencie Go Standard już za 24,99 zł / 30 dni. Subskrypcja Go Standard daje możliwość dodania do biblioteki 3 dowolne tytuły w danym okresie rozliczeniowym (30 dni). Wybierasz z ponad 200 tys. audiobooków, ebooków i podcastów.
Wprowadzenie do logiki: od podstaw po metafizykę, epistemologię, filozofię języka, matematyki i nauki - ebook
Wprowadzenie do logiki to kompleksowa książka, która prezentuje podstawowe pojęcia i definicje z dziedziny logiki oraz metafizyki. Autor opowie o rachunku zdań, rachunku predykatów pierwszego rzędu i różnych systemach formalnych. Przybliża logikę filozoficzną, logiczną analizę języka i semantykę modalną. Książka zawiera rozdziały o logice nieklasycznej i koncepcji bytu. Wnioskowaniu indukcyjnym, naturze dowodu i udowodnienia to kolejne interesujące tematy, których nie brakuje w tej książce.
| Kategoria: | Polonistyka |
| Zabezpieczenie: |
Watermark
|
| ISBN: | 978-83-8351-013-2 |
| Rozmiar pliku: | 964 KB |
FRAGMENT KSIĄŻKI
Wniosek
Wniosek (ang. inference) jest podstawowym pojęciem w logice, oznaczającym proces dedukcyjny, w którym z pewnych założeń (premisy) wyprowadzane są nowe informacje (wnioski). Wniosek polega na uzyskaniu nowych informacji z już istniejących, wykorzystując reguły wnioskowania.
W logice formalnej wnioskowanie opiera się na regułach logicznych, a proces ten nazywany jest dedukcją. W dedukcji z założeń wynika wniosek, który jest prawdziwy, gdy założenia są prawdziwe. W logice formalnej wnioskowanie odbywa się zawsze na podstawie pewnych reguł, np. zasady modus ponens, która mówi, że jeśli założenia są prawdziwe, to wniosek z nich wynikający też jest prawdziwy.
Wniosek jest ważnym pojęciem w różnych dziedzinach nauki, w tym w matematyce, filozofii, informatyce, lingwistyce czy sztucznej inteligencji. Proces wnioskowania jest jednym z kluczowych elementów algorytmów sztucznej inteligencji, w tym uczenia maszynowego i systemów ekspertowych.Syllogizm
Syllogizm jest podstawowym pojęciem w logice i odnosi się do argumentu opartego na dwóch premisach i wniosku. W syllogizmie obie premisy są wykorzystane, aby osiągnąć wniosek, który jest zasadniczo logiczną konsekwencją premis.
Syllogizm składa się z trzech części:
PIERWSZA PREMISA
— wyraża ogólną prawidłowość, np. „wszyscy ludzie są śmiertelni”
DRUGA PREMISA
— odnosi się do konkretnej sytuacji, np. „Sokrates jest człowiekiem”
WNIOSEK
— wynika z powiązania między pierwszą i drugą premisą, np. „więc Sokrates jest śmiertelny”.
Syllogizmy można sklasyfikować na różne sposoby, ale najbardziej znana klasyfikacja została stworzona przez Arystotelesa. Arystoteles rozróżnił cztery rodzaje syllogizmów, które różniły się od siebie rodzajami i ilością używanych terminów:
SYLOGIZMY KATAGORYCZNE
— odnoszące się do kategorii, np. „wszyscy ludzie są śmiertelni”.
SYLOGIZMY DYSJUNKCYJNE
— zawierające alternatywę, np. „albo Sokrates jest człowiekiem, albo jest bogiem”.
SYLOGIZMY HIPOTETYCZNE
— oparte na założeniach, np. „jeśli Sokrates jest człowiekiem, to jest śmiertelny”.
SYLOGIZMY DIALEKTYCZNE
— oparte na rozważeniach przeciwstawnych, np. „Sokrates jest mądry, ale nie jest nieskończenie mądry”.
PODSUMOWANIE
Syllogizmy są często wykorzystywane w logice, filozofii i matematyce jako narzędzie do analizy i wnioskowania. Są one również używane w języku naturalnym, chociaż często są skracane i niejasne.Konsekwencja
Konsekwencja jest jednym z podstawowych pojęć w logice. Odnosi się ona do związku między dwoma zdaniami, z których jedno wynika z drugiego. Innymi słowy, zdanie A jest konsekwencją zdania B, jeśli A musi być prawdziwe, jeśli B jest prawdziwe.
Formalnie, konsekwencja jest zdefiniowana jako relacja między zbiorami zdaniowymi. Jeśli zbiór zdaniowy A jest konsekwencją zbioru zdaniowego B, to każde zdanie, które jest prawdziwe w zbiorze B, musi być również prawdziwe w zbiorze A. Zbiór A jest wtedy nazywany zbiorem konsekwencji B.
Konsekwencja jest podstawowym pojęciem w wielu dziedzinach logiki, takich jak logika formalna, logika matematyczna i logika filozoficzna. W logice formalnej, konsekwencja jest często definiowana w ramach systemu aksjomatycznego, który określa zbiór reguł logicznych, które umożliwiają wyprowadzanie konsekwencji z pewnego zbioru założeń. W logice matematycznej, konsekwencja jest zwykle stosowana do dowodzenia twierdzeń matematycznych. Natomiast w logice filozoficznej, konsekwencja jest używana do badania poprawności argumentów i wnioskowań.Wyprowadzenie
Wyprowadzenie (ang. inference) to podstawowe pojęcie w logice, które odnosi się do procesu wnioskowania, czyli do wyciągania nowych informacji na podstawie już posiadanych.
Wyprowadzenie składa się z dwóch etapów:
premissy (założenia) oraz konkluzji (wniosku).
Założenia to stwierdzenia, które przyjmujemy jako prawdziwe, a na ich podstawie wnioskujemy o prawdziwości innych stwierdzeń, które stanowią konkluzję.
Przykładem prostego wyprowadzenia może być:
Premissa 1: Wszyscy ludzie są śmiertelni.
Premissa 2: Jan jest człowiekiem.
Konkluzja: Jan jest śmiertelny.
Wyprowadzenie może być poprawne lub niepoprawne, w zależności od tego, czy konkluzja wynika z założeń. Istnieją różne metody wyprowadzania wniosków, np. dedukcja, czy indukcja, które są stosowane w różnych dziedzinach, m.in. w matematyce, filozofii, czy informatyce.Logika formalna
Logika formalna jest podstawowym pojęciem w logice, ponieważ odnosi się do systematycznego podejścia do badania argumentów i wnioskowania, które opiera się na precyzyjnych regułach i symbolach matematycznych.
Logika formalna skupia się na badaniu formy argumentów i struktury języka, którymi się posługujemy, nie zaś na treści samego argumentu czy problemu. W tym celu wykorzystuje abstrakcyjne symbole i reguły, które pozwalają na analizę logiczną dowolnego rodzaju wypowiedzi.
Podstawowymi elementami logiki formalnej są:
język formalny, czyli zbiór symboli i reguł, które służą do reprezentowania wypowiedzi,
systemy formalne, czyli formalne modele, które opisują reguły wnioskowania,
dowody formalne, czyli sekwencje zdań zbudowane zgodnie z regułami systemu formalnego, które pozwalają na stwierdzenie poprawności, lub niepoprawności danego argumentu.
Dzięki logice formalnej możliwe jest przeprowadzenie precyzyjnej analizy argumentów i wnioskowań, a także budowa systemów formalnych, które pozwalają na automatyczne przetwarzanie wypowiedzi i wnioskowanie na ich podstawie. Logika formalna jest również podstawą dla wielu dziedzin nauki, takich jak informatyka, matematyka czy filozofia.Logika materialna
Logika materialna jest jednym z podstawowych pojęć w logice i odnosi się do koncepcji logiki opartej na zasadach i regułach prawdziwości zdania, a nie na formalnych manipulacjach symbolami.
W logice materialnej kluczową rolę odgrywa pojęcie zdania, które jest uznawane za podstawowy element logiki. Zdanie to jest wyrażeniem, które można uznać za prawdziwe lub fałszywe, a jego wartość logiczna jest określona przez to, czy jest to fakt rzeczywisty. Logika materialna zajmuje się badaniem zasad, według których można określać, które zdania są prawdziwe, a które fałszywe.
W logice materialnej stosuje się pojęcie konsekwencji logicznej, które odnosi się do relacji między jednym zdaniem, a innym zdaniem. Mówimy, że zdanie B jest konsekwencją logiczną zdania A, gdy zdanie A jest prawdziwe, zdanie B także jest prawdziwe. Zatem logika materialna bada, jakie są reguły konsekwencji logicznej, czyli jakie zdania wynikają z innych zdań na podstawie logiki samej w sobie, a nie na podstawie reguł rachunku logicznego.
W logice materialnej, jako że skupia się na analizie zdań i ich konsekwencji logicznych, występują różne pojęcia takie jak negacja, alternatywa, koniunkcja, implikacja, bądź równoważność logiczna, które pozwalają na precyzyjne określanie zasad logicznych. Logika materialna jest jednym z podstawowych nurtów logiki, który pozwala na analizę języka naturalnego i stosowanie go w praktycznych zastosowaniach, takich jak matematyka, informatyka, a także w naukach społecznych.Reguły wnioskowania
Reguły wnioskowania to podstawowe pojęcie w logice, które służy do uzyskiwania nowych informacji z już istniejących. W logice formalnej, reguły wnioskowania są precyzyjnie zdefiniowane i muszą być zawsze zachowane w celu uzyskania poprawnych wniosków.
Podstawowe reguły wnioskowania w logice to:
MODUS PONENS
— jeśli A jest prawdziwe, a z A wynika B, to B jest również prawdziwe.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jest wiosna (A), więc kwitną drzewa (B).
MODUS TOLLENS
— jeśli z A wynika B, a B nie jest prawdziwe, to A nie jest prawdziwe.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Kwitnące drzewa (nie-B), więc nie jest wiosna (nie-A).
SILOGIZM
— jeśli A wynika z B, a B wynika z C, to A wynika z C.
Przykład: Wszyscy ludzie (A) są śmiertelni (B). Socrates (C) jest człowiekiem (A), więc Socrates (C) jest śmiertelny (B).
ROZSZERZENIE IMPLIKACJI
— jeśli A wynika z B, to A wynika z dowolnego zdania, które zawiera B jako część.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jeśli jest wiosna (A) i pada deszcz (C), to kwitną drzewa (B) i mokną trawniki (D).
PODSUMOWANIE
Reguły wnioskowania są kluczowe dla logiki, ponieważ pozwalają na uzyskiwanie nowych informacji z już istniejących. Dzięki temu logika może pomóc w rozumowaniu, formułowaniu hipotez i weryfikowaniu faktów.
Wniosek (ang. inference) jest podstawowym pojęciem w logice, oznaczającym proces dedukcyjny, w którym z pewnych założeń (premisy) wyprowadzane są nowe informacje (wnioski). Wniosek polega na uzyskaniu nowych informacji z już istniejących, wykorzystując reguły wnioskowania.
W logice formalnej wnioskowanie opiera się na regułach logicznych, a proces ten nazywany jest dedukcją. W dedukcji z założeń wynika wniosek, który jest prawdziwy, gdy założenia są prawdziwe. W logice formalnej wnioskowanie odbywa się zawsze na podstawie pewnych reguł, np. zasady modus ponens, która mówi, że jeśli założenia są prawdziwe, to wniosek z nich wynikający też jest prawdziwy.
Wniosek jest ważnym pojęciem w różnych dziedzinach nauki, w tym w matematyce, filozofii, informatyce, lingwistyce czy sztucznej inteligencji. Proces wnioskowania jest jednym z kluczowych elementów algorytmów sztucznej inteligencji, w tym uczenia maszynowego i systemów ekspertowych.Syllogizm
Syllogizm jest podstawowym pojęciem w logice i odnosi się do argumentu opartego na dwóch premisach i wniosku. W syllogizmie obie premisy są wykorzystane, aby osiągnąć wniosek, który jest zasadniczo logiczną konsekwencją premis.
Syllogizm składa się z trzech części:
PIERWSZA PREMISA
— wyraża ogólną prawidłowość, np. „wszyscy ludzie są śmiertelni”
DRUGA PREMISA
— odnosi się do konkretnej sytuacji, np. „Sokrates jest człowiekiem”
WNIOSEK
— wynika z powiązania między pierwszą i drugą premisą, np. „więc Sokrates jest śmiertelny”.
Syllogizmy można sklasyfikować na różne sposoby, ale najbardziej znana klasyfikacja została stworzona przez Arystotelesa. Arystoteles rozróżnił cztery rodzaje syllogizmów, które różniły się od siebie rodzajami i ilością używanych terminów:
SYLOGIZMY KATAGORYCZNE
— odnoszące się do kategorii, np. „wszyscy ludzie są śmiertelni”.
SYLOGIZMY DYSJUNKCYJNE
— zawierające alternatywę, np. „albo Sokrates jest człowiekiem, albo jest bogiem”.
SYLOGIZMY HIPOTETYCZNE
— oparte na założeniach, np. „jeśli Sokrates jest człowiekiem, to jest śmiertelny”.
SYLOGIZMY DIALEKTYCZNE
— oparte na rozważeniach przeciwstawnych, np. „Sokrates jest mądry, ale nie jest nieskończenie mądry”.
PODSUMOWANIE
Syllogizmy są często wykorzystywane w logice, filozofii i matematyce jako narzędzie do analizy i wnioskowania. Są one również używane w języku naturalnym, chociaż często są skracane i niejasne.Konsekwencja
Konsekwencja jest jednym z podstawowych pojęć w logice. Odnosi się ona do związku między dwoma zdaniami, z których jedno wynika z drugiego. Innymi słowy, zdanie A jest konsekwencją zdania B, jeśli A musi być prawdziwe, jeśli B jest prawdziwe.
Formalnie, konsekwencja jest zdefiniowana jako relacja między zbiorami zdaniowymi. Jeśli zbiór zdaniowy A jest konsekwencją zbioru zdaniowego B, to każde zdanie, które jest prawdziwe w zbiorze B, musi być również prawdziwe w zbiorze A. Zbiór A jest wtedy nazywany zbiorem konsekwencji B.
Konsekwencja jest podstawowym pojęciem w wielu dziedzinach logiki, takich jak logika formalna, logika matematyczna i logika filozoficzna. W logice formalnej, konsekwencja jest często definiowana w ramach systemu aksjomatycznego, który określa zbiór reguł logicznych, które umożliwiają wyprowadzanie konsekwencji z pewnego zbioru założeń. W logice matematycznej, konsekwencja jest zwykle stosowana do dowodzenia twierdzeń matematycznych. Natomiast w logice filozoficznej, konsekwencja jest używana do badania poprawności argumentów i wnioskowań.Wyprowadzenie
Wyprowadzenie (ang. inference) to podstawowe pojęcie w logice, które odnosi się do procesu wnioskowania, czyli do wyciągania nowych informacji na podstawie już posiadanych.
Wyprowadzenie składa się z dwóch etapów:
premissy (założenia) oraz konkluzji (wniosku).
Założenia to stwierdzenia, które przyjmujemy jako prawdziwe, a na ich podstawie wnioskujemy o prawdziwości innych stwierdzeń, które stanowią konkluzję.
Przykładem prostego wyprowadzenia może być:
Premissa 1: Wszyscy ludzie są śmiertelni.
Premissa 2: Jan jest człowiekiem.
Konkluzja: Jan jest śmiertelny.
Wyprowadzenie może być poprawne lub niepoprawne, w zależności od tego, czy konkluzja wynika z założeń. Istnieją różne metody wyprowadzania wniosków, np. dedukcja, czy indukcja, które są stosowane w różnych dziedzinach, m.in. w matematyce, filozofii, czy informatyce.Logika formalna
Logika formalna jest podstawowym pojęciem w logice, ponieważ odnosi się do systematycznego podejścia do badania argumentów i wnioskowania, które opiera się na precyzyjnych regułach i symbolach matematycznych.
Logika formalna skupia się na badaniu formy argumentów i struktury języka, którymi się posługujemy, nie zaś na treści samego argumentu czy problemu. W tym celu wykorzystuje abstrakcyjne symbole i reguły, które pozwalają na analizę logiczną dowolnego rodzaju wypowiedzi.
Podstawowymi elementami logiki formalnej są:
język formalny, czyli zbiór symboli i reguł, które służą do reprezentowania wypowiedzi,
systemy formalne, czyli formalne modele, które opisują reguły wnioskowania,
dowody formalne, czyli sekwencje zdań zbudowane zgodnie z regułami systemu formalnego, które pozwalają na stwierdzenie poprawności, lub niepoprawności danego argumentu.
Dzięki logice formalnej możliwe jest przeprowadzenie precyzyjnej analizy argumentów i wnioskowań, a także budowa systemów formalnych, które pozwalają na automatyczne przetwarzanie wypowiedzi i wnioskowanie na ich podstawie. Logika formalna jest również podstawą dla wielu dziedzin nauki, takich jak informatyka, matematyka czy filozofia.Logika materialna
Logika materialna jest jednym z podstawowych pojęć w logice i odnosi się do koncepcji logiki opartej na zasadach i regułach prawdziwości zdania, a nie na formalnych manipulacjach symbolami.
W logice materialnej kluczową rolę odgrywa pojęcie zdania, które jest uznawane za podstawowy element logiki. Zdanie to jest wyrażeniem, które można uznać za prawdziwe lub fałszywe, a jego wartość logiczna jest określona przez to, czy jest to fakt rzeczywisty. Logika materialna zajmuje się badaniem zasad, według których można określać, które zdania są prawdziwe, a które fałszywe.
W logice materialnej stosuje się pojęcie konsekwencji logicznej, które odnosi się do relacji między jednym zdaniem, a innym zdaniem. Mówimy, że zdanie B jest konsekwencją logiczną zdania A, gdy zdanie A jest prawdziwe, zdanie B także jest prawdziwe. Zatem logika materialna bada, jakie są reguły konsekwencji logicznej, czyli jakie zdania wynikają z innych zdań na podstawie logiki samej w sobie, a nie na podstawie reguł rachunku logicznego.
W logice materialnej, jako że skupia się na analizie zdań i ich konsekwencji logicznych, występują różne pojęcia takie jak negacja, alternatywa, koniunkcja, implikacja, bądź równoważność logiczna, które pozwalają na precyzyjne określanie zasad logicznych. Logika materialna jest jednym z podstawowych nurtów logiki, który pozwala na analizę języka naturalnego i stosowanie go w praktycznych zastosowaniach, takich jak matematyka, informatyka, a także w naukach społecznych.Reguły wnioskowania
Reguły wnioskowania to podstawowe pojęcie w logice, które służy do uzyskiwania nowych informacji z już istniejących. W logice formalnej, reguły wnioskowania są precyzyjnie zdefiniowane i muszą być zawsze zachowane w celu uzyskania poprawnych wniosków.
Podstawowe reguły wnioskowania w logice to:
MODUS PONENS
— jeśli A jest prawdziwe, a z A wynika B, to B jest również prawdziwe.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jest wiosna (A), więc kwitną drzewa (B).
MODUS TOLLENS
— jeśli z A wynika B, a B nie jest prawdziwe, to A nie jest prawdziwe.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Kwitnące drzewa (nie-B), więc nie jest wiosna (nie-A).
SILOGIZM
— jeśli A wynika z B, a B wynika z C, to A wynika z C.
Przykład: Wszyscy ludzie (A) są śmiertelni (B). Socrates (C) jest człowiekiem (A), więc Socrates (C) jest śmiertelny (B).
ROZSZERZENIE IMPLIKACJI
— jeśli A wynika z B, to A wynika z dowolnego zdania, które zawiera B jako część.
Przykład: Jeśli jest wiosna (A), to kwitną drzewa (B). Jeśli jest wiosna (A) i pada deszcz (C), to kwitną drzewa (B) i mokną trawniki (D).
PODSUMOWANIE
Reguły wnioskowania są kluczowe dla logiki, ponieważ pozwalają na uzyskiwanie nowych informacji z już istniejących. Dzięki temu logika może pomóc w rozumowaniu, formułowaniu hipotez i weryfikowaniu faktów.
więcej..
