4
votes
If Large Language Models can do Maths, is Formalism true?
IMO we may consider the link between math and language (maybe more... maybe math is language).
Consider a ChatGPT answering our questions. What is it doing? Is it speaking? Or it is only simulating a ...
- 36.2k
4
votes
If Large Language Models can do Maths, is Formalism true?
As a constructivist brother who places as much credence in Platonic Forms as he does in the Irish tuatha da dannan or the Norwegian troll, let me dispute the premise that LLMs do math or have much in ...
- 22.9k
3
votes
If Large Language Models can do Maths, is Formalism true?
Dougherty[95] is a continuation of an examination of a topic in the theory of large cardinals (those which are critical points of elementary embeddings) that is some many years old, the abstract for ...
- 12.5k
2
votes
Accepted
Question about Differences in Existential Quantification
This is definitely a question about existential quantification which very much is a subject of ontology. Is there a difference in these sentences?
First, note that there are two meanings of 'THERE_ARE'...
- 22.9k
2
votes
Question about Differences in Existential Quantification
The verbs "to be" and "to do" are semantically overloaded with assumptions about existence.
Verbs turned into adjectives are semantically unclear: does "an X Y" mean &...
- 3,525
2
votes
Question about Differences in Existential Quantification
Inasmuch as (1) can be paraphrased as (2), and if (2) is determinately meaningful enough (the bare nod towards "objects" makes it seem like a pre-interpreted sentence, though see about ...
- 12.5k
1
vote
The relationship between logical systems and natural language semantics
You are asking if there is some sort of methodology applied to natural language that resembles that of the logician, mainly by building an abstract, symbolic system for examining the structure of ...
- 22.9k
1
vote
Is there a difference between ambiguity and vagueness?
Vague and ambiguous are overlapping terms and can be used as synonyms. However, the key idea conveyed by vague, which differentiates it from ambiguous, is indistinctness. To take the example cited in ...
- 13.4k
1
vote
Accepted
Is there a difference between ambiguity and vagueness?
I am assuming that your question has a philosophical implication. Ambiguity involves two meanings. Vagueness is broader, involving several possibilities. Philosophically, do you mean deliberate ...
- 1,942
Only top scored, non community-wiki answers of a minimum length are eligible