Что-то и что угодно являются концепциями существования в онтологии , контрастирующими с концепцией ничто . Оба используются для описания понимания того, что то, что существует, не есть ничто, без необходимости обращаться к существованию всего . Философ Дэвид Льюис указал, что это обязательно неопределенные термины, утверждая, что «онтологические утверждения здравого смысла верны, если квантификаторы — такие слова, как «что-то» и «что угодно» — грубо ограничены обычными или знакомыми вещами». [1]
Идея о том, что «нечто» является противоположностью «ничто», существует по крайней мере с тех пор, как ее предложил философ- неоплатоник Порфирий в III веке. [2] Один из самых основных вопросов как науки, так и философии: почему существует нечто, а не ничто вообще? [3] Из этого вытекает вопрос: возможно ли вообще когда-либо существовать ничему или всегда должно существовать что-то? [4]
Грамматически « что-то и что-либо обычно классифицируются как местоимения , хотя они не обозначают другое существительное так ясно, как сама вещь , слово, которое всегда классифицируется как существительное» [5] .
В логике предикатов то, что описывается в терминах неспециалиста как «что-то», может более конкретно рассматриваться как экзистенциальная квантификация , то есть предикация свойства или отношения по крайней мере к одному члену домена. Это тип квантификатора , логическая константа , которая интерпретируется как «существует», «существует по крайней мере один» или «для некоторых». Она выражает, что пропозициональная функция может быть удовлетворена по крайней мере одним членом домена дискурса . Другими словами, это предикация свойства или отношения по крайней мере к одному члену домена. Она утверждает , что предикат в рамках экзистенциального квантификатора истинен по крайней мере для одного значения предикатной переменной .
