논리학

논리학(論理學, 문화어: 론리학, 영어: logic, formal logic)은 논리 및 그것과 관련한 구성과 원리들을 분석하고 체계화하는 학문이다. 타당한 논증, 곧 추론증명의 법칙을 연구하는 학문으로, 일반적으로 논증 학문이라고 정의한다. 판단·추리·개념 등과 관련하여 올바른 명제를 전제로 하는 '타당한 추론(推論)의 형식'(valid rules of inference)에 관한 인문 과학이라 한다. 흔히 철학 한 분과로 분류하나,[1][2] 형식 논리학은 수학기초론과 관련이 깊다. 한편 라이프니츠는 '모든 과학들이 공리들을 규명할 때 그러한 사용에서 그리고 그러한 원칙에서의 논리학의 당위적인 역할'이라는 맥락으로 서술했다.[3][4]

어원

논리학은 유럽언어인 고대 그리스어 '로고스'에서 유래한 영어 'Logic', 독일어 'Logik', 프랑스어 'Logique'이다. 로고스(Logos)는 '로게인'(Legein, 세다, 모으다, 배열하다, 말하다)라는 동사에서 전환한 명사다. 말, 생각, 사유, 사고, 논리라는 뜻 이외에도 개념, 판단, 정의(定義), 이유, 이성, 진리, 사상, 법칙, 이론, 학문 등의 뜻이 있다.

비형식 논리학

형식 체계를 중심에 두지 않는 논리학을 흔히 비형식 논리학으로 부르는데, 여기서는 추리 형식의 타당성뿐만 아니라 판단이나 개념의 내용이 진리인 것 같은 인식을 얻기 위한 사고의 경로나 그 형태를 연구한다. 예로부터 뛰어난 철학자들은 자기의 철학적 인식을 올바른 것으로 하기 위해, 아리스토텔레스의 연역적 논리학 대신 모두 각자의 입장에서 특징 있는 인식론적 논리학을 설정했다. 베이컨귀납적 논리학, 칸트선험적 논리학, 헤겔이나 마르크스변증법적 논리학, 듀이실험적 논리학 등이 그 대표적인 예이다.

사리에 맞는 합리적인 사고로 그 내용을 올바르게 타인에게 전달하기 위해 반드시 그래야 하는 사고의 규범을 연구대상으로 삼는데, 심리학은 사고과정 자체를 연구하고 논리학은 '올바른' 사고과정에 대해 연구한다는 점에서 둘은 구별된다.

형식 논리학

형식 논리학은 개개의 판단이나 개념의 내용에 상관없이 추리의 형식상 타당성만을 문제로 삼는다. 형식논리학은 아리스토텔레스로 대표되는 고전논리학이 있으며 현대의 형식논리학은 흔히 수리논리학(기호논리학)을 가리키는 말로 쓰이며, 현대 수학의 근간을 이루는 수학기초론을 구성하기도 한다.

역사

고전적인 형식논리학의 토대를 세운 것은 기원전 4세기의 아리스토텔레스로, 그의 오르가논에서는 올바른 추론 및 증명을 논하는 '논증'의 토대가 제시되었고, 이는 수천년 간 서양 철학 발전의 근본을 이루게 된다. 이후 중세에는 오컴, 아벨라르, 라이프니츠 등의 학자들이 이를 바탕으로 논리학에 대한 다양한 업적을 남겼다.

이후 근대에는, 고틀로프 프레게가 그의 저술 《개념 표기법》에서 논리학적 기호와 체계화된 술어 논리를 고안하였고, 주세페 페아노집합론을 발전시키고 페아노 공리계를 고안하여 수학의 논리적 기초를 세웠다. 20세기 초는 그 시기를 기준으로 이전을 고전논리학, 그 이후를 현대논리학으로 구분될 정도로 중요한 변혁이 발생한 시기로, 특히 게오르크 칸토어의 집합론적 연구로부터 영감을 받아 버트런드 러셀알프레드 노스 화이트헤드가 공동으로 저술한 《수학 원리》(라틴어: Principia Mathematica 프린키피아 마테마티카[*], 1910-1913)가 출간되었는데, 이 저서는 현대 수학기초론이 성립하는 데 막대한 영향을 끼쳤고. 또한 러셀의 역설이나 칸토어의 역설은 사실로 믿어져온 고전 논리학 및 집합론에 명백한 오류가 있음을 지적하였고, 확실한 수학적 공리의 필요성이 호소되기 시작했다.

