doing.referenting
senso-concept-Mcs (dngReferenting)

McsHitp-creation:: {2021-08-09}

overview of dngReferenting

description::
· dngReferenting is the-model-evaluating of an-info (= FINDING the-type of the-relation between an-info and its referent).

name::
* McsEngl.McsCor000020.last.html!⇒dngReferenting,
* McsEngl.dirCor/McsCor000020.last.html!⇒dngReferenting,
* McsEngl.dngReferenting,
* McsEngl.info'evaluating!⇒dngReferenting,
* McsEngl.model-evaluating.referenting!⇒dngReferenting,
* McsEngl.referenting/réfrentin/!=doing.referenting!⇒dngReferenting,

argument of dngReferenting

description::
* human: doer,
* info,
* referent,
* rlnReferenting,

name::
* McsEngl.argReferenting,
* McsEngl.dngReferenting'argument!⇒argReferenting,

info of dngReferenting

description::
· the-info for which the-doer want to find its rlnReferent.

name::
* McsEngl.argReferenting.info,
* McsEngl.dngReferenting'info,

referent of dngReferenting

description::
· the-referent of this info.

name::
* McsEngl.argReferenting.referent,
* McsEngl.dngReferenting'referent,

relation of dngReferenting

description::
· the-rlnReferent of this info and referent.

name::
* McsEngl.argReferenting.relation,
* McsEngl.dngReferenting'relation,

info-resource of dngReferenting

name::
* McsEngl.dngReferenting'Infrsc,

addressWpg::
* proof-theory-of-math-logic,

evoluting of dngReferenting

name::
* McsEngl.evoluting-of-dngReferenting,
* McsEngl.dngReferenting'evoluting,

{2021-08-09}::
=== McsHitp-creation:
· creation of current concept.

WHOLE-PART-TREE of dngReferenting

name::
* McsEngl.dngReferenting'whole-part-tree,

whole-tree-of-dngReferenting::
*
* ... Sympan.

part-tree-of-dngReferenting::
*

GENERIC-SPECIFIC-TREE of dngReferenting

name::
* McsEngl.dngReferenting'generic-specific-tree,

generic-tree-of-dngReferenting::
* model-evaluating
* ... entity.

specific-tree-of-dngReferenting::
* proving,
* disproving,

dngReferenting.proving

description::
· proving is the-true dngReferenting.
· ΑΠΟΔΕΙΞΗ είναι η 'ΔΙΑΔΙΚΑΣΙΑ' με την οποία δείχνουμε ότι μια 'πραγματική πληροφορία' είναι 'ΑΛΗΘΙΝΗ'.
[hmnSngo.{1994-05}]

name::
* McsEngl.dngProving,
* McsEngl.dngReferenting.proving!⇒dngProving,
* McsEngl.proof!⇒dngProving,
* McsEngl.to-prove!~verbEnglC:prov-e-es-ed-ing-en!=dngProving,
* McsEngl.proving-doing,
====== langoGreek:
* McsElln.απόδειξη!η!=dngProving,
* McsElln.ρήμα.αποδεικνύω!=dngProving,
* McsElln.αποδεικνύω!~verbElln!=dngProving,

argument of dngProving

description::
* prover,
* verifier,
* info,

name::
* McsEngl.dngProving'argument,

prover of dngProving

description::
· the-party that shows to another party (the-verifier) that the-info is true.

name::
* McsEngl.dngProving'prover,
* McsEngl.prover-of-dngProving,

verifier of dngProving

description::
· the-party that is-convinced by the-prover that the-info is true.

name::
* McsEngl.dngProving'verifier,
* McsEngl.verifier-of-dngProving,

info of dngProving

description::
· the-info the-prover must-show that it is true.

name::
* McsEngl.dngProving'info,

dngProving.SPECIFIC

description::
* practice,
* time,
* info-resource,
===
* direct-proving,
* indirect-proving,
===
* theoritical-proving,
* practical-proving,
===
* valid-proving,
* invalid-proving,
===
* experimenting,

name::
* McsEngl.dngProving.specific,

dngReferenting.disproving

description::
· disproving is the-false dngReferenting.

