{
localUrl: '../page/2h8.html',
arbitalUrl: 'https://arbital.com/p/2h8',
rawJsonUrl: '../raw/2h8.json',
likeableId: '1418',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'TravisRivera'
],
pageId: '2h8',
edit: '2',
editSummary: '',
prevEdit: '0',
currentEdit: '2',
wasPublished: 'true',
type: 'wiki',
title: 'Formal Logic',
clickbait: 'Formal logic studies the form of correct arguments through rigorous and precise mathematical theories.',
textLength: '1926',
alias: '2h8',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'ErikIstre',
editCreatedAt: '2016-03-11 04:52:51',
pageCreatorId: 'ErikIstre',
pageCreatedAt: '2016-03-11 04:52:51',
seeDomainId: '0',
editDomainId: '120',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '81',
text: '[todo: Split the brief and the verbose exposition into two lenses.]\n\nFormal logic makes our reasoning precise by providing formal systems in which to carry out reasoning. These systems are specified by a **proof theory** and often a corresponding **model theory**. Either of these theories will take many different forms and presentations, the important part is that they are rigorous and clearly defined.\n\nFormal systems of logic are not concerned with the content of an argument, but only with the form. \n\nFor example, consider the following arguments.\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\n> $ \\begin{array}{l}\n\\text{If the moon is ruled by the Mouse King, then the moon is made of cheese.} \\\\\n\\text{The moon is ruled by the Mouse King.} \\\\\\hline\n\\text{Therefore, the moon is made of cheese.} \n\\end{array} $\n\nFormal logic can not tell you that the latter argument is about non-sense. What it will tell you is about the form of the argument and whether that's valid and it so happens that both of these arguments "look" the same. \n\nLet $S$ stand for "Socrates is a man", $O$ stand for "Socrates is mortal", $M$ stand for "the moon is ruled by the Mouse King", and $C$ for "the moon is made of cheese".\n\nThen these arguments can be seen as follows.\n\n> $ \\begin{array}{l}\n\\text{If $S$ then $O$.} \\\\\n\\text{$S$} \\\\\\hline\n\\text{Therefore, $O$.} \n\\end{array} $\n\n> $ \\begin{array}{l}\n\\text{If $M$ then $C$.} \\\\\n\\text{$M$} \\\\\\hline\n\\text{Therefore, $C$.} \n\\end{array} $\n\nThis makes it apparent that the arguments proceed in the same way. Then if we introduce the symbol $\\rightarrow$ to mean "If $A$, then $B$" in $A \\rightarrow B$, and the symbol $\\therefore$ for "therefore", the form if these arguments is written as\n\n> $ \\begin{array}{l}\nA \\rightarrow B \\\\\nA \\\\\\hline\n\\therefore B\n\\end{array} $',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
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: {},
creatorIds: [
'ErikIstre'
],
childIds: [
'logical_system',
'consistency'
],
parentIds: [
'logic'
],
commentIds: [],
questionIds: [],
tagIds: [
'work_in_progress_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [
{
id: '98',
pageId: '2h8',
lensId: 'logical_system',
lensIndex: '0',
lensName: 'Lens 0',
lensSubtitle: '',
createdBy: '2vh',
createdAt: '2016-07-21 07:54:19',
updatedBy: '2vh',
updatedAt: '2016-07-21 07:54:19'
}
],
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: '17445',
pageId: '2h8',
userId: 'JaimeSevillaMolina',
edit: '0',
type: 'newChild',
createdAt: '2016-07-24 08:48:20',
auxPageId: 'consistency',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17218',
pageId: '2h8',
userId: 'JaimeSevillaMolina',
edit: '0',
type: 'newChild',
createdAt: '2016-07-21 07:54:13',
auxPageId: 'logical_system',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9581',
pageId: '2h8',
userId: 'KevinClancy',
edit: '0',
type: 'deleteRequiredBy',
createdAt: '2016-05-03 18:24:38',
auxPageId: 'order_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9554',
pageId: '2h8',
userId: 'KevinClancy',
edit: '2',
type: 'newRequiredBy',
createdAt: '2016-05-03 01:55:37',
auxPageId: 'order_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9084',
pageId: '2h8',
userId: 'JeremyPerret',
edit: '0',
type: 'deleteChild',
createdAt: '2016-03-26 20:50:35',
auxPageId: 'law_of_syllogism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '8507',
pageId: '2h8',
userId: 'ErikIstre',
edit: '2',
type: 'newEdit',
createdAt: '2016-03-11 04:52:51',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '8506',
pageId: '2h8',
userId: 'ErikIstre',
edit: '0',
type: 'newTag',
createdAt: '2016-03-11 04:50:02',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '8503',
pageId: '2h8',
userId: 'ErikIstre',
edit: '0',
type: 'newParent',
createdAt: '2016-03-11 04:15:18',
auxPageId: 'logic',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}