æ§˜ç›¸è«–ç† - Wikipedia様相論ç†ï¼ˆã‚ˆã†ãã†ã‚ã‚“ã‚Šã€è‹±: modal logic）ã¯ã€ã„ã‚ゆるå¤å…¸è«–ç†ã®å¯¾è±¡ã§ãªã„ã€æ§˜ç›¸ï¼ˆmodality）ã¨å‘¼ã°ã‚Œã‚‹ã€Œã€œã¯å¿…然的ã«çœŸã€ã‚„「〜ã¯å¯èƒ½ã§ã‚ã‚‹ã€ã¨ã„ã£ãŸå¿…然性やå¯èƒ½æ€§ãªã©ã‚’扱ã†è«–ç†ã§ã‚る（様相論ç†ã¯ã€éƒ¨åˆ†ã®çœŸç†å€¤ã‹ã‚‰ã¯å…¨ä½“ã®çœŸç†å€¤ãŒæ±ºå®šã•ã‚Œãªã„内包論ç†ã®ä¸€ç¨®ã¨è¦‹ã‚‹ã“ã¨ãŒã§ãる）。 ãã®æ´å²ã¯å¤ãアリストテレスã¾ã§é¡ã‚‹ã“ã¨ãŒã§ãã‚‹[1]:138ãŒã€å½¢å¼çš„ãªæ‰±ã„ã¯æ•°ç†è«–ç†å¦ä»¥é™ã€éžå¤å…¸è«–ç†ã¨ã—ã¦ã§ã‚る。 様相論ç†ã§ã¯ä¸€èˆ¬ã«ã€æ¨™æº–çš„ãªè«–ç†ä½“ç³»ã«ã€Œï½žã¯å¿…然的ã§ã‚ã‚‹ã€ã“ã¨ã‚’æ„味ã™ã‚‹å¿…然性演算åã¨ã€ã€Œï½žã¯å¯èƒ½ã§ã‚ã‚‹ã€ã“ã¨ã‚’æ„味ã™ã‚‹å¯èƒ½æ€§æ¼”ç®—åã®ãµãŸã¤ã®æ¼”ç®—åãŒè¿½åŠ ã•ã‚Œã‚‹ã€‚ 様相論ç†ã¯çœŸç†è«–的（形而上å¦çš„ã€è«–ç†çš„）様相ã®æ–‡è„ˆã§èªžã‚‰ã‚Œã‚‹ã“ã¨ãŒæœ€ã‚‚多ã„。ã“ã®æ§˜ç›¸ã«ãŠã„ã¦ã¯ã€Œï½žã¯å¿…然的ã§ã‚ã‚‹ã€ã€ã€Œï½žã¯å¯èƒ½ã§ã‚ã‚‹ã€ã¨ã„ã£ãŸè¨€æ˜ŽãŒæ‰±ã‚れるãŒã€ã“ã‚Œã¯èªè˜è«–的様相ã¨æ··åŒã•ã‚Œã‚„ã™ã„。 例ãˆã°ã€Œé›ªç”·ã¯å˜
å¦å®š - Wikipedia
{{#tags}}- {{label}}
{{/tags}}