Mathematical logic
From The Art and Popular Culture Encyclopedia
(Difference between revisions)
| Revision as of 19:04, 24 October 2011 Jahsonic (Talk | contribs) ← Previous diff |
Current revision Jahsonic (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| {{Template}} | {{Template}} | ||
| - | '''Modal logic''' is a type of [[mathematical logic#Formal logic|formal logic]] that extends the standards of formal logic to include the elements of [[Linguistic_modality|modality]] (for example, [[Logical possibility|possibility]] and [[Necessary_and_sufficient_conditions#Necessary_conditions|necessity]]). Modals qualify the truth of a judgment. For example, if it is true that "John is happy," we might qualify this statement by saying that "John is ''very'' happy," in which case the term "very" would be a modality. Traditionally, there are three "modes" or "moods" or "modalities" represented by modal logic, namely, ''[[Logical possibility|possibility]]'', ''[[probability]]'', and ''[[Necessary_and_sufficient_conditions#Necessary_conditions|necessity]]''. | + | '''Mathematical logic''' (also known as '''symbolic logic''') is a subfield of [[mathematics]] with close connections to [[foundations of mathematics]], [[theoretical computer science]] and [[philosophical logic]]. |
| + | == See also == | ||
| + | * [[List of mathematical logic topics]] | ||
| + | * [[List of computability and complexity topics]] | ||
| + | * [[List of set theory topics]] | ||
| + | * [[List of first-order theories]] | ||
| + | * [[Knowledge representation]] | ||
| + | * [[Metalogic]] | ||
| + | * [[Logic symbols]] | ||
| {{GFDL}} | {{GFDL}} | ||
Current revision
|
Related e |
|
Featured: |
Mathematical logic (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.
[edit]
See also
- List of mathematical logic topics
- List of computability and complexity topics
- List of set theory topics
- List of first-order theories
- Knowledge representation
- Metalogic
- Logic symbols
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Mathematical logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