그러나 쿠르트 괴델1930년 10월 '참이지만 증명할 수 없는 산술적 명제가 존재한다'는 불완전성 정리를 발표하면서 페아노 공리의 '완벽성'이 흔들리게 되었고, 논리학도 전환기를 맞이하게 되었다.[5][6]

현대에는 체르멜로-프렝켈 공리에 선택공리가 추가된 ZFC 공리계의 9가지 공리가 일반 수학기초론을 이루고 있으며, 많은 공리들이 이와 무모순적(독립적)임이 증명되어 있다. 또한 공리를 비교적 자유롭게 다룸으로써 다양한 대상들을 다룰 수 있도록 하는 직관논리, 양상 논리 등 새로운 수리논리학적 체계들이 등장하였다.

올바른 추론의 형식

한편 올바른 추론의 절차에서 '올바르다'는 의미는 연역적 추론에서는 '타당성'이 성립한 경우를 그리고 귀납 논리학에서는 '귀납적으로 강한' 추론을 가리킨다. 특히 '귀납적으로 강하다'는 의미는 '전제를 제시하고 그 전제로부터 나오는 결론이 성립되는 확률이 1'에 가까워지는 추론을 말한다. 또한 타당한 추론은 논리적으로 전제들이 제시되면 그 전체들로부터 나오는 결론과 상관없이 추론의 타당성을 판별할 수 있는데 이를 '타당한' 추론형식이라고 부른다.

명제론

명제는 그 내용이 참인지 거짓인지 누구나 명확하게 판단할 수 있는 수식이나 문장을 의미한다. 어떤 문제에 대한 하나의 논리적 판단 내용과 주장을 언어 또는 기호로 표시한 완결된 문장이다. 참과 거짓을 판단할 수 있는 내용이라는 점이 특징이며 이를테면, ‘고래는 포유류이다.’ 따위이다. 명제의 핵심성분으로는 명사가 있다.

명사

전통 논리학에서 사용해오던 '개념'이라는 용어에 대해서 현대에 와서는 기술적인 이유로 '명사'라는 용어로 전환하여 사용하고 있다. 그러나 여전히 이들 개념 혹은 명사에서 다루는 원리는 내포외연을 주요하게 다루고 있다는 사실은 변함없다.

논리학자

현대 논리학

진리값을 기준으로 해서 비표준논리학을 포함하는 현대 논리학들을 비교해보면 다음과 같다.

진리값 개수 논리학
참과 거짓의 2치(二値)논리학[7] 2 이치논리학, 양상논리학, 시제논리학, 의무논리학
3이상 유한 다치 논리학, 3치논리학
논증과 반증의 2개의 진리값 2 직관논리학
무한개 무한 퍼지논리학
불특정 불확실성 양자논리학

같이 보기

각주

  1. (인문학강의)논리학은 무엇이고, 좋은 논증이란 뭘까. SBS CNBC. 2014년 10월 30일.
  2. 최보기. (최보기의 책보기)논리학 사용설명서. 아시아경제. 2015년 6월 9일.
  3. Die philosophischen Schrif ten von Gottfried Wlhelm Leibniz, hg. v. C.I. Gerhardt [=GP], 7 Bde. (1875~1890) Berlin)GP VII, 3쪽 "Scientiam Generalem intelligo, quae caeterarum omninum principia continet, modumque principiis ita utendi, ut (...)".
  4. “(현대논리학적 단초들을 중심으로 한 라이프니츠 논리학의 이해,하병학)(보관된 페이지)” (PDF). 2016년 5월 17일에 원본 문서 (PDF)에서 보존된 문서. 2019년 9월 27일에 확인함. 
  5. 김홍조. '1000년에 한번 나올 천재 논리학자' 괴델의 생애. 한국경제. 2007년 12월 21일.
  6. 고명섭. 수학 불완전성 증명한 천재의 불완전했던 삶. 한겨레. 2007년 12월 21일.
  7. 이치^논리학(二値論理學) 이치^논리학 「001」『철학』명제의 진릿값은 참이나 거짓의 두 값만을 취한다고 하는 입장에서 구성된 논리학. 전통적인 형식 논리학의 입장이며, 실제 명제의 값은 반드시 참과 거짓의 두 값에 한정되지 않는다.

