Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions
Content deleted Content added
format |
refactor |
||
Line 9:
{{Wikipedia:WikiProject Logic/tab2|[[Wikipedia:WikiProject Logic/Categories|Categories]]}}
{{Wikipedia:WikiProject Logic/tab1|[[Wikipedia:WikiProject Logic/Standards for notation|Standards]]}}
{{Wikipedia:WikiProject Logic/tab2|[[Wikipedia:WikiProject Logic/To do|To do]]}}
| style="border-bottom:1px ridge #001BB3;" width="100"|
Line 20 ⟶ 19:
| style="background-color:#FFFFFF;padding:0px" valign="top" |
In addition to the standards suggested for all Wikipedia articles, special attention to the following while expanding logic articles:
'''Guidelines for Philosophy articles'''
* [[Wikipedia:WikiProject Philosophy/readability|Guidelines for readability in philosophy articles]].
* [[Wikipedia:WikiProject Philosophy/style guide|Style guide for philosophy articles]].
* [[Wikipedia:WikiProject Philosophy/Proposal for criticisms|Requirements for criticisms in philosophy articles]]
* [[Wikipedia:Inline Citation|In-text citations]] should be made using the [[Wikipedia:Footnotes|Cite.php system]].
'''Guidelines for Mathematics articles'''
* [[Wikipedia:WikiProject Mathematics/Conventions]] (a working list of terminology conventions)
* [[Wikipedia:Naming conventions (theorems)]]
* [[Wikipedia:Manual of Style (mathematics)]]
* [[Wikipedia:Algorithms on Wikipedia]]
* [[Wikipedia:Scientific citation guidelines]]
These standards, as with all [[Wikipedia:Policies and guidelines|Wikipedia guidelines]], are not obligatory. However, it should be noted that any article that is seeking [[Wikipedia:What is a featured article?|featured article]] status should comply with these standards.
Note that new standards should be subjected to consensus building before being added here (a consensus should be reached on the discussion page).
== Standard ==
'''For consistency use the following preferred symbols and terminology in Logic articles'''
It is useful to have an agreed set of symbols and terminology. Not only do symbols vary from author to author, but any symbol may be written in a variety of fonts which may or may not appear on various browsers. The aim is consistency and legibility
== Symbols ==
For consistency use the following preferred symbols in Logic articles:
=== Truth Functional Connectives ===
{| class="wikitable"
Line 105 ⟶ 124:
|}
=== Quantifiers ===
{| class="wikitable"
Line 131 ⟶ 150:
|}
=== Metalogical Symbols ===
{| class="wikitable"
| |||