Большой Энциклопедический словарь V

ИНТУИЦИОНИСТСКАЯ ЛОГИКА

ИНТУИЦИОНИСТСКАЯ логика - логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.

  1. интуиционистская логика—форма логики предикатов См. Логика предикатов отражающая взгляд Интуиционизма на характер логических законов считающихся с его точки зрения допустимыми в применении к док...Большая Советская энциклопедия II
  2. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА логика удовлетворяющая интуиционистским требованиям к математическим рассуждениям....Большой энциклопедический словарь III
  3. интуиционистская логика—совокупность приемлемых с точки зрения интуиционизмаi методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов...Математическая энциклопедия
  4. интуиционистская логика—нтуцыйная логка...Русско-белорусский математический словарь
  5. интуиционистская логика—нтуцонстська логка...Русско-украинский политехнический словарь
  6. интуиционистская логика—одна из наиболее важных ветвей логики неклассической имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию интуи...Словарь логики
  7. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА одна из наиболее важных ветвей логики неклассическойi iимеющая своей философской предпосылкой программу интуиционизмаi. iВыдвигая на первый план ...Словарь по логике
  8. интуиционистская логика—форма логики предикатов или логики высказываний включающая лишь такие логические законы крые приемлемы с т. зр. концепции интуиционизма. Системы И. л. построенные голл. у...Советский философский словарь
  9. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА логика удовлетворяющая интуиционистским требованиям к математическим рассуждениям....Современный энциклопедический словарь
  10. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА одна из наиболее важных ветвей неклассической логики имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математич...Философская энциклопедия
  11. интуиционистская логика—форма логики предикатов отражающая взгляд интуиционизма на характер логич. законов считающихся с его т. зр. допустимыми в применении к доказательствам суждений из тех час...Философская Энциклопедия (в 5 томах)
  12. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА логика удовлетворяющая интуиционистским требованиям к математическим рассуждениям....Энциклопедический словарь естествознания
  13. интуиционистская логика—ИНТУИЦИОНИСТСКАЯ ЛОГИКА первоначально появилась как логика интуиционистской математики но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал раз...Энциклопедия эпистемологии и философии науки