Subscribe: RSS Podcast iTunes
wikiofthedaymasto.ai
  Buy WotD Stuff!!
Episode 2374             Episode 2376
Episode 2375

Logic
Sun, 2023-Nov-05 05:13 UTC
Length - 4:18

Direct Link

Welcome to featured Wiki of the Day where we read the summary of the featured Wikipedia article every day.

The featured article for Sunday, 5 November 2023 is Logic.

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

Logic studies arguments, which consist of a set of premises together with a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" to the conclusion "I don't have to work". Premises and conclusions express propositions or claims that can be true or false. An important feature of propositions is their internal structure. For example, complex propositions are made up of simpler propositions linked by logical vocabulary like













{\displaystyle \land }

(and) or













{\displaystyle \to }

(if...then). Simple propositions also have parts, like "Sunday" or "work" in the example. The truth of a proposition usually depends on the meanings of all of its parts. However, this is not the case for logically true propositions. They are true only because of their logical structure independent of the specific meanings of the individual parts.

Arguments can be either correct or incorrect. An argument is correct if its premises support its conclusion. Deductive arguments have the strongest form of support: if their premises are true then their conclusion must also be true. This is not the case for ampliative arguments, which arrive at genuinely new information not found in the premises. Many arguments in everyday discourse and the sciences are ampliative arguments. They are divided into inductive and abductive arguments. Inductive arguments are statistical generalizations, like inferring that all ravens are black based on many individual observations of black ravens. Abductive arguments are inferences to the best explanation, for example, when a doctor concludes that a patient has a certain disease which explains the symptoms they suffer. Arguments that fall short of the standards of correct reasoning often embody fallacies. Systems of logic are theoretical frameworks for assessing the correctness of arguments.

Logic has been studied since antiquity. Early approaches include Aristotelian logic, Stoic logic, Nyaya, and Mohism. Aristotelian logic focuses on reasoning in the form of syllogisms. It was considered the main system of logic in the Western world until it was replaced by modern formal logic, which has its roots in the work of late 19th-century mathematicians such as Gottlob Frege. Today, the most used system is classical logic. It consists of propositional logic and first-order logic. Propositional logic only considers logical relations between full propositions. First-order logic also takes the internal parts of propositions into account, like predicates and quantifiers. Extended logics accept the basic intuitions behind classical logic and extend it to other fields, such as metaphysics, ethics, and epistemology. Deviant logics, on the other hand, reject certain classical intuitions and provide alternative explanations of the basic laws of logic.

This recording reflects the Wikipedia text as of 05:13 UTC on Sunday, 5 November 2023.

For the full current version of the article, see Logic on Wikipedia.

This podcast uses content from Wikipedia under the Creative Commons Attribution-ShareAlike License.

Visit our archives at wikioftheday.com and subscribe to stay updated on new episodes.

Follow us on Mastodon at @wikioftheday@masto.ai.

Also check out Curmudgeon's Corner, a current events podcast.

Until next time, I'm Joanna Neural.

Archive
2017:MayJunJulAugSepOctNovDec
2018:JanFebMarAprMayJunJulAugSepOctNovDec
2019:JanFebMarAprMayJunJulAugSepOctNovDec
2020:JanFebMarAprMayJunJulAugSepOctNovDec
2021:JanFebMarAprMayJunJulAugSepOctNovDec
2022:JanFebMarAprMayJunJulAugSepOctNovDec
2023:JanFebMarAprMayJunJulAugSepOctNovDec
2024:JanFebMarAprMayJunJulAugSepOctNovDec

Most Recent Episodes


Feedback welcome at feedback@wikioftheday.com.

These podcasts are produced by Abulsme Productions based on Wikipedia content.

They are released under a Creative Commons Attribution-ShareAlike 3.0 Unported License.

Creative Commons License

Abulsme Productions also produces Curmudgeon's Corner, a current events podcast.

If you like that sort of thing, check it out too!


Page cached at 2024-12-01 06:29:37 UTC
Original calculation time was 0.3307 seconds

Page displayed at 2024-12-01 17:04:21 UTC
Page generated in 0.0009 seconds