最終更新日：2025/12/30
例文
By
the
turn
of
this
century
the
situation
concerning
logic
was
quite
simple:
there
was
basically
one
logic
(classical
logic)
which
could
be
used
(by
changing
the
set
of
proper
axioms)
in
various
situations.
Logic
was
about
pure
reasoning.
Brouwer’s
criticism
destroyed
this
dream
of
unity:
classical
logic
was
not
suited
for
constructive
features
and
therefore
it
lost
its
universality.
Now
by
the
end
of
the
century
we
are
faced
with
an
incredible
number
of
logics-some
of
them
only
named
‘logic’
by
antiphrasis,
some
of
them
introduced
on
serious
grounds.
復習用の問題
By the turn of this century the situation concerning logic was quite simple: there was basically one logic (classical logic) which could be used (by changing the set of proper axioms) in various situations. Logic was about pure reasoning. Brouwer’s criticism destroyed this dream of unity: classical logic was not suited for constructive features and therefore it lost its universality. Now by the end of the century we are faced with an incredible number of logics-some of them only named ‘logic’ by antiphrasis, some of them introduced on serious grounds.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
