| dbpprop:abstract
|
- Philosophical logic is the study of the more specifically philosophical aspects of logic. The term contrasts with philosophy of logic, metalogic, and mathematical logic; and since the development of mathematical logic in the late nineteenth century, it has come to include most of those topics traditionally treated by logic in general. It is concerned with characterizing notions like inference, rational thought, truth, and contents of thoughts, in the most fundamental ways possible, and trying to model them using modern formal logic. The notions in question include reference, predication, identity, truth, negation, quantification, existence, necessity, definition and entailment. Philosophical logic is not concerned with the psychological processes connected with thought, or with emotions, images and the like. It is concerned only with those entities — thoughts, sentences, or propositions — that are capable of being true and false. To this extent, though, it does intersect with philosophy of mind and philosophy of language. Gottlob Frege is regarded by many as the founder of modern philosophical logic. Not all philosophical logic, however, applies formal logical techniques. A good amount of it (including Grayling's and Colin McGinn's books cited below) is written in natural language. One definition, popular in Britain, is that philosophical logic is the attempt to solve general philosophical problems that arise when we use or think about formal logic: problems about existence, necessity, analyticity, a prioricity, propositions, identity, predication, truth. Philosophy of logic, on the other hand, would tackle metaphysical and epistemological problems about entailment, validity, and proof. So it could be said that philosophy of logic is a branch of philosophy but philosophical logic belongs to the domain of logic (though logic is itself a branch of philosophy).
- Der Ausdruck "philosophische Logik" wird in der Philosophie auf mehrfache Weise verwendet: Er bezeichnet die Logik als Teilgebiet der Philosophie, im Unterschied zur mathematischen Logik, mit der sie sich jedoch stark überschneidet. In der Philosophie wird die Logik im allgemeinen stärker als Beitrag zu einer allgemeinen Theorie des (korrekten) Argumentierens aufgefasst, die auch pragmatische Aspekte umfassen kann. Dieser Aspekt ist in der Mathematik eher unbedeutend. In der Philosophie werden im Rahmen der Disziplin Logik auch vielfach Fragen der Logikrechtfertigung u. ä. behandelt, die außerhalb der Fachkompetenz der Mathematik liegen und die man der Klarheit halber der Philosophie der Logik zurechnen sollte. Die moderne Logik beginnt mit Gottlob Frege (1879), setzte sich aber in der Philosophie eher zögerlich durch. Vor der allgemeinen Anerkennung der modernen, "symbolischen" Logik (die auch mit dem veraltenden Ausdruck "Logistik" bezeichnet wurde) in der Philosophie wurde unter "philosophischer Logik" oft die traditionelle, überwiegend aus Syllogistik bestehende Logik verstanden, die so von der "anderen", neuen Logik abgegrenzt werden sollte. Dieser Sprachgebrauch ist heute praktisch verschwunden. Als terminus technicus bezeichnet "philosophische Logik" heute meist verschiedene formale Logiken, die die Aussagen- und Prädikatenlogik in unterschiedlicher Weise erweitern, in der Regel indem sie deren Sprache um weitere Operatoren für bestimmte Redebereiche anreichern. Dazu zählen die deontische Logik, Modallogik, Interrogativlogik u.v.m. Die Bezeichnung "philosophische Logik" erklärt sich vor allem daraus, dass diese Logiken sich meist auf substanzielle philosophische Problemfelder anwenden lassen sollen (z.B. die deontische Logik auf die Ethik). Mitunter werden auch nichtklassische Logiken, die aufgrund philosophischer Überlegungen einzelnen logischen Operatoren eine gegenüber der klassischen veränderte Deutung verleihen, als "philosophische Logiken" bezeichnet. Standardbeispiele sind die intuitionistische Logik und die Relevanzlogik.
- A filozófiai logika a logika filozófiai problémáit vizsgáló tudomány, ám elnevezésének második szava dacára inkább a filozófia, mint a logika része (legalábbis nem formális módszereit tekintve). Ez a tudomány a matematikai logikától való elkülönülés eredményeképp jött létre: az elkülönülés néha a matematikával harmonikusan, egymást kiegészítve és feltételezve jött létre, (mint Gottlob Frege jénai tudós e tárgyú munkáiban), néha pedig szó szerint kimondottan a matematikai logika megtagadásának eredményeképpen (mint a kései Wittgensteinnél). Tulajdonképpen már az ókori görögök is foglalkoztak filozófiai-logikai problémákkal, de igazi előfutárnak mégis Gottfried Wilhelm Leibnizet, a 17. század egyik legnagyobb egyéniségét és polihisztorát tekinthetjük.
- 哲学的論理学（英: Philosophical logic）は、論理学のテクニックを用いて哲学的な問題を扱う論理学の一分野である。 論理学の哲学が論理学についての考察であれば、哲学的論理学は認識論的、形而上学的な問題について論理学の知識をもとに検討するものと考えることができる。しかし計算機科学や数学と関係が深く、厳密な体系を持つ数理論理学とくらべて哲学的論理学は立場が曖昧で、とくに日本では「哲学的論理学」という用語でもって特別の分野を意味することは少ない。また哲学的論理学は、19世紀末フレーゲに始まる数理論理学の発達以前の、ギリシアより続く伝統的な論理学の後継者と考えることもできる。
- De filosofische logica omvat de filosofische aspecten van logica en staat als zodanig tegenover de filosofie van de logica, de wiskundige logica en de metalogica. In de filosofische logica staat vooral de argumentatieleer centraal, eventueel in combinatie met zaken uit de taalfilosofie en de pragmatiek. Al deze aspecten spelen in de wiskunde geen rol. Anderzijds houdt de filosofische logica zich niet zoals de filosofie van de logica bezig met problemen van metafysische of epistemologische aard. Ook worden de fundamentele grondslagen van de logica niet ter discussie gesteld, zoals in de metalogica het geval is. Als terminus technicus verwijst de term "filosofische logica" tegenwoordig vooral naar formele logica's die de propositie- en de predicatenlogica verder verbreden, wat wil zeggen dat ze de formele talen hiervan van nieuwe operatoren voorzien. Voorbeelden van formele logica's zijn de deontische logica, de modale logica en de interrogatieve logica. Deze logica's dienen als hulpmiddel bij het oplossen van logisch-filosofische kwesties en ze worden filosofisch genoemd omdat ze bijvoorbeeld kwesties op het gebied van ethiek behandelen. Vormen van niet-klassieke logica zoals de intuïtionistische logica en de relevantielogica worden ook als filosofische logica beschouwd.
- Logika filozoficzna to dział filozofii zajmujący się: Filozoficznymi problemami logiki, Zastosowaniem logiki do zagadnień filozoficznych, Zagadnieniami filozofii języka. Dla realizacji pierwszego celu szczególne znaczenie ma badanie i stosowanie niektórych logik nieklasycznych, takich jak logiki modalnej, która bada pojęcia konieczności i możliwości oraz jej wariantu, czyli logiki epistemicznej, która formalizuje pojęcia wiedzy oraz przekonania. Wśród zagadnień podejmowanych w ramach filozofii logiki wymienić można problem właściwości logiki - tj. pytanie o to, która logika jest właściwa. Do zagadnień filozofii języka, które leżą w zakresie logiki filozoficznej należy, m. in. : problem formy logicznej zdań języka naturalnego analiza pojęć znaczenia, presupozycji, implikatury. Arystoteles, podjął problemy zaliczane obecnie do logiki. Zajmował się m. in. tym co obecnie nazywa się sylogistyką modalną, stworzył pierwszy systematyczny opis podstawowych praw myślenia oraz podejmował zagadnienia wartości logicznej zdań o przyszłości. Inny grecki filozof - Chryzyp w swoich badaniach nad logiką zdań wprowadził jako pierwszy pojęcie ścisłej implikacji. Logika filozoficzna osiągnęła rozkwit w średniowieczu. Jednak prawdziwy renesans przyniósł jej wiek XX. Pojawiły się pierwsze opracowania logik nieklasycznych i systemów Leśniewskiego. Zaczęto badać antynomie semantyczne i rozwijać teorię desykrypcji (Russella, teorię mnogości oraz dowiedziono twierdzenia Gödla. Nie bez znaczenia okazał się także wpływ empiryzmu logicznego, który postulował potrzebę logicznej rekonstrukcji wyników nauk przyrodniczych. W związku z tym postulatem, w ramach logiki filozoficznej zaczęto zajmować się zagadnieniem formalizacji teorii naukowych. Wielki przełom w logice filozoficznej przyniosły lata pięćdziesiąte XX w. Szczególne znaczenie miało powstanie semantyki indeksowej. Dzięki pracom Ruth Barcan Marcus, Rudolfa Carnapa, Stiga Kangera, Jaakko Hintikki oraz Richarda Montague semantyka indeksowa znalazła zastosowanie w logikach modalnych, logikach temporalnych, logikach epistemicznych oraz w pragmatyce logicznej. Od lat pięćdziesiątych datuje się także rosnące zainteresowanie klasyczną problematyką filozoficzną, która okazuje się być w wielu wypadkach blisko związana z filozofią logiki - warto wspomnieć tu o zagadnienich: esencjalizmu, przyczynowości, możliwości redukcji własności mentalnych do własności fizycznych . Oryginalnym wkładem polskim do logiki filozoficznej jest logika niefregowska Romana Suszki oraz logika pytań Andrzeja Wiśniewskiego. Od kilkudziesięciu lat najważniejsze prace z dziedziny logiki filozoficznej ukazują się w piśmie 'Journal of Philosophical Logic' wydawanym przez Kluwer Academic Publishers.
- 哲学逻辑是对逻辑更特定于哲学的方面的研究。这个术语相对于数理逻辑，因为数理逻辑开发于十九世纪晚期，已经包含了传统上一般由逻辑处理的大多数主题。它关心的是尽可能的以最基础的方式刻画如推论、理性思维、真理和思维内容这样的概念，并尝试使用现代形式逻辑建模它们。 它要谈论的概念包括引用、论断、同一、真理、否定、量化、存在性、必然性、定义和蕴涵。 哲学逻辑不关心与思维、情感、想象和类似事物相关的心理过程。它只关心那些有能力为真和假的实体 — 思维、句子、命题。尽管在这个范围内，它还感兴趣于心灵哲学和语言哲学。弗雷格被认为是现代哲学逻辑的缔造者。'
|
| rdfs:comment
|
- Philosophical logic is the study of the more specifically philosophical aspects of logic. The term contrasts with philosophy of logic, metalogic, and mathematical logic; and since the development of mathematical logic in the late nineteenth century, it has come to include most of those topics traditionally treated by logic in general.
- Der Ausdruck "philosophische Logik" wird in der Philosophie auf mehrfache Weise verwendet: Er bezeichnet die Logik als Teilgebiet der Philosophie, im Unterschied zur mathematischen Logik, mit der sie sich jedoch stark überschneidet. In der Philosophie wird die Logik im allgemeinen stärker als Beitrag zu einer allgemeinen Theorie des (korrekten) Argumentierens aufgefasst, die auch pragmatische Aspekte umfassen kann. Dieser Aspekt ist in der Mathematik eher unbedeutend.
- A filozófiai logika a logika filozófiai problémáit vizsgáló tudomány, ám elnevezésének második szava dacára inkább a filozófia, mint a logika része (legalábbis nem formális módszereit tekintve).
- De filosofische logica omvat de filosofische aspecten van logica en staat als zodanig tegenover de filosofie van de logica, de wiskundige logica en de metalogica. In de filosofische logica staat vooral de argumentatieleer centraal, eventueel in combinatie met zaken uit de taalfilosofie en de pragmatiek. Al deze aspecten spelen in de wiskunde geen rol. Anderzijds houdt de filosofische logica zich niet zoals de filosofie van de logica bezig met problemen van metafysische of epistemologische aard.
- Logika filozoficzna to dział filozofii zajmujący się: Filozoficznymi problemami logiki, Zastosowaniem logiki do zagadnień filozoficznych, Zagadnieniami filozofii języka. Dla realizacji pierwszego celu szczególne znaczenie ma badanie i stosowanie niektórych logik nieklasycznych, takich jak logiki modalnej, która bada pojęcia konieczności i możliwości oraz jej wariantu, czyli logiki epistemicznej, która formalizuje pojęcia wiedzy oraz przekonania.
|
![[RDF Data]](/statics/sw-cube.png)
