Results 61 to 70 of about 3,684 (189)
Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley +1 more source
Macdonald Before Quine on Truth by Convention
ABSTRACT I show that Margaret Macdonald anticipated Quine's well‐known criticisms of logical conventionalism in her unpublished 1934 PhD thesis, but that she later developed her criticisms in a direction distinct from that of Quine under the influence of Wittgenstein. Macdonald rejected as senseless the suggestion that statements of logical truth admit
Oliver Thomas Spinney
wiley +1 more source
Metatheoretical Foundations of Educational Theory. Selected Aspects [PDF]
This article presents metatheoretical analyses. Their subject is educational theory, while the aim is to formulate descriptive metatheoretical remarks on selected aspects of the functioning of educational theory as a sub-discipline of pedagogical science.
Piotr Magier
doaj +1 more source
Considering Discursive Absence as Resonance
ABSTRACT Discourse contains both presences and absences, conveying meaning by what is said and what remains unsaid. Discursive absences make for challenging analysis because the unsaid is slippery by design. This paper looks at questions of rigour (How would you study absence?) and morality (Why would you study absence?) to make a case for qualitative ...
Amy Jo Murray, Kevin Durrheim
wiley +1 more source
TOWARDS DIALOGICAL PLURALISM IN INTERNATIONAL RELATIONS – ON THE ROLE, SUBSTANCE AND CONSEQUENCES OF METATHEORETICAL FOUNDATIONS IN RESEARCH PRACTICE The aims of the article are the following: (1) to point out the rung occupied by metatheory on the ...
Mateusz Filary-Szczepanik
doaj +1 more source
Visionary Realism And The Emergence Of A Eudaimonistic Society: Metatheory In A Time Of Metacrisis [PDF]
This thesis aims to support the conditions for the emergence of a eudaimonistic, freeflourishing planetary society by helping ignite the potentials of metatheory as a transformational cultural force vis-à-vis our complex twenty-first century challenges.
Hedlund, Nicholas Hancock
core +1 more source
Computational metatheory in Nuprl [PDF]
This paper describes an implementation within Nuprl of mechanisms that support the use of Nuprl's type theory as a language for constructing theorem-proving procedures. The main component of the implementation is a large library of definitions, theorems and proofs.
openaire +1 more source
A list-machine benchmark for mechanized metatheory (extended abstract)
International audienceWe propose a benchmark to compare theorem-proving systems on their ability to express proofs of compiler correctness. In contrast to the first POPLmark, we emphasize the connection of proofs to compiler implementations, and we point
Appel, Andrew W., W. +2 more
core +1 more source
The basis of the theory of conservation as a prerequisite for its application
An integral part of theory, a prerequisite for its predictive and explanatory function, is its empirical layer - the generalization, sorting and explanation of empirical findings.
Vít Jesenský
doaj +1 more source
Structuring metatheory on inductive definitions
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matthews, S., Basin, D.
openaire +5 more sources

