From MWCSWiki

---

Elizabeth Ramsey -- individual study CPSC 491

Readings

General Phil of Comp

• Turing, 1950 (8/24)
• Searle, 1980 (8/24)
• Floridi book (TOC)

Project-specific stuff

In general:

1. Highest priority: representing RDF.
   • temporal logic.
   • Abar thesis.
2. Second-highest priority: provenance (what OKM calls "divergent data")
   • Quine book
   • Wright book
   • epistemic logic
3. Third-highest priority: categories
   • What do Wittgenstein, Rosch, etc. say about categories
   • find me a quote that says: "different people categorize things in different ways." (Floridi book quote? and others)

OKM

• OWL-Time
  • interval vs. instant
  • time able to be viewed relatively
• Abar Thesis
  • Time overarching
  • Entire ontology defined in relation to 5 boxes
    • Place
    • Event
    • Document
    • Agent
    • Time
  • Time can be exact or general (millisecond or day)
• Tractatus (read 1st two outline levels)
• Divergent data -related:
  • Crispin Wright: "Objectivity" (8/31)
  • epistemic logic: summarize (8/31)
• data vs metadata first
• temporal logic (8/31)
• objects having roles, with properties associated with roles (this goes along with the convo with Ambuel about Java vs Javascript)

CBB

• 5 Terms
• Wittgenstein, Rosch (8/24 -- poke)
• Rettinger: "the new post-Rosch category people": Smith, Medine, Murphy (8/24 -- find them, find seminal papers?)
• George Lakoff (sp?) -- "Women, Fire, and Dangerous Things" (at Simpson: P37 .L344 1987) (8/24 -- check out & skim TOC)

Paper

Possible theses:

1. The act of learning/practicing philosophical thinking is beneficial to programmers/designers/CS-people.
   1. What is "philosophical thinking" and how would said person go about learning that?
   2. In what specific ways is it beneficial?
      1. Specific programming/design tasks that are difficult but made easier by PT?
      2. Overall design and programming will be of higher quality when informed by PT?
      3. Aside from any specific task, the programmer's mental conception and creative process will be enhanced by PT?
   3. How is this convincingly demonstrated? (essentially not possible in your dec timeframe)
   4. What reasons make you suspect that these benefits would occur?
2. The above, though not necessarily true, can be true if instructors in phil and CS make the connections between the two fields explicit.