Filozofia logiki - Philosophy of logic
W następstwie rozwoju filozoficznych studiów nad logiką formalną z logiką symboliczną pod koniec XIX wieku i logiką matematyczną w XX wieku, tematy tradycyjnie traktowane przez logikę niebędącą częścią logiki formalnej były zwykle określane jako filozofia logiki lub logika filozoficzna, jeśli nie. już po prostu logika .
W porównaniu z historią logiki rozgraniczenie między filozofią logiki a logiką filozoficzną jest niedawne i nie zawsze do końca jasne. Charakterystyki obejmują:
- Filozofia logiki to dziedzina filozofii poświęcona badaniu zakresu i natury logiki.
- Filozofia logiki to badanie, krytyczna analiza i intelektualna refleksja nad zagadnieniami pojawiającymi się w logice . Dziedzina ta jest uważana za odmienną od logiki filozoficznej .
- Logika filozoficzna jest gałęzią badań, która dotyczy pytań o odniesienie , orzekanie , tożsamość , prawdę , kwantyfikację , istnienie , pociąganie , modalność i konieczność .
- Logika filozoficzna to zastosowanie formalnych technik logicznych do problemów filozoficznych.
W tym artykule przedstawiono zagadnienia z zakresu filozofii logiki, linki do odpowiednich artykułów lub jedno i drugie.
Wstęp
W tym artykule wykorzystano następujące terminy i pojęcia:
Prawda
Arystoteles powiedział , że to, co jest, a czego nie ma lub czego nie ma, jest fałszem; i powiedzieć, że to, co jest, jest i to, czego nie ma, jest prawdą”.
Ten pozorny truizm nie okazał się bezproblemowy.
Zwiastuny Prawdy
Logika używa takich terminów jak prawda, fałsz, niespójność, słuszność i wewnętrznie sprzeczne. Pytania nasuwają się, gdy Strawson (1952) pisze:
(a) Co dokładnie oceniamy, używając tych słów logicznej oceny? oraz (b) jak możliwa jest logiczna ocena?
Definicja prawdy Tarskiego
Widzieć:
- Semantyczna teoria prawdy § Teoria Tarskiego
- Schemat T
- Wpis w Stanford Encyclopedia of Philosophy na temat definicji prawdy Tarskiego
- Odniesienie do siebie: 2.1 Konsekwencje paradoksów semantycznych w Stanford Encyclopedia of Philosophy
Prawdy analityczne, prawda logiczna, słuszność, konsekwencja logiczna i implikacja
Ponieważ użycie, znaczenie, jeśli nie sensowność, terminów jest częścią debaty, możliwe jest tylko podanie następujących definicji roboczych na potrzeby dyskusji:
- Konieczne prawdą jest, że jest prawdą bez względu na stan świata, albo, jak to się czasem mówiąc, we wszystkich możliwych światów.
- Prawdy logiczne to te konieczne prawdy, które z konieczności są prawdziwe ze względu na znaczenie ich stałych logicznych.
- W logice formalnej prawda logiczna to po prostu „wypowiedź” (ciąg symboli, w którym żadna zmienna nie występuje wolna), która jest prawdziwa we wszystkich możliwych interpretacjach .
- Prawda analityczna to taka, której pojęcie orzecznika zawarte jest w jej pojęciu podmiotowym.
Pojęcie prawdy logicznej jest ściśle powiązana z działaniami ważności , logiczną konsekwencją i wynikania (jak również samodzielnego sprzeczności, koniecznie fałszywe itd.).
- Jeśli q jest prawdą logiczną, to p , a zatem q będzie prawidłowym argumentem.
- Jeśli p1, p2, p3 ... pn, zatem q jest prawidłowym argumentem, to odpowiadający mu warunek będzie logiczną prawdą.
- Jeśli p1 & p2 & p3 ... pn pociąga za sobą q, to jeśli (p1 & p2 & p3 ... pn) to q jest prawdą logiczną.
- Jeśli q jest logiczną konsekwencją p1 & p2 & p3 ... pn wtedy i tylko wtedy, gdy p1 & p2 & p3 ... pn pociąga za sobą q i wtedy i tylko wtedy, gdy If (p1 & p2 & p3..pn) to q jest logiczna prawda
Pojawiające się problemy obejmują:
- Jeśli istnieją prawdy, które muszą być prawdziwe, co je czyni?
- Czy istnieją prawdy analityczne, które nie są prawdami logicznymi?
- Czy są konieczne prawdy, które nie są prawdami analitycznymi?
- Czy są konieczne prawdy, które nie są prawdami logicznymi?
- Czy rozróżnienie między prawdą analityczną a prawdą syntetyczną jest fałszywe?
Zobacz także [1]
Paradoks
Znaczenie i odniesienie
Widzieć
- Sens i odniesienie
- Teoria odniesienia
- Zapośredniczona teoria odniesienia
- Teoria bezpośredniego odniesienia
- Przyczynowa teoria odniesienia (sekcja Referencje)
- Deskryptywistyczna teoria nazw (sekcja Bibliografia)
- Saul Kripke (sekcja Referencje)
- Zagadka Fregego (sekcja Nowe teorie odniesienia i powrót zagadki Fregego)
- Gottlob Frege (sekcja Referencje)
- Brak referencji (sekcja Referencje)
- Desygnator sztywny (sekcja przyczynowo-historyczna teoria odniesienia)
- Filozofia języka (sekcja Referencje)
- Indeks filozofii artykułów językowych
- Teoria przypuszczeń (sekcja Referencje)
- Odnoszące się wyrażenie
- Znaczenie (filozofia języka)
- Oznaczenie i konotacja
- Rozszerzenie i intencja
- Rozszerzona definicja
- Definicja intencjonalna
- Kompetencje metakomunikacyjne
Nazwy i opisy
- Brak odniesienia
- Nazwa właściwa (filozofia)
- Określony opis
- Deskryptywistyczna teoria nazw
- Teoria opisów
- Pojedynczy termin
- Logika terminów § Pojedyncze terminy
- Pusta nazwa
- Bas van Fraassen § Pojedyncze terminy, luki w wartości prawdy i wolna logika
- Podstawy arytmetyki § Rozwój własnego poglądu Fregego na liczbę
- Filozofia języka § odniesienia
- Bezpośrednie odniesienie
- Zapośredniczona teoria odniesienia
Konsekwencja formalna i materialna
- Problem materialnego warunkowego: patrz Material warunkowy
Stałe logiczne i spójniki
Kwantyfikatory i teoria kwantyfikacji
Logika modalna
Dewiacyjne logiki
Logika klasyczna a nieklasyczna
Filozoficzne teorie logiki
- Konceptualizm
- Konstruktywizm
- Dialeteizm
- fikcjonalizm
- Finizm
- Formalizm
- Intuicjonizm
- Atomizm logiczny
- Logistyka
- Nominalizm
- Realizm
- Realizm platoński
- Strukturalizm
- Epistemologia Nyaya
Inne tematy
- Prawo Leibniza: patrz Tożsamość nieodróżnialnych
- Bezmyślne nazwy
- Czy predykaty mają właściwości?: Zobacz Logika drugiego rzędu
- Sens, odniesienie, konotacja, denotacja, rozszerzenie, intencja
- Status praw logiki
- Klasyczna logika
- Intuicjonizm
- Realizm: patrz platońskiej realizmu , Filozoficzne realizm
- Prawo wykluczonego środka: patrz Prawo wykluczonego środka
- Modalność, intensywność i postawa propozycjonalna
- Fakty kontrfaktyczne
- Psychologizm
Zobacz też
- Dwuznaczność
- Gramatyka bezkontekstowa
- Żywość
- „ Czy logika jest empiryczna? ”
- Teoria konkatenacji
- Modalność językowa
- Filozofia matematyki
- Odznaczenie typu Pierce'a
- Rozróżnienie typu tokena
- Rozróżnienie między użyciem a wzmiankami
- Brak precyzji
Ważne liczby
Liczby w filozofii logiki obejmują (ale nie ograniczają się do):
Filozofowie logiki
|
Bibliografia
Źródła
- Haack, Susan . 1978. Filozofia logiki . Wydawnictwo Uniwersytetu Cambridge . ( ISBN 0-521-29329-4 )
- Quine, WVO 2004. Filozofia logiki . 2. wyd. Wydawnictwo Uniwersytetu Harvarda . ( ISBN 0-674-66563-5 )
- Alfred Tarski . 1983. Pojęcie prawdy w językach sformalizowanych, s. 152–278, Logika, semantyka, metamatematyka, artykuły od 1923 do 1938, wyd. John Corcoran (logik) , Hackett, Indianapolis 1983.
Dalsza lektura
- Fisher Jennifer, O filozofii logiki , Thomson Wadworth, 2008, ISBN 978-0-495-00888-0
- Goble, Lou, ed., 2001. (The Blackwell Guide to) Philosophical Logic. Oksford: Blackwell . ISBN 0-631-20693-0 .
- Grayling, AC , 1997. Wprowadzenie do logiki filozoficznej. 3. wyd. Oksford: Blackwell. ISBN 0-631-19982-9 .
- Jacquette, Dale, ed., 2002. Towarzysz logiki filozoficznej. Oxford Blackwell. ISBN 1-4051-4575-7 .
- Kneale, W&M (1962). Rozwój logiki . Oksford. Numer ISBN 9780198247739.
- McGinn, Colin, 2000. Właściwości logiczne: tożsamość, istnienie, orzekanie, konieczność, prawda . Oksford: Oxford University Press . ISBN 0-19-926263-2 .
- Quine'a, Willarda Van Ormana (1970). Filozofia Logiki . Prentice Hall: New JerseyUSA.
- Sainsbury, Mark, 2001. Formy logiczne: wprowadzenie do logiki filozoficznej. 2. wyd. Oksford: Blackwell. ISBN 0-631-21679-0 .
- Strawson, PF (1967). Logika filozoficzna . UP.
- Alfred Tarski , 1983. Pojęcie prawdy w językach sformalizowanych, s. 152–278, Logika, semantyka, metamatematyka, artykuły od 1923 do 1938, wyd. John Corcoran (logik) , Hackett, Indianapolis 1983.
- Wolfram, Sybil, 1989. Logika filozoficzna: wprowadzenie. Londyn: Routledge . 290 stron. ISBN 0-415-02318-1 , ISBN 978-0-415-02318-4
- Journal of Philosophical Logic , Springer SBM