The following document contains notes for socio informatics 144. The notes provide detailed explanations on logic and computational thinking. It provides explanations on how to do truth tables and different argument forms. I got 91 percent for the exam using these notes.
1. Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars. Logic in Action, 2016.
http://www.logicinaction.org
2. Matthew J. van Cleave. Logic and Critical Thinking, 2016.
https://open.umn.edu/opentextbooks/textbooks/ introduction-to-logic-and-critical-thinking
Syllabus for week 3
Computational Thinking
• Thinking as Computation
o Flight -- study of birds vs. aerodynamics
o Nuclear energy conversion – study of the sun vs. nuclear physics
o Gravity – study of falling objects vs. theory of relativity
o -- study of cognition vs. computational thinking
• Aspects of computational thinking
o Abstraction
o Representation
o Algorithmics
o Decomposition
o Pattern recognition
Computation is a process that is defined in terms of an underlying model of computation and
computational thinking is the thought processes involved in formulating problems so their solutions can be
represented as computational steps and algorithms. – Alfred Aho
Logic
• Why study Formal Logic?
• Logic in the East – Buddhist and Islamic traditions
• Logic in the West, formulated explicit systems of reasoning in Greek Antiquity– Aristotle (300s BC)
• Logicism, where modern logic arrived from – Boole, Frege (late 1800s), Russell (early 1900s)
• The work of Persian logician Avicenna around 1000 AD was still taught in madrassa’s by 1900.
• Founder of Mohism – Mo Zi
• Indian Buddhist Logician – Dignaga
• Symbolic logic – G¨odel and Tarski (1930s)
• Computation and IT – Von Neumann and Turing (1940s)
• Classical logic – Idealist modelling and reasoning
• Non-classical logics
Notes made by Jessica Davids
, Propositions
• Propositions – claims, assumptions, justifications, observations, declarations, conclusions, ...
• ... contradictions, contingencies, tautologies
• ... and more tricky ones – counterfactuals, paradoxes
• Statements that can be either true or false
• But not: Exclamations, instructions, questions
Arguments
Built up from propositions and conclusion not always stated last in a natural language argument however
in a formal argument we always write the conclusion last
• Premises and Assumptions
• Conclusions
• Valid arguments : if all the premises are true and so is the conclusion
• Invalid arguments : when all the premises are true but the conclusion is false
• Sound arguments : one which is both valid and all the premises are true
• Necessary and sufficient conditions
Examples (valid arguments)
• “If everything is predetermined, then people are not free. People are free. Therefore everything is
not predetermined.”
• “If humans are mammals, then they are not cold-blooded. Humans are cold-blooded. Therefore
humans are not mammals.”
Arguments vs. explanations
• Arguments:
o The truth of the premises establishes the truth of the conclusion
o If all the premises are true, then so is the conclusion
o Reasoning proceeds from the premises to the conclusion
o Deductive inference
• Explanations:
o The explanation explains the truth of the observation
o Reasoning proceeds from the observation to the explanation
o Abductive inference
o Identify missing premises to validate an argument
Examples
• This graffiti was created with spray paint. Spray paint does not wash off easily. Therefore, this graffiti will not
wash off easily.
• This graffiti does not wash off easily. This could be because it was created with spray paint, which does not
wash off easily.
Notes made by Jessica Davids
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller jessicdavids100. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $4.71. You're not tied to anything after your purchase.