외부 링크

이 문서에는 다음커뮤니케이션(현 카카오)에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 내용을 기초로 작성된 글이 포함되어 있습니다.

Read other articles:

Stan Frankel di Los Alamos pada 1943 Stanley Phillips Frankel (1919 – Mei 1978) adalah seorang ilmuwan komputer Amerika Serikat. Dia bekerja di Proyek Manhattan dan mengembangkan berbagai komputer sebagai konsultan. Kehidupan awal Ia lahir di Los Angeles, mengikuti sekolah pascasarjana di Universitas Rochester, menerima gelar PhD di bidang fisika dari Universitas California, Berkeley,[1] dan memulai karirnya sebagai mahasiswa pasca-doktoral di bawah J. Robert Oppenheimer di Universi...

 

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article sur la sociologie doit être recyclé (février 2020). Une réorganisation et une clarification du contenu paraissent nécessaires. Améliorez-le, discutez des points à améliorer ou précisez les sections à recycler en utilisant {{section à recycler}}. Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article adopte un point de vue régional ou culturel particuli...

 

Piala Dunia Futsal FIFATrofi Piala Dunia Futsal FIFA 2012Mulai digelar1989WilayahInternasional (FIFA)Jumlah tim24Juara bertahan Portugal (Gelar ke-1)Tim tersukses Brasil (5 gelar)Situs webPiala Dunia Piala Dunia Futsal FIFA 2024 Piala dunia Futsal FIFA adalah kejuaraan internasional untuk futsal, versi dalam ruangan (indoor) dari sepak bola. Kejuaraan ini diselenggarakan setiap empat tahun, tepatnya pada tahun genap di antara dua penyelenggaraan Piala Dunia FIFA. Pergelaran pertama ...

Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Suku Singkuang – berita · surat kabar �...

 

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

 

Munisipalitas Hoče–Slivnica Občina Hoče - SlivnicaMunisipalitasLokasi di SloveniaNegara SloveniaLuas • Total53,7 km2 (207 sq mi)Populasi (2013) • Total11.189 • Kepadatan21/km2 (54/sq mi)Kode ISO 3166-2SI-160Situs webhttp://www.hoce-slivnica.si/ Munisipalitas Hoče–Slivnica adalah salah satu dari 212 munisipalitas di Slovenia. Kode ISO 3166-2 munisipalitas ini adalah SI-160. Menurut sensus 2013, jumlah penduduk munisipali...

Edelfosine Names Systematic IUPAC name 2-Methoxy-3-(octadecyloxy)propyl 2-(trimethylazaniumyl)ethyl phosphate Other names ET-18-O-CH3; 1-octadecyl-2-O-methyl-glycero-3-phosphocholine Identifiers CAS Number 70641-51-9 N 3D model (JSmol) Interactive image ChEBI CHEBI:78649 N ChEMBL ChEMBL107514 N ChemSpider 1350 Y PubChem CID 1392 UNII 1Y6SNA8L5S Y CompTox Dashboard (EPA) DTXSID20922896 DTXSID9045766, DTXSID20922896 InChI InChI=1S/C27H58NO6P/c1-6-7-8-9-10-11-12-13-14-1...

 

