Repository | Journal | Volume | Articles

There are two different ways to introduce the notion of truthin constructive mathematics. The first one is to use a Tarskian definition of truth in aconstructive (meta)language. According to some authors, (Kreisel, van Dalen, Troelstra ... ),this definition is entirely similar to the Tarskian definition of classical truth (thesis A).The second one, due essentially to Heyting and Kolmogorov, and known as theBrouwer–Heyting–Kolmogorov interpretation, is to explain informally what it means fora mathematical proposition to be constructively proved. According to other authors (Martin-Löfand Shapiro), this interpretation and the Tarskian definition of truth amount to thesame (thesis B). My aim in this paper is to show that thesis A is only reasonable, that thesis Bis false and to answer the following question: what is defined by the Tarskian definition ofconstructive truth?

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

DOI: 10.1023/A:1026274716840

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

Warning: count(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 173

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 175

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: count(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 173

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenFormat.php on line 175

Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24

Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327

Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329

Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595

Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 832

Full citation: