Results 61 to 70 of about 3,684 (189)

Semantic primitives and compositionality: An Annual Review of Information Science and Technology (ARIST) paper

open access: yesJournal of the Association for Information Science and Technology, Volume 77, Issue 1, Page 198-223, January 2026.
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

open access: yesPacific Philosophical Quarterly, Volume 106, Issue 4, Page 188-199, December 2025.
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]

open access: yesStudia z Teorii Wychowania
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

open access: yesSocial and Personality Psychology Compass, Volume 19, Issue 10, October 2025.
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

Ku dialogicznemu pluralizmowi w nauce o stosunkach międzynarodowych – o roli, substancji i konsekwencjach podstaw metateoretycznych w praktyce badawczej

open access: yesPoliteja
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]

open access: yes, 2023
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]

open access: yes, 2005
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)

open access: yes, 2006
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

open access: yesOchrona Dziedzictwa Kulturowego
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

open access: yesInformation and Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matthews, S., Basin, D.
openaire   +5 more sources

Home - About - Disclaimer - Privacy