[2026前期火５] 論理学（京都大学文学部 前期 第11回）「ハーモニー：三層モデルと保存拡大」

科学哲学科学史 (演習) 前期 第11回　論理学　（京都大学文学部・矢田部俊介）
「ハーモニー：三層モデルと保存拡大」
2026年6月30日（火）1645〜1815（予定）

Transcript

1. Պֶ఩ֶՊֶ࢙ (ԋश) લظ ୈ 11 ճ ࿦ཧֶ ϋʔϞχʔɿࡾ૚Ϟσϧͱอଘ֦େ ʢྑ͍نଇͷ਺ֶత৚݅ʣ 2026 ೥ 6 ݄ 30 ೔ʢՐʣ16:45–18:15 จֶ෦ୈ 4 ߨٛࣨ ୲౰ɿ໼ా෦ढ़հʢ੢೔ຊཱྀ٬మಓגࣜձࣾʣ yatabe.shunsuke.24n@st.kyoto-u.ac.jp
2. ຊतۀ͸੢೔ຊཱྀ٬మಓגࣜձࣾͷۀ຿ͱ࣮ͯ͠ࢪ͍ͯ͠·͢ ੢೔ຊཱྀ٬మಓ͸ LLM ͷ׆༻Λਪਐ͍ͯ͠·͢ɻ
3. 1. ෮शͱ॓୊ղઆ
4. ຊ೔ͷྲྀΕ ࠓ೔ͷ໰͍ɿ ʮྑ͍نଇʯͱ͸Կ͔ɺͲ͏ଌΔ͔ લճ tonk Λ࡞ͬͯյͨ͠ɻࠓ೔͸ɺtonk Λյͨ͠ʮਖ਼ମʯΛࡾ૚ϞσϧʢϛΫϩ ˠதؒˠେҬʣͱͯ͠ఆࣜԽ͠ɺͲ͜ͰԿ͕ഁΕΔͷ͔ΛݟΔɻ લճͷཁ໿ͱ॓୊ղઆʢtonkɾϘογϡɾ˭ͷԕճΓʣ େҬͷཁٻʹอଘ֦େੑʢਖ਼͍͕͠ʮඇૢ࡞తʯ ʣ ϛΫϩͷૢ࡞తج४ʹ൓సݪཧʢಁ໌ͳ݁߹ࢠʣ தؒʹਖ਼نԽʢࡾ૚ΛՍڮ͢Δʮਅਖ਼ͷϋʔϞχʔʯ ʣ ࡾ૚ͷϋʔϞχʔͷؒͷϋʔϞχʔ͸͋Δͱ͸ݶΒͳ͍ʢݹయ࿦ཧɾCookʣ ;ͨͨͼ LLM ΁ɿϋϧγωʔγϣϯͷࡾ૚਍அ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 4
5. લճͷཁ໿ɿ2.0͸৚݅෇͖Ͱຊ෺ʹͳΔ ࢖༻આʢ2.0ʣͷ࠷ऴܗʢୈ 10 ճͷ݁࿦ʣ ࿦ཧ݁߹ࢠͷҙຯ͸ಋೖɾআڈنଇͰఆ·Δɻͨͩ͠ௐ ࿨ͨ͠نଇʹݶΔɻtonk ͸ௐ࿨ͷഁΕɻௐ࿨͸ਖ਼نԽͰ ଌΕΔͷͩͬͨɻ ௐ࿨͸ҰͭͰ͸ͳ͍ɿࡾͭͷϨϕϧʢୈ 10 ճ຤ͷ༧ࠂʣ ϩʔΧϧʢ݁߹ࢠ 1 ݸʣʹ൓సݪཧɿআڈ͸ಋೖͷཪ ฦ͠ɻ தؒʢূ໌શମʣʹਖ਼نԽɿԕճΓΛফͯ͠ΧϊχΧ ϧʹͰ͖Δɻ άϩʔόϧʢݴޠશମʣʹอଘ֦େɿ଍ͯ͠΋ݴ͑Δ ͜ͱ͸૿͑ͳ͍ɻ ࠓ೔͸ɺ͜ͷࡾ૚ͷؔ܎Λਫ਼ີʹ͢Δʢਖ਼نԽ͸࣮͸ผ ֨ͷڮʣ ɻ େҬɿอଘ֦େੑ ݴޠશମΛݟΔ தؒɿਖ਼نԽ ূ໌શମΛݟΔ ϛΫϩɿ൓సݪཧ ݁߹ࢠ 1 ݸΛݟΔ ຊ೔͸େҬ΁޲͔͏ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 5
6. 2. େҬతཁٻͱͦͷམͱ݀͠
7. େҬతཁٻɿݴ͑Δ͜ͱΛ૿΍͞ͳ͍ ϒϥϯμϜͷཁٻʢୈ 10 ճʣͷ਺ֶతͳܗ ࿦ཧ݁߹ࢠ͸໌ࣔԽͷಓ۩Ͱ͋ͬͯɺੈքʹ͍ͭͯ৽ ͍͠ࣄ࣮Λ෇͚଍ͯ͠͸ͳΒͳ͍ɻ ৽͍݁͠߹ࢠΛ଍͔ͨ͠Βͱ͍ͬͯɺݩͷޠኮͰݴ͑ Δ͜ͱ͕૿͑ͯ͸͍͚ͳ͍ɻ ͜ΕΛຬ͔ͨ͢Ͳ͏͔͕ɺ࿦ཧ݁߹ࢠͱͯ͠ೝΊ ΒΕΔͨΊͷ৚݅ɻ ϕϧφοϓʢBelnap 1962ʣ͕ tonk ΁ͷԠ౴ͱ͠ ͯఆࣜԽͨ͠ɻ ໊લ͸อଘ֦େੑʢconservative extensionʣ ɻ େҬɿอଘ֦େ தؒɿਖ਼نԽ ϛΫϩɿ൓సݪཧ ͍·͸େҬͷ࿩ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 7
8. อଘ֦େੑͷఆٛ อଘ֦େੑʢBelnap 1962ʣ ମܥ S ʹ৽͍݁͠߹ࢠ ◦ ͷಋೖɾআڈنଇΛ଍ͨ͠ମܥΛ S′ ͱ͢ΔɻS′ ͕ S ͷอଘ ֦େͰ͋Δͱ͸ɺ◦ Λؚ·ͳ͍೚ҙͷ࿦ཧࣜ φʢʹ S ͷ࿦ཧࣜʣʹ͍ͭͯ S′ ⊢ φ ⇐⇒ S ⊢ φ ͕੒Γཱͭ͜ͱɻ ͭ·Γ ◦ Λ଍ͯ͠΋ɺ◦ Λؚ·ͳ͍ݹ໋͍୊ͷূ໌ྗ͸૿͑ͳ͍ɻ ✓ →, ∧, ∨ ͸อଘ֦େੑΛຬͨ͢ɻ × tonk ͸ຬͨ͞ͳ͍ʢB ∨ ¬B ͳͲԿͰ΋ূ໌Ͱ͖ͯ͠·͏ʣ ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 8
9. ʮݴޠશମͷੑ࣭ʯͱݴΘΕͯ΋ɺͲ͏͢Ε͹͍͍ʁ อଘ֦େੑ͸ਖ਼͍͠ɻ͕ͩඇૢ࡞తͰ͋Δ ʮໃ६ʹؕΒͳ͍Α͏ʹԿ͔Λ͢Ε͹Α͍ʯͱ͍ ͏ঢ়گґଘͷཁٻͰɺԿΛͲ͏͔֬ΊΕ͹Α͍͔ ʢߦಈنൣɾΞϧΰϦζϜʣΛ༩͑ͳ͍ɻ อଘ֦େੑ͸ݴޠશମʢՄࢉແݶݸͷ໋୊ʣ ʹ·ͭΘΔੑ࣭ɻ ʮ͢΂ͯͷ φ ʹ͍ͭͯಉ஋ʯΛ௚઀͔֬ΊΔ ͷ͸ݱ࣮తͰͳ͍ɻ େҬཁٻ͸໨ඪ͸༩͑Δ͕ɺखॱΛ༩͑ͳ͍ɻ ͜Ε͕ΞϧΰϦζϜͷ໋॓Ͱ͋Δɻ ࿦ཧɿ ʢ৽ݴޠͰʣݴ͑Δ͜ ͱΛ૿΍͢ͳ ੜెɿ۩ମతʹԿΛ͢Ε͹ ʮ૿͑Δʯ͜ͱʹʁ ࿦ཧɿʜʜঢ়گʹΑΔɻ େҬنൣ͸໨ඪΛ༩͑Δ͕ߦಈنൣΛ ༩͑ͳ͍ʹΞϧΰϦζϜͷඇૢ࡞ੑ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 9
10. ݴޠ૬ରੑʢBelnap 1962ʣ ɿ͞Βʹ໽հʹ Կ͕࿦ཧ݁߹ࢠ͔͸ݴޠ૬ରతͰ͋Δ ͋Δ݁߹ࢠ͕ೝΊΒΕΔ͔ʢʹอଘ֦େ͔ʣ͸ɺͦͷݴޠʹ͢Ͱʹ͋Δଞͷ݁߹ࢠͱͷ ؔ܎Ͱܾ·Δɻ ಉ͡نଇͰ΋ɺ଍͢ϕʔεͷମܥ͕ҧ͑͹݁Ռ͕มΘΓ͏Δɻ ͕ͨͬͯ͠ʮ͜ͷ݁߹ࢠ͸୯ಠͰྑ͍ʗѱ͍ʯͱ͸ݴ͑ͳ͍ɻ อଘ֦େੑ͸ݴޠʹ͓͚Δҙຯͷશମ࿦తͳੑ࣭ʢϕϧφοϓʣ ɻ ʢޙʹ Cook ͕͜ͷݴޠ૬ରੑΛۃ୺Խ͢Δɻऴ൫Ͱѻ͏ɻ ʣ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 10
11. ώϯτɿہॴͰɾنଇ͝ͱʹνΣοΫͰ͖Δج४͸ʁ ཉ͍͠΋ͷ େҬཁٻʢอଘ֦େʣΛɺຖճݴޠશମͰ֬ೝ͢Δͷ͸ඇݱ࣮తɻ ݁߹ࢠ 1 ݸ͝ͱʹɾҰ໨ͰνΣοΫͰ͖Δૢ࡞తͳج४͕ཉ͍͠ɻ ͦͷج४͕ຬͨ͞Ε͍ͯΕ͹ɺࣗಈతʹେҬཁٻ΋ຬͨ͞ΕΔɺͦ͏͍͏ہॴ Խ͕Ͱ͖ͳ͍͔ɻ ౴͑ͷީิ͕ɺ࣍અͷ൓సݪཧʢϛΫϩͷݪཧʣͰ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 11
12. 3. ہॴɿ൓సݪཧʢϛΫϩͷݪཧʣ
13. ൓సݪཧͷ໊લɿϩʔϨϯπΣϯͷʮಁ໌ͳ૭ʯ ϩʔϨϯπΣϯʢLorenzen, 1950 ೥୅ɾoperative logicʣ ग़ൃ఺͸ڐ༰Մೳੑʢadmissibilityʣ ɿͦͷنଇΛ଍ͯ͠΋ɺݪࢠ໋୊ͷূ໌Մೳͳू߹͕େ͖͘ ͳΒͳ͍͜ͱɻ͜Ε͸อଘ֦େੑΛݪࢠ໋୊ʹݶఆͨ͠΋ͷͰɺ͍Θ͹ͦͷछࢠͰ͋Δɻ ࿦ཧ݁߹ࢠ͸ʮಁ໌ͳΨϥε૭ʯͷΑ͏ͳ΋ͷʢຊॻͷൺᄻʣ আڈنଇ͸ಁ໌Ͱɺ༨ܭͳ͜ͱΛ͠ͳ͍ɻA ∨ B ⊢ C ͸ʮC ͷಋग़ʹ͸ A ͱ B ͷೋͭͷલఏ͕ ཁΔʯҎ্ͷҙຯΛ࣋ͨͳ͍ɻ͍Θ͹૭ͷ޲͜͏͕ͦͷ··ݟ͍͑ͯΔɻ ݪࢠͷू߹ ʢෆมʣ ◦ Λ ଍͢ ڐ༰Մೳੑɿ◦ Λ଍ͯ͠΋ݪࢠ͸૿͑ͳ͍ʹಁ໌ ʢ ʮಁ໌ͳΨϥε૭ʯ͸ຊॻͷൺᄻʣ େҬɿอଘ֦େ தؒɿਖ਼نԽ ϛΫϩɿ൓సݪཧ ͍·͸ϛΫϩ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 13
14. ϓϥϰΟοπͷಡΈସ͑ʢ1965ʣ ɿϛΫϩ΁ͷہॴԽ ൓సݪཧʢPrawitz 1965ʣ আڈنଇ͸ಋೖنଇͷʮ൓సʯͰ͋Γɺಋೖͷ௚ޙʹআڈ͢Δͱݩʹ໭Δɻ͜Ε͕ήϯ πΣϯͷʮಋೖ͔Βఆ·Δআڈʯͷఆ·ΓํΛද͢ɻ ϩʔϨϯπΣϯͷʮಁ໌͞ʯΛɺࣗવԋ៷ͷআڈنଇʹয఺Λ౰ͯͯ࠶ఆࣜԽɻ ϙΠϯτɿ͜Ε͸݁߹ࢠ 1 ݸ͝ͱͷɾہॴతͳ৚݅ʢper-connectiveɺҰ໨Ͱ൑ఆ Մೳʣ ɻ େҬཁٻ͕ɺ͍ͭʹϛΫϩͳݕࠪʹམͪͨɻ ͜ͷʮ΋ͱʹ໭ΔʯΛɺϓϥϰΟοπࣗ਎ͷݴ༿ʢ࣍ϖʔδʣͰ֬ೝ͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 14
15. ˭ͷΧοτ&ϖʔετɿ1खͰʮ໭ͤΔʯʹʮফͤΔʯ ؐݩલʢূ໌ਤᶃɾԕճΓʣ M A M′ B A ∧ B ∧I A ∧E1 ؐݩޙʢূ໌ਤᶄɾΧοτ&ϖʔετʣ M A ϓϥϰΟοπͷηϦϑʢ2021 ೥౓ɾ൓సݪཧϋϯυΞ΢τΑΓʣ ʮ ʢؐݩલͷʣূ໌ʢূ໌ਤᶃʣ͸ɺ∧-আڈنଇΛ࢖Θͳ͍ূ໌ʢূ໌ਤᶄʣΛʮطʹؚΜͰ͍ Δʯʯ ʢ→ ͷ৔߹΋ಉจʣ ݪจɿ. . . already “contain” a deduction of β; . . . obtainable directly . . . without the addition of α ʢPrawitz, p.33ʣ ূ໌ਤᶃʹؐݩલʗূ໌ਤᶄʹؐݩޙɻ∧I Ͱ࢖ͬͨࠨͷূ໌ M Λ੾Γऔ্ͬͯʹషΓ௚ ͢ͱᶄʹͳΔɻআڈͰಘͨ A ͸ɺᶃͷதʹ΋ͱ͔Βೖ͍ͬͯͨɻ ͜ͷ 1 खͰԕճΓ͕ফͤΔʢ൓సݪཧʣͱɺ∧ Λؚ·ͳ͍݁࿦ʹ ∧ ͸ཁΒͳ͍ʢอଘ֦େʣ ͕ɺಉ͡Χοτ&ϖʔετ͔Βಉ࣌ʹग़Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 15
16. ൓సݪཧ ⇒ อଘ֦େ ϛΫϩ͕େҬΛอূ͢Δʢయܕతͳ৔߹ʣ ൓సݪཧΛຬͨ݁͢߹ࢠ͸ɺূ໌શମʹషΓସ͑Λద༻͢Ε͹ɺͦͷ݁߹ࢠΛؚ·ͳ͍ ݁࿦͔Β͸ͦͷ݁߹ࢠΛফڈͰ͖ΔɻΏ͑ʹݹ͍ޠኮͰݴ͑Δ͜ͱ͸૿͑ͳ͍ʹอଘ ֦େɻ ✓ →, ∧, ∨ ͸൓సݪཧΛຬͨ͠ɺอଘ֦େ΋ຬͨ͢ɻ ͜ΕͰϛΫϩʢ൓సݪཧʣ⇒ େҬʢอଘ֦େʣͷڮ͕͔͔ͬͨɻ ʢ∨ ͷ {∧, ∨} ্ͷอଘ֦େͳͲͷࡉ෦͸॓୊ʗ࣍ճɻ ʣ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 16
17. tonk ͸൓సݪཧΛຬͨ͞ͳ͍ M A A tonk B tonkI B tonkE tonkE ͸ B ΛऔΓग़͢ɻ ͕ͩ tonkI ͕खʹ͍ͯͨ͠ͷ͸ A ͷূ໌ M ͚ͩɻB ͷূ໌͸ଘࡏ͠ͳ͍ɻ Ώ͑ʹʮషΓ௚ͯ͠໭͢ʯ͜ͱ͕Ͱ͖ͳ͍ɻ ͭ·Γ൓సݪཧ͕ഁΕ͍ͯΔɻ ϛΫϩͰɾҰ໨ͰഁΕ͕ݟ͑Δ ॓୊ͷ໰ 3 ͰݟͨʮফͤΔʗফͤͳ͍ʯͷҰൠԽ͕͜ΕɻہॴͷഁΕʢ൓సݪཧʣ͕ɺେҬ ͷഁΕʢࣗ໓ԽʹԿͰ΋ূ໌ʣ΁೾ٴ͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 17
18. 4. தؒɿਖ਼نԽʢࡾ૚ΛՍڮ͢Δڮʣ
19. ਖ਼نԽʢਅਖ਼ͷϋʔϞχʔʣ͕ڮΛ౉͢ ਖ਼نԽ͸ʮͨͩͷதؒͷҰஈʯͰ͸ͳ͍ ͲΜͳূ໌΋ɺԕճΓΛશͯফͯ͠ΧϊχΧϧͳূ໌ʹॻ͖׵͑ΒΕΔɻ͜ΕΛμϝοτ ͸ਅਖ਼ͷϋʔϞχʔʢintrinsic harmonyʣͱݺͼɺ΋ͬͱ΋ຊ࣭తͳௐ࿨ͱͨ͠ɻ ہॴʢ൓సݪཧʹ 1 खͰ໭ͤΔʣΛূ໌શମʹ ߦ͖౉ΒͤΔૢ࡞ɻ ͜Ε͕ޮ͘ͱɺ݁߹ࢠΛؚ·ͳ͍݁࿦͔Βͦͷ ݁߹ࢠΛফͤΔˠ େҬʢอଘ֦େʣ͕ݴ͑Δɻ ਖ਼نԽ͕੒Γཱͨͳ͍ମܥͰ͸ɺࡾ૚ͷϋʔϞ χʔ͸ݪཧతʹอূ͞Εͳ͍ʢॻ੶ ːਖ਼نԽ ఆཧ͕ࡾ૚ΛՍڮ͢Δʣ ɻ ہॴ ʢ൓సݪཧʣ େҬ ʢอଘ֦େʣ ਖ਼نԽʹڮ ਅਖ਼ͷϋʔϞχʔ ڮ͕མͪΔͱ૚͸෼཭͢Δ ͍·͸தؒ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 19
20. ࿈࠯·ͱΊɿϛΫϩˠதؒˠେҬ ૚ ϋʔϞχʔ֓೦ ԿΛݟΕ͹ݕࠪͰ͖Δ͔ ϩʔΧϧʢϛΫϩʣ ൓సݪཧ ݁߹ࢠ 1 ݸͷಋೖɾআڈنଇ தؒ ਖ਼نԽʢΧοτ&ϖʔετʣ ূ໌શମ େҬ อଘ֦େੑ ݴޠશମ ࿈࠯ ൓సݪཧʢϛΫϩʣ⇒ ਖ਼نԽʢதؒʣ⇒ อଘ֦େʢେҬʣɻ tonk ͸࠷ॳͷϦϯΫʢ൓సݪཧʣͰ੾ΕΔͷͰɺதؒ΋େҬ΋૯่Εʹࣗ໓͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 20
21. ࿈࠯ΛਤʹɿϛΫϩˠதؒˠେҬ େҬɿอଘ֦େੑ ݴޠશମΛݟΔ தؒɿਖ਼نԽ ূ໌શମΛݟΔ ϛΫϩɿ൓సݪཧ ݁߹ࢠ 1 ݸΛݟΔ Լ͔ΒੵΈ্͕Δ ϛΫϩʢ൓సݪཧʣ͕ূ໌શମʹߦ͖ ౉ͬͯதؒʢਖ਼نԽʣʹͳΓɺͦΕ͕ݴ ޠશମʹٴΜͰେҬʢอଘ֦େʣΛอূ ͢Δɻ tonk ͸Ұ൪ԼͰંΕΔ ࠷ॳͷϦϯΫʢ൓సݪཧʣ͕੾ΕΔͨ Ίɺ্ͷೋ૚΁ڮ͕Ս͔Βͣɺମܥ͝ͱ ࣗ໓͢Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 21
22. 5. ౷߹ɿ ʮϋʔϞχʔͷؒͷϋʔϞχʔʯ͸͋ Δ͔
23. μϝοτͷϋʔϞχʔʢ1973aʣ μϝοτͷཁٻʢཁ໿ʣ ʮಋೖͰ࣮࣭తʹ௥Ճͨ͠΋ͷ͸ɺআڈͰऔΓग़ͤΔ΋ͷҎ্Ͱ͸ͳ͍ɻอଘ֦େ͕஍Ͱͳ ͚Ε͹ͳΒͳ͍ʯ ʢDummett 1973a, pp.454–455 ͷझࢫʣ ɻ ͜Ε͸ S10 ͷϩʔϨϯπΣϯͷେҬతಡΈʢڐ༰Մೳੑʣ΁ͷճؼɻ ࢥ૝࢙ɿϩʔϨϯπΣϯʢେҬʣˠ ϓϥϰΟοπʢϛΫϩʹہॴԽʣˠ μϝοτʢ࠶ͼ େҬ΁ʣɻ μϝοτ͸ࡾ૚Λߦ͖དྷͭͭ͠ɺਖ਼نԽΛผ֨ͷʮਅਖ਼ͳʯௐ࿨ͱҐஔ͚ͮͨɻ ໰͍ɿࡾͭͷϋʔϞχʔ͸ɺޓ͍ʹௐ࿨͢Δ͔ʁ ہॴɾதؒɾେҬͷௐ࿨͕ଗͬͯ੒Γཱͭͱ͖ɺ͍Θ͹ʮϋʔϞχʔͷؒͷϋʔϞχʔʯ͕ ͋Δɻ͕ͩɺͦΕ͸͍ͭͰ΋อূ͞ΕΔͷ͔ʁ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 23
24. ҙຯͷݪࢠ࿦ɿશମ࿦ͱݪࢠ࿦ͷதؒ ҙຯͷ෼ࢠ࿦ʢmolecularismʣ ͋Δ໋୊ A ͷҙຯ͕มΘͬͨͱ͖ɺӨڹ͕ٴͿͷ͸ A Λ෦෼࿦ཧࣜͱؚͯ͠Ή໋୊ͷҙ ຯ͚ͩͰ͋Δɻ શମ࿦ʢholism, ΫϫΠϯͷ৴೦ͷ໢ʣ ɿҰจͷมԽ͕ݴޠશମ΁೾ٴɻ ݪࢠ࿦ɿ֤จͷҙຯ͸ଞʹґଘ͠ͳ͍ɻ ෼ࢠ࿦ʹͦͷதؒɻ෦෼࿦ཧࣜݪཧʢΧϊχΧϧͳূ໌ʹ͸݁࿦ͷ෦෼࿦ཧ͔ࣜ͠ݱ Εͳ͍ʣ͔Βɺ೾ٴ͸༗ݶɾݶఆతʹͳΔɻ ͜Ε͕ʮ࢖༻આʢ2.0ʣ ʯΛશମ࿦͔Β੾Γ཭͢ ҙຯ͸ద੾ͳαΠζͷจ຺Ͱ֬ఆ͢Δɻਖ਼نԽ͕ޮ͔͘Βͦ͜ݴ͑Δ͜ͱͩɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 24
25. ϋʔϞχʔͷؒͷϋʔϞχʔ͕ͳ͍ᶃɿݹయ࿦ཧ ¬A ∨ A ഉத཯ [¬A] C [A] C C ∨E ഉத཯͸લఏͳ͠Ͱ ¬A ∨ A Λग़͢ɻ ͜ͷ ∨ আڈ͸ɺA ΋ ¬A ΋ূ໌͕ͳ͍ ͷͰؐݩͰ͖ͳ͍ɻ Ώ͑ʹ൓సݪཧ × ɾอଘ֦େ × ʢݹయ ͸௚؍ओٛͷอଘ֦େͰͳ͍ʣ ɻ େҬɿอଘ֦େ × தؒɿਖ਼نԽ ✓ ϛΫϩɿ൓సݪཧ × ͱ͜Ζ͕ਖ਼نԽఆཧɾΧοτআڈఆཧ͸੒ཱ͢ΔʢήϯπΣϯʣ ਖ਼نԽ ✓ ͳͷʹ൓సݪཧ ×ɾอଘ֦େ ×ɻࡾͭ͸ηοτൢച͕͏·͍͔͘ͳ͍ɻ͍Θ͹ϋʔ ϞχʔͷؒͷϋʔϞχʔ͕ͳ͍ɻਖ਼نԽ͸ผ֨ͷڮͳͷͰ͋Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 25
26. ϋʔϞχʔͷؒͷϋʔϞχʔ͕ͳ͍ᶄɿૣݟද ମܥ ہॴɿ൓సݪཧ தؒɿਖ਼نԽ େҬɿอଘ֦େ ૉ๿ tonk × × × ˚ԋࢉࢠʢຊॻʣ ✓ —ʢུʣ × ݹయ࿦ཧ × ✓ × Cook ྲྀ tonk —ʢུʣ × ✓ ݹయ࿦ཧͱ Cook ͸ڸ૾ʢରশʣ ݹయ࿦ཧ͸ਖ਼نԽΛอͪอଘ֦େΛࣦ͏ɻCook ྲྀ tonk ͸ਖ਼نԽΛࣺͯอଘ֦େΛಘΔɻࡾ૚͸ಠཱ ʹյΕ͏ΔɻϋʔϞχʔͷؒͷϋʔϞχʔ͸ɺ͍ ͭͰ΋͋ΔΘ͚Ͱ͸ͳ͍ɻ ਖ਼نԽ ˠ อଘ֦େ ˠ ૉ๿ tonk ˚ ݹయ࿦ཧ Cook ݹయ࿦ཧͱ Cook ͸ର֯ͷରশ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 26
27. ൃలɿtonk ͸ຊ౰ʹࢮΜ͔ͩʁʢCook 2005ʣ Cookʢ2005ʣͷߏ੒ ਪ࿦ͷਪҠੑʢΧοτʣΛࣺͯΕ͹ɺtonk Λ଍ͯ͠΋ࣗ໓Խ͠ͳ͍ɻ͜͏͢Δͱอଘ֦େ ͱͯ͠ tonk Λ௥ՃͰ͖Δʢϕϧφοϓͷݴޠ૬ରੑͷ࣮ূʣ ɻ ୅ঈɿΧοτʹதؒͷڮʢਖ਼نԽʣΛࣦ͏ɻ ͭ·Γ tonk Λٹ͏อޢ۠͸ʮਖ਼نԽΛࣺͯͨੈքʯɻٯʹݴ͑͹ɺਖ਼نԽͦ͜ tonk ΛకΊग़͍ͯ͠Δɻ ׆ࣈͷ൷൑͸ެץ͞Εཱͨ৔ͷΈɿ࿦ཧతؼ݁ؔ܎ ⊢ ͕͏·͘ఆٛͰ͖ͳ͍ ʢBeall–Restall ʗ Fjellstadʣ ɻ ݫີʹ͸Χοτ ̸= ਪҠੑʢڭҭత؆ུԽʣ ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 27
28. ෇࿥ɿ˚ԋࢉࢠŠŠہॴతௐ࿨͸େҬΛอূ͠ͳ͍ʢنଇʣ ͳͥ͜ͷྫ͔ tonk ͸ہॴʢ൓సݪཧʣͰഁΕͨɻͰ͸ٯʹŠŠ ہॴతௐ࿨Λຬͨ͢ͷʹɺେҬʢอଘ֦େʣ͕ յΕΔ݁߹ࢠ͸͋Δ͔ʁ ͋ΔɻDummett ʹ༝དྷ͠ɺ๛Ԭ (2021) ͕࿦͡ΔՍۭͷ݁߹ࢠ △ Ͱ ͋Δɻ Ai A1 △A2 △I A1 △A2 [A1 ] . . . . C [A2 ] . . . . C C △E △E ͷ੍ݶ ֤ࢬͷ C ͸ɺͦΕͧΕ A1 ʢA2 ʣҎ֎ͷԾఆʹ ґଘͯ͠͸ͳΒͳ͍ɻ △ ͸ʮ∨ ͷಋೖنଇʯʴʮ੍ݶ͞Εͨ ∨ ͷআڈ نଇʯ ɻ ୯ಠͰݟΔͱɺಋೖͷ௚ޙͷআڈʢԕճΓʣΛ ফͤĊŠ ہॴతௐ࿨Λຬͨ͢Α͏ʹݟ͑Δɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 28
29. ෇࿥ɿ˚ԋࢉࢠŠŠ ∨ Λ଍͢ͱอଘ֦େ͕յΕΔ ∧, △ ͚ͩͷମܥͰ͸ (A ∧ (B△C)) ͔Β ((A ∧ B)△(A ∧ C)) ͸ಋग़Ͱ͖ͳ͍ʢ△ ͸ಛ௃Λอ͍ͬͯΔʣ ɻ ͱ͜Ζ͕ɺͦΕࣗମ͸ہॴతௐ࿨Λຬͨ͢௨ৗͷ ∨ ΛՃ͑ΔͱɺA ∨ B ͱ A△B ͕૬ޓʹಋग़Մ ೳʹͳΓɺ্ͷ࿦ཧ͕ࣜಋ͚ͯ͠·͏ɻ ӈ͕ A ∨ B ⊢ A△B ͷಋग़ɿ A ∨ B [A]1 A△B △I [B]2 A△B △I A△B ∨E ʢԾఆ [A]1, [B]2 ͸ ∨E Ͱղফʣ ݁࿦ɿ؆໿Ͱ͖ͯ΋อଘ֦େͱ͸ݶΒͳ͍ ԕճΓΛফͤΔʢہॴతௐ࿨ʣ݁߹ࢠͰ΋ɺͦΕΛՃ͑ͨମܥ͕อଘ֦େʢશମతௐ࿨ʣʹͳΔͱ ͸ݶΒͳ͍ɻͭ·Γہॴ͕੒ཱͯ͠΋େҬ͸อূ͞Εͳ͍ŠŠ ϋʔϞχʔͷؒͷϋʔϞχʔ͕ͳ ͍ͷɺ΋ͬͱ΋७ਮͳ࣮ྫɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 29
30. ෇࿥ɿ࿦ཧͷʮฏ࿨తڞଘʯͱจݙ঺հ ͳͥେҬ͕େࣄ͔ŠŠ࿦ཧͷڞଘ △ ͸࣮͸ྔࢠ࿦ཧͷબݴʢେ੢ 2012ʣ ɻݹయ࿦ཧͷ ∨ ΛՃ͑Δͱ △ ͱ ∨ ͕ಉҰԽ͠ɺྔࢠ࿦ ཧͷબݴ͕ͦͷಛ௃Λࣦ͏ɻͭ·Γɺ݁߹ࢠͷৼΔ෣͍Λอͬͨ··ҟͳΔ࿦ཧΛಉډͤ͞Δ ʢPrawitz ͷʮฏ࿨తڞଘʯ ʣʹ͸ɺશମతௐ࿨ʢอଘ֦େʣ͕ඞཁ৚݅ʹͳΔɻ ͞Βʹֶͼ͍ͨਓ΁ʢຊ೔ͷ෇࿥ͷग़యʣ ๛Ԭਖ਼༱ʮҟͳΔ࿦ཧͷڞଘͱূ໌࿦తҙຯ࿦ʹ͓͚Δௐ࿨֓೦ʹ͍ͭͯʯ ʢA Peaceful Coexistence of Different Logics and the Concept of Harmony in Proof-Theoretic Semanticsʣ๺ւಓେֶ, Պֶجૅ࿦ֶձ (PSSJ) 2021. https: //pssj.info/jsrnps/contents/contents_data/PSSJ-JSRNPS4(2021)_Masanobu_Toyooka.pdf △ ͸ɺCook ͷඇਪҠ tonk ͱฒͿʮϋʔϞχʔͷؒͷϋʔϞχʔ͕ͳ͍ʯͷ୅දྫɻDummett The Logical Basis of Metaphysics (1991) ʹ༝དྷɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 30
31. 6. ;ͨͨͼLLM΁ɾ·ͱΊɾԋश
32. ;ͨͨͼLLM΁ɿϋϧγωʔγϣϯͷࡾ૚਍அ LLM ʹ͸େҬཁٻ͸͋Δ͕ɺہॴอূػߏ͕ͳ͍ LLM ͸ʮࠜڌͳ͘ݴΘͳ͍ʯͱ͍͏େҬཁٻ͸ʢ͋Δ΂͖ͱͯ͠ʣ͕࣋ͭɺ֤ਪ࿦ε ςοϓͷہॴతͳอূػߏʢ൓సݪཧʹ౰ͨΔ΋ͷʣΛ࣋ͨͳ͍ɻ ϋϧγωʔγϣϯͷ޻ֶత਍அ ʮໃ६͠ͳ͍Α͏ʹԿ͔͢Ε͹Α͍ʯͱ͍͏ඇૢ࡞తཁٻ͚ͩͰ͸ɺ࣮૷͸कΕͳ͍ɻ ϋϧγωʔγϣϯʹࡾ૚ͷͲ͕͚͍ܽͯ͜Δ͔ͱ͍͏਍அ࿮૊ΈͰଊ͑௚ͤͳ͍͔ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 32
33. ·ͱΊ ࠓ೔ͷࠎࢠ ࡾ૚ɿہॴʢ൓సݪཧʣʗதؒʢਖ਼نԽʣʗେҬʢอଘ֦େʣ ɻ ࿈࠯ɿ൓సݪཧ ⇒ ਖ਼نԽ ⇒ อଘ֦େɻtonk ͸࠷ॳͷϦϯΫͰ੾Εͯࣗ໓ɻ ਖ਼نԽ͸୯ͳΔதؒͰ͸ͳ͘ਅਖ਼ͷϋʔϞχʔʹࡾ૚ΛՍڮ͢Δڮɻ ͨͩ͠ϋʔϞχʔͷؒͷϋʔϞχʔ͕ͳ͍͜ͱ΋͋Δʢݹయ࿦ཧɾCook ͕൓ྫʣ ɻ ෼ࢠ࿦ɿਖ਼نԽ͕ޮ͔͘Βҙຯ͸ద੾ͳจ຺Ͱ֬ఆ͢Δɻ LLM ਍அ େҬཁٻ͸͋Δ͕ہॴอূػߏ͕ͳ͍ʹʮফͤ໰୊ʯͷ޻ֶతଆ໘ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 33
34. ԋशɾ࣍ճ༧ࠂ ԋशʢղ౴ʹ͔͔ͬͨ࣌ؒ΋ॻ͘͜ͱʣ ໰ 1 ͋Δ݁߹ࢠʹ͍ͭͯɺಋೖنଇͷ௚ޙʹআڈنଇΛద༻ͨ͠ԕճΓΛΧοτ&ϖʔ ετͰؐݩͤΑʢ∧ ·ͨ͸ →ʣ ɻ ໰ 2 tonk ʹྨࣅͷʮյΕͨ݁߹ࢠʯΛࣗ࡞͠ɺͦΕ͕ࡾ૚ͷͲ͜ͰɾͳͥյΕΔ͔Λ਍ அͤΑɻ ʢఏग़ํ๏ɾక੾͸ KULMS ͷࢦࣔʹै͍ͬͯͩ͘͞ɻ ʣ ࣍ճʢୈ 12 ճɾ7/7ʣ ਖ਼نԽͷ΋͏ҰͭͷإɺΧοτআڈͱਪ݅ܭࢉ΁ʢ༧ఆʣ ɻ Պֶ఩ֶՊֶ࢙ (ԋश) ࿦ཧֶʢલظʣ ୲౰ɿ໼ా෦ढ़հ 34