命題

命題めいだい英語: proposition)とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの[1][注釈 1]。また数学で、真偽の判断の対象となる文章または式、定理[2]、問題のこと[3]西周による訳語の一つ[4][5]

厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)(から定義された複数のもの)がごちゃまぜになった、何ものか」[6]であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している[7]

命題という語

命題という語は明治の初期には一覧表などを作成する際に標記する「項目名」などと同じような意味で使用されており、「命題」は「題命」すなわち「題名」とほぼ同義である。坪内逍遥小説神髄」には「宜しく応分の新工夫を命題にもまた費やすべし」とある[8]。小学館デジタル大辞典では「題号をつけること。また、その題。名題」と説明する。この場合命題の命は「命(いのち)」の意味ではなく名づけること(あるいは名づけられていること)を意味する[9][注釈 2]。典籍では程端礼(1271-1345)「程氏家塾読書分季(年)日程」において「命題」「題命」をtitleの趣旨で使用していることが確認できる。一方岩波国語辞典は論理学の用法を正用とし、この用法について「誤って俗に、題目・課題の意にも使う」と注記する。論理学用語としては判断をことばであらわしたものを意味するpropositionの邦訳として西周が考案したものであり、西「百学連環」(1870-1871)ではpropositionを「命題」、syllogismを「演題」と邦訳している[10]

propositionという語

英語propositionという語は、ラテン語prōpositiōを祖としており、これは動詞prōponōの名詞形である。prōponōはprō-とpōnōから成り、prō-は「前に」「出す」、 pōnōは「置く(put)」「据え置く(place)」に相当する。propositionは動詞proposeの名詞形である。英和対訳袖珍辞書には「proposition、言ヒ顕ハシ、題」[11]とある。

論理学における「命題」

論理学で言う「命題」とは真偽が確定した言明のことであり、例えば「1は偶数である」[注釈 3]「2は偶数である」[注釈 4]などは命題である[12]。これに対して「Xは偶数である」のように不定のXが入ったものを「述語」と言う[13]

解釈

アリストテレス論理学において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。

数理論理学において命題(: propositional formula, statement forms)は量化を含まない言明であり、それはまた原子論理式と五つの論理結合子(選言、連言、否定、含意、双条件)およびグループ化記号のみから構成される論理式の合成である。命題論理は完全かつ健全である。すなわち、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である[14]。命題論理の体系に変項と量化子を加えて拡張したものが述語論理である。

数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある[15]

類語等

言い換え

現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。

定立

定立(ていりつ、: these)は、ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題である。テーゼとも呼ばれる。

ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される[16]カントの二律背反では、同等の権利をもって語ることのできる、世界についての根本主張の最初の肯定的なほう、たとえば「自由は存在する」が定立であり、反定立は「自由は存在しない」である。フィヒテは、自我と非自我の対立を、両者をともに可能にする第三者の内に総合する立場を、「定立-反定立-総合」と定式化した[17]

至上命題

「至上命題」という語については至上命令から派生した語であり本来は誤用との指摘がある[18]。「至上命題」の用例は1926年刊「ニイチエ全集-偶像の薄明;他」(生田長江訳)[19]、国民新聞1938年5月13日-5月22日報に利用があり[20]、国会議事録では昭和21年に使用例を発見することができ[21]、「至上の命題」は1941年刊行「宗教研究」(第24巻、宗教研究会刊)や1943年刊行「週報」(第341号、内閣情報部)に発見することができる。

数学書における「命題」

上述のように命題とは真か偽かがはっきり定まる形式をもつ文(断言する文)のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる[22]。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された(あるいはその数学書でこれから正しいことが証明される)命題である。

脚注

注釈

  1. ^ たとえば「雨が降っている」はこのままでは真偽の判断を下せないので命題ではない。場所や時間を特定すれば真偽が判断できるので命題になる[1][リンク切れ]
  2. ^ 説文解字注によれば「命」とは口と令により成り立ち、口も令も発号することであり、「使」すなわち令ないし従と同じ意味とある。「使命」は与えられた発号、あるいはその発号に従うこと。
  3. ^ 偽の命題(真理値が偽の命題)
  4. ^ 真の命題(真理値が真の命題)

