Results 131 to 140 of about 3,684 (189)
Paraconsistent Metatheory: New Proofs With Old Tools
Journal of Philosophical Logic, 2022 This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic(s) can be ...
Guillermo Badia +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Clinical Psychology, 2005
AbstractThis article proffers a critical survey of Paul E. Meehl's thoughts on the philosophy of science, as well as constructive criticisms of his views on corroboration of scientific theories. Using examples from clinical psychology and allied domains, six major topics are addressed: (a) the nature of theoretical constructs, (b) statistical diagnosis
openaire +2 more sources
AbstractThis article proffers a critical survey of Paul E. Meehl's thoughts on the philosophy of science, as well as constructive criticisms of his views on corroboration of scientific theories. Using examples from clinical psychology and allied domains, six major topics are addressed: (a) the nature of theoretical constructs, (b) statistical diagnosis
openaire +2 more sources
1995
This paper outlines the development of the metatheory for Luo's type theory UTT, the type theory implemented in the proof assistant Lego and containing as subsystems Martin-Lofs type theory and the Calculus of Constructions. The approach used is to define a typed operational semantics for the system and to establish the important metatheoretic ...
openaire +2 more sources
This paper outlines the development of the metatheory for Luo's type theory UTT, the type theory implemented in the proof assistant Lego and containing as subsystems Martin-Lofs type theory and the Calculus of Constructions. The approach used is to define a typed operational semantics for the system and to establish the important metatheoretic ...
openaire +2 more sources
The metatheory of ontology reuse
Applied Ontology, 2018The reuse of ontologies is critical to their value as a means of knowledge representation. Unfortunately, reuse also still poses a considerable challenge for the ontological community. One reason for this is the lack of a formal definition of reuse.
Megan Katsumi, Michael Grüninger
openaire +2 more sources
A Study of the Metatheory of Assertoric Syllogistic
Logica Universalis, 2023We show how a semantics based on Aristotle’s texts and ecthetic proofs can be reconstructed. All truth conditions are given by means of set inclusion. Perfect syllogisms reveal to be valid arguments that deserve a validity proof. It turns out of these proofs that transitivity of set inclusion is the necessary and sufficient condition for the validity ...
openaire +3 more sources
A Developmental Metatheory of Psychopathology
American Journal of Psychotherapy, 1994The author proposes an integrative model of psychopathology in light of the contemporary need to bridge diverse ideological frameworks. This model has its major foundations in drive, ego, object relations, and self psychoanalytic perspectives as they impact upon interactional patterns of infancy.
openaire +2 more sources
Metatheory and information science
Journal of Documentation, 1997Metatheory is described as the analysis of the presuppositions of a field of knowledge or practice. The presuppositions at the basis of the practice of information science are discussed, in particular relation to such concepts as information, knowledge (personal and public), message, message designation, information want and need, query, relevance and ...
openaire +2 more sources