-
Antirealism, Strict Finitism and Structural Rules
According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have... -
Convenzionalismo e costanti logiche
The soundness of the traditional Tarskian definition of logical consequence and, a fortiori, of logical validity, calls for a positive solution to the following...
