cs 349: contemporary issues in cs cs 301k: foundations of logical thought

30
CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought Elaine Rich Alan Cline

Upload: varden

Post on 24-Feb-2016

49 views

Category:

Documents


0 download

DESCRIPTION

CS 349: Contemporary Issues in CS CS 301k: Foundations of Logical Thought. Elaine Rich Alan Cline. Free Rice. http://www.cs.utexas.edu/users/ear/cs349/FreeRice.html. Contemporary Issues in CS. http://www.cs.utexas.edu/users/ear/cs349/. Professional Ethics. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

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

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

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 5: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

iClickers

http://www1.iclicker.com/

Page 6: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

Vacuums and Muddles

• Conceptual muddles

• Policy vacuums

Page 7: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

Vacuums and Muddles

• Email

• 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

Vacuums and Muddles

• E Cigs

Page 10: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

Vacuums and Muddles

• E Cigs

Page 11: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

More on E Cigs

Page 12: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

Vacuums and Muddles

Then

Yes

No

Now

????

Page 14: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

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

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

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

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 20: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

And the Oscar Goes to …

Page 22: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

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

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

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

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

Querium Interface

Page 27: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

Querium Interface

Page 28: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

Sense or Nonsense

Page 29: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought
Page 30: CS 349: Contemporary Issues in CS CS  301k: Foundations of Logical Thought

Back to Free Rice

• Minesweeper for Mines

• Crowdsourcing to Save Biodiversity

• Laundry Basket for Homelessness

• The End Hunger Ad Network

• RFIDs End Food Waste