Обоснован тезис о том, что моральные теории и практика должны удовлетворять минимальному логическому требованию непротиворечивости. Поскольку логика часто считается основным критерием рациональности, теоретические основы различных трактовок этики можно считать рациональными с точки зрения совместимости теоретических построений и их практической реализации.
Дэвид Льюис в своей теории законов отвергает подлинность невозможных миров на том основании, что противоречие, заключенное в рамках его модификатора «в (мире) w», равносильно противоречию во всей теории, что представляется неприемлемым. Вместе с тем, все чаще в философии рассматриваются невозможные, контрфактические миры и конструируются мысленные эксперименты с ними. Возникает необходимость расширения теории возможных миров на подлинные, конкретные, но невозможные миры.
Теория аргументации предположительно должна быть связана с рациональностью. Традиционно рациональность определялась в связи с логикой, и в то же время была частью теории аргументации. Таким образом, через логику аргументация приобретала признак рациональности, в то время как риторическая составляющая обеспечивала успешность коммуникации. Однако возможности разной логики и особенности практической рациональности предполагают другую последовательность родовидовых отношений: рациональность, аргументация, логика
Обсуждается проблема интеграционного подхода к искусственному интеллекту. АналиПонятие аналитичности играет важную роль в обосновании истин. В традиционной логике терминов и современной логике предикатов применяются сходные подходы для реконструкции идеи достоверного обоснования. Кант использовал категории синтетического априори, Фреге опирался на особенности термов (индивидных констант и функций), чтобы сформулировать условия для применения определений.