name::
* McsEngl.disproving,
* McsEngl.provingNo!⇒disproving,
* McsEngl.dngReferenting.disproving!⇒disproving,
====== langoGreek:
* McsElln.διαδικασία-διάψευσης!=disproving,

dngProving.practice

description::
· practice as the-opposite of theory is the-best type of proving.
· but on most cases we can not use it.

name::
* McsEngl.practical-proving,
* McsEngl.dngProving.practice!⇒practical-proving,

specific-tree-of-practical-proving::
* experimenting,

dngProving.time

description::
· time is another type of proving a-forcast.
· but we can not use it at present.

name::
* McsEngl.dngProving.time,

dngProving.info-resource

description::
· an-info-resource is a-secondary type of proving.
· a-RELIABLE-info-resource give us a-POSSIBILITY of proving.
· anonymous-info-resource is by definition unreliable!

name::
* McsEngl.dngProving.info-resource,

dngProving.practiceNo (theory)

description::
· not practical-proving, by thinking.

name::
* McsEngl.dngProving.theory,
* McsEngl.theoritical-proving,

dngProving.direct

description::
"In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems. For example, direct proof can be used to establish that the sum of two even integers is always even:
For any two even integers x and y we can write x = 2a and y = 2b for some integers a and b, since both x and y are multiples of 2. But the sum x + y = 2a + 2b = 2(a + b) is also a multiple of 2, so it is therefore even by definition.
This proof uses definition of even integers, as well as distribution law.
[http://en.wikipedia.org/wiki/Mathematical_proof]

name::
* McsEngl.direct-proof,
* McsEngl.dngProving.direct,

dngProving.directNo

description::
"In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known as indirect proof, proof by assuming the opposite, and reductio ad impossibile.[1]"
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Proof_by_contradiction]

name::
* McsEngl.indirect-proof!⇒provingDirectNo,
* McsEngl.proof-by-assuming-the-opposite!⇒provingDirectNo,
* McsEngl.proof-by-contradiction!⇒provingDirectNo,
* McsEngl.dngProving.directNo!⇒provingDirectNo,
* McsEngl.provingDirectNo,
* McsEngl.reduction-ad-impossibile!⇒provingDirectNo,
====== langoGreek:
* McsElln.απαγωγή-σε-άτοπο!=provingDirectNo,
* McsElln.απόδειξη-με-την-απαγωγή-σε-άτοπο!=provingDirectNo,

dngProving.valid

description::
· a-proving without mistakes.

name::
* McsEngl.valid-proving,
* McsEngl.dngProving.valid,

dngProving.validNo

description::
· a-proving with mistakes.

name::
* McsEngl.invalid-proving,
* McsEngl.dngProving.validNo,

validNo.irrelevant-conclusion

description::
"An irrelevant conclusion,[1] also known as ignoratio elenchi (Latin for 'ignoring refutation') or missing the point, is the informal fallacy of presenting an argument that may or may not be logically valid and sound, but (whose conclusion) fails to address the issue in question. It falls into the broad class of relevance fallacies.[2]
The irrelevant conclusion should not be confused with formal fallacy, an argument whose conclusion does not follow from its premises, instead, it is that despite its formal consistency it is not relevant to the subject being talked about."
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Irrelevant_conclusion]

name::
* McsEngl.irrelevant-conclusion,
* McsEngl.proving-validNo.irrelevant-conclusion,

validNo.sophism

description::
"An intentional mistake made with a view to confusing an opponent and passing off a false judgement for a true one, is called a sophism"
[{1989} Getmanova, Logic, p232]

name::
* McsEngl.sophism,

dngProving.experimenting

