Кіріспе
Бірге туындамайтын жеке жағдайларды модельдеу үшін қолданылатын термин. Философиялық логикада мүмкін емес әлем (кейде қалыпты емес әлем деп аталады) тұжырымы, қалыпты мүмкін әлемдерді пайдалану арқылы тиісті түрде шешілмейтін белгілі бір құбылыстарды модельдеу үшін қолданылады. Мүмкін емес әлем, , мүмкін әлеммен (ол не болса да) бірдей, бірақ ол бір жағынан "мүмкін емес". Контекстке байланысты, бұл кейбір қарама-қайшылықтардың, мысалы, түрдегі мәлімдемелердің , немесе логиканың, метафизиканың және математиканың қалыпты заңдарының , немесе екеуінің де орындалмауы дегенді білдіруі мүмкін. Мүмкін емес әлемдер философия, логика және семантикада даулы нысандар болып табылады. Олар модальдық логика үшін мүмкін әлемдер семантикасының пайда болуынан бері, сондай-ақ классикалық емес логика үшін әлемге негізделген семантикадан бері бар, бірақ олардың мүмкін әріптестері философияның барлық салаларында тапқан кең таралған қабылдауға әлі жете алмады.
In philosophical logic, the concept of an impossible world (sometimes called a non normal world)
is used to model certain
phenomena that cannot be adequately handled using ordinary possible worlds. An
impossible world, , is the same sort of thing as a possible world (whatever that may be),
except that it is in some sense "impossible." Depending on the context, this may mean that some contradictions, statements of the form are true at , or that the normal laws of logic, metaphysics, and mathematics, fail to
hold at , or both. Impossible worlds are controversial objects in philosophy, logic, and semantics. They have been around since the advent of possible world semantics for modal logic, as well as world based semantics for non classical logics, but have yet to find the ubiquitous acceptance, that their possible counterparts have found in all walks of philosophy.
Мүмкін әлемдер
Мүмкін әлемдерге көбінесе күдікпен қарайды, сондықтан олардың жақтаушылары олардың пайдасына аргументтер табу үшін күресіп келген. Көбінесе айтылатын аргумент – «жолдар аргументі» деп аталады. Ол мүмкін әлемдерді «істердің қалай дамуы мүмкін болған жолдары» деп анықтайды және өз алғышарттары мен қорытындыларында табиғи тілден алынған болжамдарға сүйенеді, мысалы: (1) Хиллари Клинтон 2016 жылғы АҚШ сайлауында жеңіске жете алатын еді. (2) Олай болса, істердің дамуының басқа да жолдары бар. (3) Мүмкін әлемдер – істердің қалай дамуы мүмкін болған жолдар. (4) Олай болса, басқа да мүмкін әлемдер бар. Бұл аргументтің шешуші қадамы (2) бағытында болады, онда ықтимал (1) «жолдар» арқылы сандық өлшемді қамтитын түсіндіру арқылы қарастырылады. Виллард Ван Орман Куиннен кейінгі көптеген философтар сандық өлшем онтологиялық міндеттемелерді білдіреді, оның ішінде мүмкін әлемдердің болуына міндеттемелерді де қамтиды деп санайды. Куин өзінің әдісін ғылыми теориялармен шектеді, бірақ басқалар оны табиғи тілге де қолданды, мысалы, Ами Л. Томассон «Онтологияны жеңілдету» атты мақаласында. «Жолдар» аргументінің күші осы болжамдарға байланысты және онтологияның сандық әдісіне немесе онтологияға нұсқаушылық ретінде табиғи тілдің сенімділігіне күмән тудыру арқылы сынға алынуы мүмкін.
(1) Hillary Clinton could have won the 2016 US election. (2) So there are other ways how things could have been. (3) Possible worlds are ways how things could have been. (4) So there are other possible worlds. The central step of this argument happens at (2) where the plausible (1) is interpreted in a way that involves quantification over "ways". Many philosophers, following Willard Van Orman Quine, hold that quantification entails ontological commitments, in this case, a commitment to the existence of possible worlds. Quine himself restricted his method to scientific theories, but others have applied it also to natural language, for example, Amie L. Thomasson in her paper entitled Ontology Made Easy. The strength of the argument from ways depends on these assumptions and may be challenged by casting doubt on the quantifier method of ontology or on the reliability of natural language as a guide to ontology.
Карридің парадоксінен аулақ болу
Керридің парадоксы – өз семантикасын білдіре алатын, яғни "семантикалық жағынан жабық" формальды тілдерді жасауға ұмтылған логиктер үшін елеулі мәселе. Парадокс, көріне берілген жиырылу принципіне байланысты туындайды:
Семантикалық жүйеде жиырылуды күштен шығаратын қалыпты емес әлемдерді қолданудың жолдары бар. Бұған қоса, қалыпты емес әлемдерді "логика заңдары бұзылатын" әлемдер деп қарастыру арқылы осы әдістерге философиялық тұрғыдан негізделген түсіндіру беруге болады.