Hilbert's Epsilon Calculus and Recent Attempts to Employ It in the Analysis of Language Cover Image

Hilbertův epsilon-kalkul a současné pokusy o jeho využití pro analýzu jazyka
Hilbert's Epsilon Calculus and Recent Attempts to Employ It in the Analysis of Language

Author(s): Jaroslav Peregrin
Subject(s): Epistemology, Logic, Philosophy of Science
Published by: Filozofický ústav SAV

Summary/Abstract: Epsilon kalkulus je logický systém, jehož historie j e dlouhá; navrhl ho již mezi dvěma světovými válkami David Hilbert. Od té doby upadl bezmála do zapomnění, až byl v nedávné době oprášen některými logiky, kteří se zabývají analýzou přirozeného jazyka. Podívejme s e nejprve na původní Hilbertovu verzi.

  • Issue Year: 7/2000
  • Issue No: 2
  • Page Range: 210-217
  • Page Count: 8
  • Language: Czech