description::
"An experiment is a procedure carried out to support or refute a hypothesis. Experiments provide insight into cause-and-effect by demonstrating what outcome occurs when a particular factor is manipulated. Experiments vary greatly in goal and scale, but always rely on repeatable procedure and logical analysis of the results. There also exist natural experimental studies.
A child may carry out basic experiments to understand how things fall to the ground, while teams of scientists may take years of systematic investigation to advance their understanding of a phenomenon. Experiments and other types of hands-on activities are very important to student learning in the science classroom. Experiments can raise test scores and help a student become more engaged and interested in the material they are learning, especially when used over time.[1] Experiments can vary from personal and informal natural comparisons (e.g. tasting a range of chocolates to find a favorite), to highly controlled (e.g. tests requiring complex apparatus overseen by many scientists that hope to discover information about subatomic particles). Uses of experiments vary considerably between the natural and human sciences.
Experiments typically include controls, which are designed to minimize the effects of variables other than the single independent variable. This increases the reliability of the results, often through a comparison between control measurements and the other measurements. Scientific controls are a part of the scientific method. Ideally, all variables in an experiment are controlled (accounted for by the control measurements) and none are uncontrolled. In such an experiment, if all controls work as expected, it is possible to conclude that the experiment works as intended, and that results are due to the effect of the tested variables.
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Experiment]

name::
* McsEngl.experiment!⇒dngExperimenting,
* McsEngl.dngExperimenting,
* McsEngl.dngProving.experimenting!⇒dngExperimenting,
====== langoGreek:
* McsElln.πείραμα!=dngExperimenting,
* McsElln.ρήμα.πειραματίζομαι!=dngExperimenting,
* McsElln.πειραματίζομαι!~verbElln!=dngExperimenting,

dngProving.zero-knowledge-proof

description::
· "“Zero-knowledge” proofs allow one party (the prover) to prove to another (the verifier) that a statement is true, without revealing any information beyond the validity of the statement itself. For example, given the hash of a random number, the prover could convince the verifier that there indeed exists a number with this hash value, without revealing what it is."
[https://z.cash/technology/zksnarks/]

name::
* McsEngl.ZKP-zero-knowledge-proof!⇒dngProvingZk,
* McsEngl.dngProving.zero-knowledge-proof!⇒dngProvingZk,
* McsEngl.dngProvingZk,
* McsEngl.zero-knowledge-proof!⇒dngProvingZk,

benefit of dngProvingZk

description::
· "ZKPs give us primarily one or both of the following properties:
* Privacy (more formally known as zero-knowledge)
* Compression (more formally known as succinctness)"
[{2023-07-18 retrieved} https://zkintro.com/articles/friendly-introduction-to-zero-knowledge]

name::
* McsEngl.dngProvingZk'benefit,

privacy of dngProvingZk

description::
· "ZKPs give us primarily one or both of the following properties:
* Privacy (more formally known as zero-knowledge)
* Compression (more formally known as succinctness)"
[{2023-07-18 retrieved} https://zkintro.com/articles/friendly-introduction-to-zero-knowledge]

name::
* McsEngl.dngProvingZk'data-hiding,
* McsEngl.dngProvingZk'privacy,
* McsEngl.dngProvingZk'zero-knowledge,
* McsEngl.zero-knowledge,

info-resource of dngProvingZk

description::
* https://worldcoin.org/blog/worldcoin/intro-zero-knowledge-proofs-semaphore-application-world-id,

name::
* McsEngl.dngProvingZk'Infrsc,

meta-info

this page was-visited times since {2021-08-09}

page-wholepath: synagonism.net / worldviewSngo / dirCor / dngReferenting

SEARCH::
· this page uses 'locator-names', names that when you find them, you find the-LOCATION of the-concept they denote.
GLOBAL-SEARCH:
· clicking on the-green-BAR of a-page you have access to the-global--locator-names of my-site.
· use the-prefix 'dngReferenting' for senso-concepts related to current concept 'doing.referenting'.
LOCAL-SEARCH:
· TYPE CTRL+F "Mcs.words-of-concept's-name", to go to the-LOCATION of the-concept.
· a-preview of the-description of a-global-name makes reading fast.

footer::
• author: Kaseluris.Nikos.1959
• email:
 
• edit on github: https://github.com/synagonism/Mcsw/blob/master/dirCor/McsCor000020.last.html,
• comments on Disqus,
• twitter: @synagonism,

webpage-versions::
McsCor000020.last.html: dynamic,
• McsCor000020.0-1-0.2021-08-09.last.html: draft creation,

support (link)