Defining the core of language
Posted: Fri Oct 27, 2017 2:26 pm
If you read any definition worded in any dictionary you of course encounter new words. If you read up these words you end up with another set of words etc... But at some point, the definitions start to refer to each other and do not build on the definitions of other words anymore. If i talk about the core of language i mean these words and i'd love to find out which ones they are. Space, time, order, direction, equality, same, very same, action and movement are some that come to mind. Currently i concentrate on those words that circle around what an "idea" or "statement" is. If you want to help, i would be interested in your thoughts.
I use a sentence by sentence approach in order to get closer to elemental statements and use the vocabulary found in mathematics and informatics, i hope the meaning is clear for everyone.
My current definitions, still a work in progress, are the following:
==== Basics ====
*Object:
*State:
*Internal state:
*External state:
*World:
*System:
*Structure:
*Reality:
*Logical system: A logical system consists of a formal language and a deductive system.
*Proof:
*Evidence: Evidence is an object or state of an object that is used to prove a statement to be true.
==== Math ====
*Set:
==== Agents ====
*Action:
*Actuator: An actuator is an object that can engender change in a part of the world.
*Agent: An agent is an object that acts on the world using actuators and possibly sensors and has an internal state.
*Intelligent agent: An intelligent agent is an agent that chooses it's actions based on a set of rules stored in a centralized information system.
*Goal:
*Intention:
*Resource:
*Objective reality:
==== Logic ====
*Inference:
==== Sentences ====
*Sentence: A grammatically correct list of words that can be interpreted.
*Declarative sentence: A declarative sentence is a sentence that is interpreted as a statement.
*Interrogative sentence: An interrogative sentence is a sentence that is interpreted as a question.
*Exclamatory sentence: An exclamatory sentence is a sentence that is interpreted to be emphatic and important.
*Imperative sentence: An imperative sentence is a sentence that is interpreted as a command.
==== Attributes of statements ====
*Disproved statement: A disproved statement is a statement proven to be false.
*True statement: A true statement is a factual statement or a proven statement.
*Factual statement(1): A statement that reflects objective reality.
*Factual statement(2): A statement that is supported by evidence.
*Extremely reliable statement: An extremely reliable statement when there is ample evidence supporting it and hasn't been disproved after a significant period time.
*Proven statement: A proven statement is a statement proven in a system when it has been deduced from axioms and theorems using inferences defined in that system.
*Predictive statement:
==== Statements ====
*Conviction: A conviction is a statement held to be true by an intelligent agent.
*Belief: A belief is a statement that is neither proven nor reliable.
*Assumption: An assumption is a belief defined as true in an argumentation system.
*Axiom: A statement that is defined as true in order to build a logical system based on it and possibly other axioms. An axiom is the starting point of a logical (formal) deduction and therefore isn't deduced from other statements itself.
*Statement: A sentence that can be true or false.
*Assertion: An assertion is a premise that is neither proven nor reliable.
*Rule: A statement that is true more often than not.
*Observation: An observation is a statement that is supported by evidence.
*Fact: A fact is an observation that is extremely reliable.
*Premise: A premise is a statement on which an argumentation builds.
==== Attributes of sets of statements ====
*Well established: A set of statements is well established if each statement is extremely reliable or proven to be true.
*Consistent: A consistent set of statements is a non-contradictory set of statements.
*Logically connected sentences:
==== Sets of statements ====
*Theorem: A theorem is a set of statements that are proven.
*Theory: A well established and predictive set of statements.
*Hypothesis: A set of statements that lack supporting evidence.
*Context: A context is a set of statements without which a certain statement becomes ambiguous.
*Logical system: A set of statements consisting of a set of axioms and statements mathematically deduced from those axioms.
*Information: A set of assertions.
*Truth: Set of all true sentence.
*Culture: A culture is a set of convictions held by a group of people.
*Ideology: An ideology is a set of convictions about how people should act in order to achieve a certain goal.
*World view: A world view is a set of convictions held by an individual.
I'm keeping this list up to date here: www.logipedia.wiki/wiki/Help:Vocabulary
I use a sentence by sentence approach in order to get closer to elemental statements and use the vocabulary found in mathematics and informatics, i hope the meaning is clear for everyone.
My current definitions, still a work in progress, are the following:
==== Basics ====
*Object:
*State:
*Internal state:
*External state:
*World:
*System:
*Structure:
*Reality:
*Logical system: A logical system consists of a formal language and a deductive system.
*Proof:
*Evidence: Evidence is an object or state of an object that is used to prove a statement to be true.
==== Math ====
*Set:
==== Agents ====
*Action:
*Actuator: An actuator is an object that can engender change in a part of the world.
*Agent: An agent is an object that acts on the world using actuators and possibly sensors and has an internal state.
*Intelligent agent: An intelligent agent is an agent that chooses it's actions based on a set of rules stored in a centralized information system.
*Goal:
*Intention:
*Resource:
*Objective reality:
==== Logic ====
*Inference:
==== Sentences ====
*Sentence: A grammatically correct list of words that can be interpreted.
*Declarative sentence: A declarative sentence is a sentence that is interpreted as a statement.
*Interrogative sentence: An interrogative sentence is a sentence that is interpreted as a question.
*Exclamatory sentence: An exclamatory sentence is a sentence that is interpreted to be emphatic and important.
*Imperative sentence: An imperative sentence is a sentence that is interpreted as a command.
==== Attributes of statements ====
*Disproved statement: A disproved statement is a statement proven to be false.
*True statement: A true statement is a factual statement or a proven statement.
*Factual statement(1): A statement that reflects objective reality.
*Factual statement(2): A statement that is supported by evidence.
*Extremely reliable statement: An extremely reliable statement when there is ample evidence supporting it and hasn't been disproved after a significant period time.
*Proven statement: A proven statement is a statement proven in a system when it has been deduced from axioms and theorems using inferences defined in that system.
*Predictive statement:
==== Statements ====
*Conviction: A conviction is a statement held to be true by an intelligent agent.
*Belief: A belief is a statement that is neither proven nor reliable.
*Assumption: An assumption is a belief defined as true in an argumentation system.
*Axiom: A statement that is defined as true in order to build a logical system based on it and possibly other axioms. An axiom is the starting point of a logical (formal) deduction and therefore isn't deduced from other statements itself.
*Statement: A sentence that can be true or false.
*Assertion: An assertion is a premise that is neither proven nor reliable.
*Rule: A statement that is true more often than not.
*Observation: An observation is a statement that is supported by evidence.
*Fact: A fact is an observation that is extremely reliable.
*Premise: A premise is a statement on which an argumentation builds.
==== Attributes of sets of statements ====
*Well established: A set of statements is well established if each statement is extremely reliable or proven to be true.
*Consistent: A consistent set of statements is a non-contradictory set of statements.
*Logically connected sentences:
==== Sets of statements ====
*Theorem: A theorem is a set of statements that are proven.
*Theory: A well established and predictive set of statements.
*Hypothesis: A set of statements that lack supporting evidence.
*Context: A context is a set of statements without which a certain statement becomes ambiguous.
*Logical system: A set of statements consisting of a set of axioms and statements mathematically deduced from those axioms.
*Information: A set of assertions.
*Truth: Set of all true sentence.
*Culture: A culture is a set of convictions held by a group of people.
*Ideology: An ideology is a set of convictions about how people should act in order to achieve a certain goal.
*World view: A world view is a set of convictions held by an individual.
I'm keeping this list up to date here: www.logipedia.wiki/wiki/Help:Vocabulary