Lexicon of Arguments

 Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
III 95
Finite/finiteness/1st order logic with identity/First order logic/Field: a statement about finiteness cannot be identified with a sentence of 1st order logic plus identity.
Solution: take "There is only a finite number of" as a primitive quantifier.
>Quantifiers, >Logic, >Second order logic.
A theory of truth for "E-fin" of course, would have to introduce the notion of finiteness. But this is not an objection to the clarity and usability of the logic.
At least the assertion "There are infinitely many grains of sand" needs no functions, quantities and numbers.
>Mathematical entities, >Quantities, >Quantities (Physics) >Functions.

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.