出典

  1. ^ 小学館デジタル大辞泉「命題2
  2. ^ 詳しくは数学書における「命題」項目を参照
  3. ^ 小学館デジタル大辞泉「命題3
  4. ^ 山川偉也「西周『致知啓蒙』に見る西洋形式論理学の本邦への導入について(共同研究 : ことばと理論(II))」『総合研究所紀要』第19巻第3号、1994年3月30日、35-46頁、CRID 1050564287545307264ISSN 09187758 
  5. ^ 三省堂・大辞林(第三版)「命題」『②英語propositionの訳語として西周が考案。「百学連環」(1870-71年)にある』
  6. ^ “the conception we associate with the word ‘proposition’ may be something of a jumble of conflicting desiderata,”Lewis, David K.,1986, On the Plurality of Worlds, Oxford: Blackwell. p. 54
  7. ^ "Propositions" McGrath, Matthew and Devin Frank, The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), [2]
  8. ^ 小説神髄(上)文体論。小学館日本国語大辞書「命題」
  9. ^ 精選版日本国語大辞典「命(めい)」③、あるいは小学館デジタル大辞泉「命(めい)」漢字項目2.3.5[3]
  10. ^ 精選版日本語大辞典(小学館)「命題」。なお井上哲次郎有賀長雄ら編「哲学字彙」(1881)では「演題」は「推測式」に改訳されたが「命題」はそのまま取り入れられ、明治20年(1887)以降に一般化したとする。
  11. ^ 堀達之助英和対訳袖珍辞書」改正増補(明治2、出版:蔵田屋清右衛門)P.322、国立国会図書館蔵[4]
  12. ^ 高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論(その1)」1.1.1 命題とは何か[5]
  13. ^ 高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論(その1)」1.1.1 命題とは何か[6]
  14. ^ A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0521292913
  15. ^ * 伏見康治第I章 数学的補助手段 6節 命題算、集合算 p.50」『確率論及統計論』河出書房、1942年。hdl:10787/00033830https://ismrepo.ism.ac.jp/records/33836。「応用数学第8巻」  ISBN 9784874720127 2024-01-18閲覧。
  16. ^ 小学館・デジタル大辞泉「定立
  17. ^ 小学館・日本大百科全書「テーゼ」加藤尚武(ニッポニカ)
  18. ^ 高井一「空言舌言 百七十三、至上命題」2009/11/27
  19. ^ 新潮社、大正15年11月5日発行、P.65、この他P.195には「最上の命題」の用例あり。
  20. ^ 神戸大学新聞記事文庫[7]
  21. ^ 第90回衆議院本会議(昭和21年6月24日)中野四郎
  22. ^ 竹山美宏「数学書の読み方」(森北出版、2022.3.8)P.P.7-8

関連項目

参考文献

  • 伏見康治「確率論及統計論」第I章 数学的補助手段 6節 命題算、集合算 p.50 ISBN 9784874720127

外部リンク

Read other articles:

Dam near Gordon's Bay, Western Cape Dam in Western Cape, Gordon's BaySteenbras DamSteenbras Dam, seen wedged between the Hottentots-Holland and Kogelberg ranges (top), with False Bay below and rightLocation of Steenbras Dam in South AfricaOfficial nameSteenbras Lower DamCountrySouth AfricaLocationWestern Cape, Gordon's BayCoordinates34°11′12.61″S 18°51′9.11″E / 34.1868361°S 18.8525306°E / -34.1868361; 18.8525306PurposeWater supplyOpening date1921 (reno...

Die Gemeinden im District de La Vallée im Jahr 2007 Der District de La Vallée (dt. Bezirk La Vallée du Lac de Joux) war bis zum 31. Dezember 2007 eine Verwaltungseinheit des Kantons Waadt in der Schweiz. Er umfasste das Gebiet des Vallée de Joux. Hauptort war Le Sentier, das zur Gemeinde Le Chenit gehört. Der District wurde in die Cercles (dt. Kreise) Le Chenit und Le Pont aufgeteilt. Der District bestand aus lediglich drei Gemeinden, war 163,61 km² gross und zählte 6237 Einwohner (End...

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) ريتش هارت معلومات شخصية الميلاد 5 أكتوبر 1952 (71 سنة)  بوسطن  مواطنة الولايات المتحدة  الوزن 195 رطل  الحياة العملية المدرسة الأم كلية بوسطن  المهنة لا