Ираклеониты — ученики гностика Ираклеона (II век). Упоминаются как особая секта Епифанием и Августином; при крещении и миропомазании они соблюдали обряд помазания елеем и при этом произносили воззвания на арамейском языке, которые должны были освободить душу от власт�...

 

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年4月) コルクを打ち抜いて作った瓶の栓 コルク(木栓、�...

American record producer Allen RitterBackground informationBirth nameAllen Raphael Ritter[1]Born (1988-06-19) June 19, 1988 (age 35)Yonkers, New York, U.S.OriginDanbury, Connecticut, U.S.GenresHip hoptrapR&BOccupation(s)Record producersongwriterLabelsSony/ATVMusical artist Not to be confused with Allan Ritter. Allen Raphael Ritter (born June 19, 1988) is an American record producer and songwriter.[1] He has produced for a variety of artists, most notably Drake (Contro...

 

استاد الملك عبدالله الدوليالشعارملعب مدينة الملك عبدالله الرياضية من الداخلمعلومات عامةلقب الجوهرة المشعةالاسم الكامل مدينة الملك عبدالله الرياضية بجدةالمنطقة الإدارية جدةالبلد  السعودية[4] موقع الويب kasc.com التشييد والافتتاحالمهندس الإنشائي مجموعة أروبالمقاول ...

 

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府(Oguzkhan Presidential Palace)機關所在地阿什哈巴德任命者直接选举任期7年,可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關(英语:National Council of Turkmenistan) ...

1948 film by Michael Powell and Emeric Pressburger The Red ShoesTheatrical release posterDirected by Michael Powell Emeric Pressburger Screenplay by Michael Powell Emeric Pressburger Based onThe Red Shoes1845 fairy taleby Hans Christian AndersenProduced by Michael Powell Emeric Pressburger Starring Anton Walbrook Marius Goring Moira Shearer Léonide Massine Robert Helpmann Albert Bassermann Esmond Knight Ludmilla Tchérina CinematographyJack CardiffEdited byReginald MillsMusic byBrian Easdale...

 

سلطنة عفت 1285 – 1415 سلطنة عفت في القرن الرابع عشر. عاصمة زيلع نظام الحكم سلطنة اللغة الرسمية العربية، الصومالية لغات مشتركة الهررية، العفارية، السامية الإثيوبية الديانة إسلام سني التاريخ التأسيس 1285  التأسيس 1285 الزوال 1415 اليوم جزء من  إثيوبيا إريتريا الصوما�...

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Fernie Ghostriders – news · newspapers · books · scholar · JSTOR (July 2020) (Learn how and when to remove this message)Ice hockey team in Fernie, British ColumbiaFernie GhostridersCityFernie, British ColumbiaLeagueKootenay International Junior Hockey LeagueCon...

  提示:此条目页的主题不是俄台關係法。 《臺灣關係法》全名本法乃為協助維持西太平洋之和平、安全與穩定,並授權美国人民与台湾人民继续保持商业、文化和其他关系,以促進美國外交政策,並為其他目的。缩写(通俗)TRA立法机构第96屆美国国会生效日期1979年1月1日引用文献公法美國聯邦公法第96–8號法律汇编93 Stat. 14法典编纂修订法编美國法典第22卷...

 

Sirius Posisi dari bintang Sirius (dilingkari) Observation data Epoch J2000.0      Ekuinoks ICRS Konstelasi Canis Major Pengucapan /ˈsɪriəs/[1] Sirius Asensio rekta  06j 45m 08.91728d[2] Deklinasi  −16° 42′ 58.0171″[2] Magnitudo semu (V) −1.46[3] A Asensio rekta  06j 45m 08.917d[4] Deklinasi  −16° 42′ 58.02″[4] Magnitudo semu (V) −1.47...

 

Cuisine of Manipur, a state of northeastern India Manipuri cuisine refers to the cuisine of Manipur, a state of northeastern India. Daily meals are based on rice, with a few side dishes of vegetables, fish and meat.[1] A meal would usually have a vegetable stew called ensaang or athongba, flavored with dried or fried fish; stir-fried vegetables called kanghou; and a spicy item, which could be morok metpa (a chili paste), eromba (boiled and mashed vegetables with chili and fermented fi...

43°45′06″N 7°26′26.62″E / 43.75167°N 7.4407278°E / 43.75167; 7.4407278 مونتي كارلو للماسترزرابطة محترفي كرة المضرباسم الحدثبطولة مونتي كارلو للماسترزالجولةدورات الماسترز 1000 نقطةالراعيرولكسالتأسيس1897الموقعروكيوبرون فرنساالفئةدورات الماسترز 1000 نقطةالسطحملاعب ترابية، خارجيةأم�...

 

Trenes Argentinos Cargas Belgrano Cargas y Logística LocalizaciónPaís  ArgentinaParaguay ParaguayInformación generalSigla BCYLJurisdicción nacionalTipo Sociedad AnónimaSede Av. Santa Fe 4636, Buenos AiresOrganizaciónPresidente Sergio Gabriel BasichVicepresidente Agustín FerrariDepende de Ferrocarriles ArgentinosEntidad superior Secretaría de TransporteDependencias F.C. Belgrano (cargas) F.C. Urquiza (cargas) F.C. San Martín (cargas) F.C. Sarmiento (cargas) F.C. Mitre ...