MétaCan
Menu
Back to cohort
Record W2314865747 · doi:10.14288/1.0105458

Grammar and logic

2011· article· en· W2314865747 on OpenAlexaff
David Anthony Fielding

Bibliographic record

VenueOpen Collections · 2011
Typearticle
Languageen
FieldComputer Science
TopicAdvanced Algebra and Logic
Canadian institutionsUniversity of British Columbia
Fundersnot available
KeywordsLinguisticsComputer scienceGrammarNatural language processingArtificial intelligencePhilosophy

Abstract

fetched live from OpenAlex

The structure of our world is given in the grammar of our native tongue. If so people whose native tongue has quite a different grammar must be living in a quite different world. A logic such as Aristotle's may seem universal to the speakers of Greek, in fact it may seem universal to speakers of any Indo-European tongue, but the logic will hold good only for the 'universe' of the language or language-family in question. This implies a relationship between logic and grammar rather like the one Russell and Whitehead -claimed for mathematics and logic. Their Principia Mathematica tried to show that the mathematical notion of number rests on, or arises out of, the logical notion of class, that is, we come to understand what a number is through our grasp of what a class is. This thesis is a kind of Principia Logica: it suggests that the whole framework of common sense logic rests on, or arises out of, the grammatical structure of the language the logic was conceived in or took shape in terms of. And if so logical criteria come into being and take shape inside a language or language-family, and are dependent for their validity and even for their meaning on the structure of the language in question. To test, or to try to test, a mode of thought or an argument form against a logical system would be to put the cart before the horse: the logic only makes sense because the form of argument or mode of thought was there already. If so philosophers and logicians ought to think of the words 'world', 'universe' and 'universal' with tongue in cheek. In so far as a judgment seems to us universally true it is unlikely to hold good for the world of an alien language family. If our world is not the only world anybody writing logic or philosophy down ought to make it clear whose world he has in mind - and to do this it may be enough to make sure it is addressed to somebody in particular. Western philosophers seem to have addressed themselves to the whole world, or to mankind, or God. This thesis shows, if nothing else, how hard it can be to address even one other human being. To sum up with another analogy; it seems to me, as a single man, that the difference between one and two is greater than the difference between any other two numbers. There may be a world of difference between zero and one, but between one and two there's all the difference in the world - and that's the difference that matters. Perhaps the only way 1,000 differs from 1,001, as Frege puts it, is in the expression on its face.

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.

How this classification was reachedexpand

Full frame distilled prediction

Teacher imitation

Not calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.

metaresearch head score (Codex)0.000
metaresearch head score (Gemma)0.000
Version: codex-gemma-dda1882f352aValidation status: machine_predicted_unvalidated
Candidate categoriesnone
Consensus categoriesnone
DomainCandidate signal: none · Consensus signal: none
Study designCandidate signal: Theoretical or conceptual · Consensus signal: Theoretical or conceptual
GenreCandidate signal: Other · Consensus signal: none
Teacher disagreement score0.366
Threshold uncertainty score0.758

Codex and Gemma teacher scores by category

CategoryCodexGemma
Metaresearch0.0000.000
Meta-epidemiology (narrow)0.0000.000
Meta-epidemiology (broad)0.0000.000
Bibliometrics0.0000.001
Science and technology studies0.0010.000
Scholarly communication0.0000.000
Open science0.0000.000
Research integrity0.0000.000
Insufficient payload (model declined to judge)0.0000.000

Machine scores (provisional)

The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.

Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.

Opus teacher head0.053
GPT teacher head0.257
Teacher spread0.204 · how far apart the two teachers sit on this one work
Validation statusscore_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it

Classification

machine, unvalidated

Machine predicted; a candidate call from one teacher head, not a consensus.

The models applied no category: nothing in the taxonomy fit this work.
Study designTheoretical or conceptual
Domainnot available
GenreOther

How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".

Quick stats

Citations0
Published2011
Admission routes1
Has abstractyes

Explore more

Same venueOpen CollectionsSame topicAdvanced Algebra and LogicFrench-language works237,207