Caroline Ghosn Caroline Ghosn (lahir 29 Januari 1987) adalah anak tertua dari mantan CEO Nissan dan Renault, Carlos Ghosn. Ia juga seorang pengusaha wanita Amerika yang mendirikan Levo (sebelumnya Levo League) pada tahun 2011. Levo adalah jaringan profesional yang didedikasikan untuk membantu kaum milenial agar mereka dapat mengakses mentor, jaringan komunitas profesional, dan lowongan pekerjaan. Ghosn adalah anggota aktif dari Forum Ekonomi Dunia [1] serta menghadiri dan menjadi pemb...

1962 studio album by Slim WhitmanHeart Songs and Love SongsStudio album by Slim WhitmanReleased1962GenreCountry[1]LabelImperialSlim Whitman chronology Slim Whitman Sings(1962) Heart Songs and Love Songs(1962) I'm a Lonely Wanderer(1963) Singles from Heart Songs & Love Songs Blues Stay Away from MeReleased: 1962 Professional ratingsReview scoresSourceRatingAllMusic[2]Billboard[1]The Encyclopedia of Popular Music[3] Heart Songs and Love Songs (stylize...

Opposition to excessive systemic buying and use of material possessions Picture of the Times Square, emphasizing on its prevalence of advertisements Part of a series onAnti-consumerism Theories and ideas Affluenza Alternative culture Anti-capitalism Autonomous building Billboard hacking Bioeconomics Buddhist economics Buy Nothing Day Collaborative consumption Collapsology Commodification Commodity fetishism Commons Commune Compulsive buying disorder Conspicuous consumption Consumer capitalism...

Orava in Slovakia Coat of arms of the now defunct county Orava is the traditional name of a region situated in northern Slovakia (as Orava) and partially also in southern Poland (as Orawa). It encompasses the territory of the former comitatus (county) of Árva (or Arwa in German). The northern part of is one of the regions which are part of the Goral Lands. Etymology The name arises from the Orava river (a major river flowing through the region). History The county arose before the 15th centu...

This is a list of marathoners who are athletes notable for their achievements in the marathon. For a list of people notable in other fields who have also run marathons, see List of marathoners who are non-running specialists. Legend Tom Longboat was a dominant runner in the 1900s. Symbol/Column Description Gold medal in the Olympics, IAAF World Championships or World Marathon Majors Silver medal in the Olympics, IAAF World Championships or World Marathon Majors Bronze medal in the Olympics, I...

Aspect of history This article is part of a series on theHistory of the United States Timeline and periodsPrehistoric and Pre-Columbian Erauntil 1607Colonial Era 1607–17651776–1789    American Revolution 1765–1783    Confederation Period 1783–17881789–1849    Federalist Era 1788–1801    Jeffersonian Era1801–1817    Era of Good Feelings 1817–1825    Jacksonian...

Romansa beralih ke halaman ini. Untuk film, lihat Romansa (film). Sastra Sastra lisan Folklor Dongeng Lagu Legenda Mitos Peribahasa Wiracarita Penampilan Buku audio Permainan panggung Pidato Genre tertulis utama Drama Pementasan Komedi Tragedi Tragikomedi Puisi Epik Lirik Prosa Cerita pendek Novel/Roman Novela Fiksi Bacaan anak Cinta Kejahatan Sejarah Spekulatif Fantasi Ilmiah Satir Nonfiksi Akademik Filsafat Sejarah Epistola Kehidupan Autobiografi Biografi Buku harian Memoar Kewartawanan Per...

Tunisian Paralympic athlete Walid KtilaKtila (centre) at the 2012 ParalympicsPersonal informationNative nameوليد كتيلةBirth nameWalid KtilaBorn (1985-07-20) 20 July 1985 (age 38)Years active2003–presentWeight63 kg (139 lb)SportSportParalympic athleticsDisabilitycerebral palsyDisability classT34Event100–800 mClubTunisian Federation of Sports for the Disabled: Gabès, TUNCoached byHedi Najah Medal record Men's para athletics Representing  Tun...

Bagian dari seri tentangKekristenan YesusKristus Yesus menurut Kristen Lahir Kiprah Wafat Kebangkitan Kenaikan AlkitabDasar Perjanjian Lama Perjanjian Baru Injil Kanon Gereja Syahadat Perjanjian Baru dalam Kitab Yeremia Teologi Allah Tritunggal Bapa Anak/Putra Roh Kudus Apologetika Baptisan Kristologi Sejarah teologi Misi Keselamatan SejarahTradisi Maria Rasul Petrus Paulus Bapa Gereja Kristen Perdana Konstantinus Konsili Agustinus Skisma Timur–Barat Perang Salib Aquinas Luther Reformasi De...

