{
localUrl: '../page/arguments.html',
arbitalUrl: 'https://arbital.com/p/arguments',
rawJsonUrl: '../raw/2vc.json',
likeableId: '1772',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'arguments',
edit: '1',
editSummary: '',
prevEdit: '0',
currentEdit: '1',
wasPublished: 'true',
type: 'wiki',
title: 'Arguments',
clickbait: 'An argument is a formal reasoning, valid or not.',
textLength: '2234',
alias: 'arguments',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'JeremyPerret',
editCreatedAt: '2016-03-26 20:45:06',
pageCreatorId: 'JeremyPerret',
pageCreatedAt: '2016-03-26 20:45:06',
seeDomainId: '0',
editDomainId: 'AlexeiGigster',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '0',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '13',
text: 'We can now define [-2v8], which are either true or false, but we don't care about their values. What's the point, then?\n\nLet's look at the Socrates example once again.\n\n> $ \\begin{array}{l}\n\\text{If Socrates is a man, then Socrates is mortal.} \\\\\n\\text{Socrates is a man.} \\\\\\hline\n\\text{Therefore, Socrates is mortal.} \n\\end{array} $\n\nHere we have three propositions. The above form is logic's way of saying: *If we hold the two first propositions **true**, then the third one is also **true***. Note that this is a conditional: we don't know, or care, if the first two propositions are intrinsically true (for all we know, Socrates could be my pet rock), but we posit that if we consider the first two propositions true, the third one is also automatically true.\n\n## Modus ponens ##\n\nIn natural language, the above argument looks self-evident: *of course*, you can create the third one from the two first. Now take a look at the formal notation of the same argument:\n\n> $ \\begin{array}{l}\nA \\rightarrow B \\\\\nA \\\\\\hline\n\\therefore B\n\\end{array} $\n\nIf you don't know what the symbols mean, you may have some doubt about the validity of the reasoning. A particular logic is defined by the arguments you claim as valid. In **deductive logic**, the first basic valid argument is the above one, called **modus ponens**.\n\nAlso known as *law of detachement*, or *affirming the antecedent*, modus ponens expresses formally what we usually mean by "*if A then B*". If the conditional holds, and A holds, then we can say that B holds.\n\n## Validity ##\n\nAn argument has two parts: the *hypotheses* (the propositions above the line), and the *conclusion* (below the line).\n\nAn argument declared **valid** in a particular logic if you can apply a chain of valid arguments to the hypotheses to reach the conclusion. The modus ponens example is valid by definition of deductive logic, but several chained applications of modus ponens build a valid argument:\n\n> $ \\begin{array}{l}\nA \\rightarrow (B \\rightarrow C) \\\\\nA \\\\\nB \\\\\\hline\n\\therefore (B \\rightarrow C) \\\\\nB \\\\\\hline\n\\therefore C\n\\end{array} $\n\nHere we have three hypotheses, and by applying modus ponens two times we can reach the conclusion: the argument is valid in deductive reasoning.\n',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: [
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0',
'0'
],
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'true',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {
Summary: 'We can now define [-2v8], which are either true or false, but we don't care about their values. What's the point, then?'
},
creatorIds: [
'JeremyPerret'
],
childIds: [],
parentIds: [
'logic'
],
commentIds: [],
questionIds: [],
tagIds: [
'work_in_progress_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [
{
id: '2693',
parentId: 'arguments',
childId: 'arguments',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
requirements: [
{
id: '2692',
parentId: 'propositions',
childId: 'arguments',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [
{
id: '2693',
parentId: 'arguments',
childId: 'arguments',
type: 'subject',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9083',
pageId: 'arguments',
userId: 'JeremyPerret',
edit: '1',
type: 'newEdit',
createdAt: '2016-03-26 20:45:06',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9079',
pageId: 'arguments',
userId: 'JeremyPerret',
edit: '0',
type: 'deleteTag',
createdAt: '2016-03-26 17:46:28',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}