23/12/16 09:21:49.12 ct7SpJpK.net
>>549
＞そして、自分の主張が少しだよ
その少しの主張が、根本的に間違ってる
引用した文章のどこにも書いてないのに
「素朴集合論で古典論理を直観主義論理に変えるだけで
ラッセル・パラドックスが解決できる」
とか
論理の交換による解決は可能だが、
その方法は排中律の削除ではなく、縮約規則の削除である
線形論理
URLﾘﾝｸ(ja.wikipedia.org)
なお、線形論理は２種類のandとorを持つ
23/12/16 09:21:49.12 ct7SpJpK.net
>>549
＞そして、自分の主張が少しだよ
その少しの主張が、根本的に間違ってる
引用した文章のどこにも書いてないのに
「素朴集合論で古典論理を直観主義論理に変えるだけで
ラッセル・パラドックスが解決できる」
とか
論理の交換による解決は可能だが、
その方法は排中律の削除ではなく、縮約規則の削除である
線形論理
URLﾘﾝｸ(ja.wikipedia.org)
なお、線形論理は２種類のandとorを持つ