French TV series or program Mathias SandorfGenreAdventureBased onMathias Sandorf by Jules VerneWritten byClaude DesaillyDirected byJean-Pierre DecourtStarringIstván Bujtor Amadeus AugustComposerBert GrundCountry of originFrance Hungary Italy West GermanyOriginal languagesFrench GermanNo. of series1No. of episodes6ProductionCinematographyJános KendeRunning time360 minutes (complete)Production companiesI.T.F. Magyar Televízió Müvelödési Föszerkesztöség (MTV) Technisonor Tele Mün...

Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. Beberapa kalimat di artikel ini berisi konten yang ditulis dengan gaya sebuah iklan. Bantulah memperbaiki artikel ini dengan menghapus konten yang dianggap sebagai spam dan pranala luar yang tidak sesuai, dan tambahkan konten ensiklopedis yang ditulis dari sudut pandang netral dan sesuai dengan kebijakan Wikipedia. Tel...

مسجد ميرزا علي أكبر إحداثيات 38°14′56″N 48°17′39″E / 38.248826°N 48.294254°E / 38.248826; 48.294254  معلومات عامة الموقع أردبيل[1]  القرية أو المدينة أردبيل، محافظة أردبيل الدولة  إيران معلومات أخرى تعديل مصدري - تعديل   مسجد ميرزا علي أكبر (بالفارسية: مسجد میرزا علی‌اکبر...

Commune in Grand Est, FranceVilleruptCommuneThe old festival hall in Villerupt Coat of armsLocation of Villerupt VilleruptShow map of FranceVilleruptShow map of Grand EstCoordinates: 49°28′11″N 5°55′43″E / 49.4697°N 5.9286°E / 49.4697; 5.9286CountryFranceRegionGrand EstDepartmentMeurthe-et-MoselleArrondissementBrieyCantonVilleruptIntercommunalityPays Haut Val d'AlzetteGovernment • Mayor (2021–2026) Pierrick Spizak[1]Area16.56 ...

Football tournamentAmco CupThe Amco Cup TrophyOrganising bodyNew South Wales Rugby LeagueFounded1974; 49 years ago (1974)Abolished1989; 34 years ago (1989)RegionAustraliaNumber of teams16-38Related competitionsNSWRL, BRL, CRL, QRL, NZRLLast championsBrisbane Broncos (1989)Most successful club(s)Balmain (3 titles) The Amco Cup (subsequently known by various other sponsors' names including the Tooth Cup, KB Cup, National Panasonic Cup and Panasonic Cup) was a...

Italian fashion designer This article is about the fashion designer. For his company, see Armani. Giorgio ArmaniArmani in 2009Born (1934-07-11) 11 July 1934 (age 89)Piacenza, ItalyAlma materUniversity of MilanOccupationFashion designer Giorgio Armani (Italian pronunciation: [ˈdʒordʒo arˈmaːni]; born 11 July 1934) is an Italian fashion designer. He first gained renown working for Cerruti and then for many others, including Allegri, Bagutta, and Hilton. He formed his comp...

Nelson CabanillasDatos personalesNombre completo Nelson Jhonny Luis Cabanillas JesúsApodo(s) Caba[1]​Nacimiento Comas, Perú8 de febrero de 2000 (23 años)Nacionalidad(es) PeruanaAltura 1,70 m (5′ 7″)[2]​Peso 67 kg (147 lb)[2]​Carrera deportivaDeporte FútbolClub profesionalDebut deportivo 2019(Universitario de Deportes)Club Universitario de DeportesPosición Lateral izquierdo[editar datos en Wikidata] Nelson Cabanillas (Comas, Provincia de...

Toyohashi 豊橋市Kota Inti BenderaLambang kebesaranLokasi Toyohashi di Prefektur AichiToyohashi Koordinat: 34°46′9″N 137°23′29.5″E / 34.76917°N 137.391528°E / 34.76917; 137.391528Koordinat: 34°46′9″N 137°23′29.5″E / 34.76917°N 137.391528°E / 34.76917; 137.391528NegaraJepangWilayahChūbu (Tōkai)PrefekturPrefektur AichiLuas • Total261,86 km2 (10,110 sq mi)Populasi (1 Desember 2019)...