![Page 1: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/1.jpg)
CS 349: Contemporary Issues in CSCS 301k: Foundations of Logical Thought
Elaine RichAlan Cline
![Page 2: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/2.jpg)
Free Rice
http://www.cs.utexas.edu/users/ear/cs349/FreeRice.html
![Page 3: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/3.jpg)
Contemporary Issues in CS
http://www.cs.utexas.edu/users/ear/cs349/
![Page 4: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/4.jpg)
Professional EthicsYour first job after graduation is system administrator for a 200 personprivately held manufacturing company.
The president/owner sends this message to the employees:“I want to encourage each of you to make comments to me about any facet of our operation you care to. Your response should be made through our anonymizer program so that your identity will not be disclosed”
The president/owner finds one response saying:“This company sucks. The only way I find to retaliate for the way I have been treated is sabotage. Every tenth part I turn out is defective.”
The president/owner insists that you examine the computer usage records to determine the identity of the alleged saboteur.
What should you do?
![Page 6: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/6.jpg)
Vacuums and Muddles
• Conceptual muddles
• Policy vacuums
![Page 7: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/7.jpg)
Vacuums and Muddles
• Computer programs become economically significant assets.
• Policy vacuum: How should this intellectual property be protected?
• Conceptual muddle: What is a program? • Is it text? • Is it an invention? • Is it mathematics?
![Page 8: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/8.jpg)
Vacuums and Muddles
• Policy vacuum: Should the privacy of email communication be protected?
• Conceptual muddle: What is email? Is it more like a:• letter, or a • postcard?
![Page 9: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/9.jpg)
Vacuums and Muddles
• E Cigs
![Page 10: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/10.jpg)
Vacuums and Muddles
• E Cigs
![Page 11: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/11.jpg)
More on E Cigs
![Page 12: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/12.jpg)
Vacuums and Muddles
• E Cigs
• Policy vacuum: How should they be regulated? Can they advertise? Who can by them?
• Conceptual muddle: What are they:
• Cigarettes • Drug delivery vehicles• Something else
![Page 13: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/13.jpg)
Vacuums and Muddles
Then
Yes
No
Now
????
![Page 14: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/14.jpg)
What Do They Have the Right to Do?
Warrant-less demands for cell location data:
Is raw location data protected by your right to privacy in the same way that the content of what you say on your phone is?
• Conceptual muddle: what is cell location?
• Policy vacuum: Can the police get it without a warrant?
![Page 15: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/15.jpg)
Vacuums and Muddles
Are ISPs common carriers?
• Provide equal service to everyone.
• Are not responsible for content.
![Page 16: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/16.jpg)
Vacuums and Muddles
• The police confiscate your laptop, hoping to find incriminating evidence. But you’ve encrypted it.
• Policy vacuum: Can the police force you to decrypt it?
• Conceptual muddle: • Does the 5th Amendment protect you from being forced to
“incriminate yourself”?• Or is this the same as the requirement that, if the police show up
at your house with a warrant, you must unlock the door?
![Page 17: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/17.jpg)
Protecting Sources
• Policy vacuum: Must a blogger reveal sources?
• Conceptual muddle:
http://www.wired.com/threatlevel/2010/04/too-much-media/
http://newjerseylawreview.blogspot.com/2011/06/blogger-must-reveal-sources-says-nj.html
![Page 18: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/18.jpg)
Cyberwarfare
• Jus ad bellum:• Article 2(4) of the UN Charter prohibits every nation from
using “the threat or use of force against the territorial integrity or political independence of any state, or in any other manner inconsistent with the Purposes of the United Nations.” .
• Conceptual muddle: What constitutes use of force:• Launching a Trojan horse that disrupts military communication? • Hacking a billboard to display porn to disrupt traffic? • Hacking a C&C center so it attacks its own population?
![Page 19: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/19.jpg)
Example Essays
• What I Have Lived For • What’s Right?
• Income Disparity in the Face of Labor Displacement by Technology or What Happens When/If There Aren’t Any Jobs Left for People?
![Page 20: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/20.jpg)
The Video Project
http://www.cs.utexas.edu/users/ear/cs349/VideosAsExamples/
![Page 21: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/21.jpg)
And the Oscar Goes to …
![Page 22: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/22.jpg)
CS 301k – Foundations of Logical Thought
http://www.cs.utexas.edu/users/ear/cs301k/
![Page 23: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/23.jpg)
FREGE
http://www.learnlogiconline.org/
https://quest.cns.utexas.edu/instructor/courses/list
![Page 24: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/24.jpg)
The Students’ Background?
• Boolean logic
• Venn diagrams
• Formal proofs
• Modular arithmetic
• Binary numbers
![Page 25: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/25.jpg)
Truth Table App
http://www.truthtables.org/
www.truthtables.org/#/true/!(p&(q|r))=((p&q)|(p&r))
![Page 26: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/26.jpg)
Querium Interface
![Page 27: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/27.jpg)
Querium Interface
![Page 28: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/28.jpg)
Sense or Nonsense
![Page 29: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/29.jpg)
![Page 30: CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought](https://reader031.vdocument.in/reader031/viewer/2022012917/56816766550346895ddc48ff/html5/thumbnails/30.jpg)
Back to Free Rice
• Minesweeper for Mines
• Crowdsourcing to Save Biodiversity
• Laundry Basket for Homelessness
• The End Hunger Ad Network
• RFIDs End Food Waste