Logical Presupposition

What is logical presupposition? How should it be defined?

While theories are answers to questions presuppose theories. The concept of logical presupposition is meant to denote the logical (as opposed to epistemic) aspect of the relation of presupposition.

In the scientonomic context, this question was first formulated by Hakob Barseghyan and Nichole Levesley in 2021. The question is currently accepted as a legitimate topic for discussion by Scientonomy community. At the moment, the term has no accepted definition in Scientonomy.

Scientonomic History

Acceptance Record

Here is the complete acceptance record of this term (it includes all the instances when the term was accepted as a part of a community's taxonomy):

Community	Accepted From	Acceptance Indicators	Still Accepted	Accepted Until	Rejection Indicators
Scientonomy	1 August 2021	This is when Barseghyan and Levesley's Question Dynamics that offered a definition of the term was published. This is a good indication that the question of how the term is to be defined is considered legitimate by the community.	Yes

All Theories

The following definitions of the term have been suggested:

Theory	Formulation	Formulated In
Logical Presupposition (Barseghyan-Levesley-2021)	A theory is said to be a logical presupposition of a question, iff the theory is logically entailed by any direct answer to the question.	2021

If a definition of this term is missing, please click here to add it.

Accepted Theories

According to our records, no definition of the term has ever been accepted.

Suggested Modifications

Here is a list of modifications concerning this term:

Modification	Community	Date Suggested	Summary	Verdict	Verdict Rationale	Date Assessed
Sciento-2021-0001	Scientonomy	1 August 2021	Accept the definitions of logical presupposition and epistemic presupposition.	Open

Ontology

Existence

There is currently no accepted view concerning the existence of logical presuppositions.

Disjointness

No classes are currently accepted as being disjoint with this class.

Subtypes

No classes are currently accepted as subtypes of a logical presupposition.

Supertypes

No classes are currently accepted as supertypes of a logical presupposition.

Associations

No associations of a logical presupposition are currently accepted.

If a question concerning the ontology of a logical presupposition is missing, please add it here.

Dynamics

If a question concerning the dynamics of a logical presupposition is missing, please add it here.