Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
symbolic logic
English Wikipedia - The Free Encyclopedia
Download this dictionary
Logic
Logic
(from the ) is the branch of
philosophy
concerned with the use and study of valid
reasoning
. The study of logic also features prominently in
mathematics
and
computer science
.
See more at Wikipedia.org...
Mathematical logic
Mathematical logic
is a subfield of
mathematics
exploring the applications of formal
logic
to mathematics. It bears close connections to
metamathematics
, the
foundations of mathematics
, and
theoretical computer science
. The unifying themes in mathematical logic include the study of the expressive power of
formal systems
and the
deductive
power of formal
proof
systems. Mathematical logic is often divided into the fields of
set theory
,
model theory
,
recursion theory
, and
proof theory
. These areas share basic results on logic, particularly
first-order logic
, and
definability
. In computer science (particularly in the
ACM Classification
) mathematical logic encompasses additional topics not detailed in this article; see
Logic in computer science
for those.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License