CFP: The Philosophy of Computer Science

-
Preliminary Call for Papers

==================================
THE PHILOSOPHY OF COMPUTER SCIENCE
==================================

Special issue of Minds and Machines (2010)

and

Track in the 7th European conf. on Computing And Philosophy—ECAP 2009


THEME

Two special editions of Minds and Machines (2007) and the Journal of
Applied Logic (2008) dedicated to the philosophy of computer science
have already appeared in print. Another special edition of Minds and
Machines is planned for 2010. Papers submitted to the “Philosophy of
Computer Science” track in ECAP 2009 will also be considered for
publication in the special issue of Minds and Machines.

We invite submissions concerned with philosophical issues that arise
from reflection upon the nature and practice of the academic discipline
of computer science. In particular we welcome submissions concerned
with questions such as the following:

1. What kinds of things are programs? Are they abstract or concrete?
(Moor 1978; Colburn 2004)

2. What are the differences between programs and algorithms? (Rapaport
2005a)

3. What is a specification? And what is being specified? (Smith 1985;
Turner 2005)

4. Are specifications fundamentally different from programs? (Smith
1985)

5. What is an implementation? (Rapaport 2005b)

6. What distinguishes hardware from software? Do programs exist in both
physical and symbolic forms? (Moor 1978; Colburn 2004)

7. What kinds of things are digital objects? Do we need a new
ontological category to house them? (Allison et al. 2005)

8. What are the objectives of the various semantic theories of
programming languages? (White 2004; Turner 2007)

9. How do questions in the philosophy of programming languages relate
to parallel ones in the philosophy of language? (White 2004)

10. Does the principle of modularity (e.g., Dijkstra 1968) relate to the
conceptual issues of full-abstraction and compositionality?

11. What are the underlying conceptual differences between the following
programming paradigms: structured, functional, logic, and object-oriented
programming?

12. What are the roles of types in Computer Science? (Barandregt 1992;
Pierce 2002)

13. What is the difference between operational and denotational
semantics? (Turner 2007)

14. What does it mean for a program to be correct? What is the
epistemological status of correctness proofs? Are they fundamentally
different from proofs in mathematics? (DeMillo et al. 1979; Smith 1985)

15. What do correctness proofs establish? (Fetzer 1988; Fetzer 1999;
Colburn 2004)

16. What is abstraction in computer science? How is it related to
abstraction in mathematics? (Colburn 2007; Fine 2008; Hale and Wright.
2001)

17. What are formal methods? What is formal about formal methods? What
is the difference between a formal method and informal one? (Bowen &
Hinchey 2005; Bowen & Hinchey 1995)

18. What kind of discipline is computer science? What are the roles of
mathematical modelling and experimentation? (Minsky 1970; Denning 1980;
Denning 1981; Denning et al. 1989; Denning 1985; Denning 1980b;
Hartmanis 1994; Hartmanis1993; Hartmanis 1981; Colburn 2004, Eden 2007)

19. Should programs be considered as scientific theories? (Rapaport
2005a)

20. How is mathematics used in computer science? Are mathematical models
used in a descriptive or normative way? (White 2004; Turner 2007)

21. Does the Church-Turing thesis capture the mathematical notion of an
effective or mechanical method in logic and mathematics? Does it capture
the computations that can be performed by a human? Does its scope apply
to physical machines? (Copeland 2004; Copeland 2007, Hodges 2006)

22. Can the notion of computational thinking withstand philosophical
scrutiny? (Wing 2006)

23. What is the appropriate logic with which to reason about program
correctness and termination? (Hoare 1969; Feferman 1992) How is the
logic dependent upon the underlying programming language?

24. What is information? (Floridi 2004; Floridi 2005) Does this notion
throw light on some of the questions listed here?

25. Why are there so many programming languages and programming
paradigms? (Krishnamurthi 2003)

26. Do programming languages (and paradigms) have the nature of
scientific theories? What causes a programming paradigm shift? (Kuhn
1970)

27. Does software engineering raise any philosophical issues? (Eden
2007)

REFERENCES

----------------------------------------------------------------------

Important dates for ECAP 2009 conference track (tentative):
* Submission deadline: 23 Feb. 2009
* Notification: 16 Mar. 2009
* Conference: 2-4 Jul. 2009

Track chair: Raymond Turner

Important dates for Minds & Machines special issue (tentative):
* Submission deadline: 1 Dec. 2009
* Notification: 1 May 2010
* Appearance: Dec. 2010

Associate editor: Amnon H. Eden

Comments

Post a Comment

Popular posts from this blog

Call for expressions of interest: research position for a project on Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation.

-
Image
THIS CALL IS NOW CLOSED Call for expressions of interest: research position for a project on Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation. The Centre for Digital Ethics of the University of Bologna https://centri.unibo.it/digital-ethics/en invites expressions of interest (EOI) from early career researchers, with a relevant Master or PhD degree, interested in developing a research project in the field of Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation. The EOI should include three documents (all in English): 1. a letter (ca. 500 words), including relevant details about personal motivation, relevant skills, experience, and a link to a Google Scholar profile; 2. a short CV (max 3 pages), including a list of publications; and 3. a short (ca. 1,000 words) outline of the proposed research project about digital sovereignty and the GELSI of digital innovat
Read more

Mind the app - considerations on the ethical risks of COVID-19 apps

-
[22 April update: at the Digital Ethics Lab (OII, University of Oxford) we have elaborated a list of 16 questions to check whether an app is ethically justifiable, the full article, open access, is available here ] There is a lot of talk about apps to deal with the pandemic . Some of the best solutions use the Bluetooth connection of mobile phones to determine the contact between people and therefore the probability of contagion. In theory, it may seem simple. In practice, there are several ethical problems, not only legal and  technical ones . To understand them, it is useful to distinguish between the validation and the verification of a system.  The validation of a system answers the question: "are we building the right system?". The answer is no if the app is illegal,  for example, the use of an app in the EU must comply with the GDPR; mind that this is necessary but not sufficient to make the app also ethically acceptable, see below; is unnecessary, f
Read more

On the importance of being pedantic (series: notes to myself)

-
Image
They say that to call someone pedantic is an insult. I'm not so sure. True, someone pedantic is obsessed with minor details, small errors, or tiny imperfections. And a pedantic is also someone who cares too much about all such things not to let you know about them, advising or correcting, disagreeing or disapproving. And yes, if you are a pedant, you are more than just occasionally pedantic. This can happen to anybody, the excessive emphasis on some narrow or boring detail being a tendency we all share when it comes to matters about which we care very much. But if you are a pedant, being pedantic is your daily stance, your intrinsic nature, your way of living. You are always, consistently, reliably, systematically pedantic, from the moment you wake up, about the exact place where the slippers should be next to your bed, all the way to the moment you go to sleep, and the exact place where the phone should be placed to recharge. If you are a true pedant, no detail is too trivial, no
Read more

On the art of biting one's own tongue (series: notes to myself)

-
The art of biting one's own tongue consists in the ability not to engage when someone says something unpleasant, untrue, malicious, or abusive about you. Instead of answering a biased question, arguing against a ludicrous opinion, complaining about an abusive message, correcting a meaningless error, countering a fallacy, explaining a patent mistake, objecting to a groundless criticism, rectifying a willful misrepresentation, rejecting an insinuation, responding to a provocation, retorting to a nasty remark, replying to an offensive allegation, … in short, instead of engaging with your mindless interlocutors you simply ignore them and do absolutely nothing, not even acknowledging that you might have received their communication, not even sharing a “no comment”, just silence. As far as they know, you might have never got the email, read the tweet or the Facebook comment, seen the Instagram picture. If you bite your own tongue appropriately, for them their communication might have nev
Read more

Il sapore della felicità condivisa

-
Il 19 marzo del 1850, Charlotte Brönte scrive una lettera a William Smith Williams, l’editore presso Smith Elder che per primo aveva riconosciuto in lei una straordinaria scrittrice. Williams le ha inviato alcuni libri da leggere, e lei, nel ringraziarlo, usa una frase divenuta famosa e che oggi troviamo citata ovunque: “la felicità non condivisa può a malapena essere chiamata felicità. Non ha sapore/gusto.” (Happiness quite unshared can scarcely be called happiness—it has no taste). Per le persone misantrope e asociali, o anche semplicemente un po’ solitarie, che ritengono che la solitudine sia l’unica felicità (beata solitudo, sola beatitudo), l’affermazione sembra del tutto errata. Eppure, è difficile non riconoscere che esiste un tipo di felicità che richiede la sua condivisione per essere goduta a pieno e non restare incompleta. Non si tratta della felicità intesa come contentezza. Come si sa, questa fa riferimento allo stare bene con se stessi e con la propria vita, in pace con l
Read more

The ethics of WikiLeaks

-
The Wikileaks phenomenon is intricate, but suppose we reduce its ethical evaluation to two questions: is whistleblowing ethical, even when motivated by resentment and the desire to harm its target? And is Wikileaks’ facilitation of whistleblowing ethical, even if it might put at risk innocent people? A deontologist, convinced that telling the truth and never lying is an absolute must, is likely to appreciate whistleblowing as the right thing to do, independently of the reasons behind it. And a consequentialist may support Wikileaks as a means to maximise the welfare of the largest number of people, especially if risks are minimized by censuring sensitive information. So current answers in the mass media seem to converge: Wikileaks is a good thing. I am not entirely convinced. Confidential communication is a three-player game – sender, receiver and referent – in which sender and receiver trust each other. The receiver, not the referent, trusts and holds responsible the sender f
Read more
-
I just published "On asking the wrong kind of questions (series: notes to myself)", happy 2024. https://link.medium.com/thDMgqTvZFb
Read more

On Philosophy's envy of her four sisters (series: notes to myself)

-
Image
Philosophy has four sisters: Mathematics, Poetry, Religion, and Science. She envies all of them. She would like to be as powerfully abstract, and rigorously demonstrative, and practically useful, and timeless ... as she believes Mathematics to be. But failing, she ends up calculating the qualitative, formalising the undefinable, inferring the trivial, and missing the obvious: useless, empty, self-referential. She would like to be as delicately perceptive, and existentially fine-tuned, and meaningfully profound, and experientially rich ... as she believes Poetry to be. But failing, she ends up blathering obscure intuitions, prophesying in an esoteric language, playing with words while disrespecting facts and reasonings, obsessed with invented etymologies but oblivious of actual meanings: unhinged, nonsensical, unaccountable. She would like to be as methodologically driven, and systematically explanatory, and epistemically foundational, and progressively cumulative ... as she believes
Read more

The fight for digital sovereignty: what it is, and why it matters, especially for the EU

-
This article is forthcoming in Philosophy & Technology 33.3 (September) 2020,  as Editor Letter. Digital sovereignty seems to be something very important, given the popularity of the topic these days. True. But it also sounds like a technical issue, which concerns only specialists. False. Digital sovereignty, and the fight for it, touch everyone, even those who do not have a mobile phone or have never used an online service. To understand why, let me start with four episodes. I shall add a fifth shortly. 18 June 2020: the British government, after having failed to develop a centralised, coronavirus app not based on the API provided by Google-Apple,  gave up, ditched the whole project (Burgess 19 June 2020), and accepted to start developing a new app in the future that would be fully compatible with the decentralised solution supported by the two American companies. This U-turn was not the first: Italy (Longo 22 April 2020) and Germany (Busvine and Rinke 26 April 2020, Lomas 27 Apr
Read more

Rate and Rank

-
Image
Good and bad days make no news and are soon forgotten. But the best or worst moments in you life are memorable, worth mentioning and indeed ranking. The same applies to books and DVDs, restaurants and hotels, sofas and lamps, jokes and quotes. We love ranking because it’s fun and because it takes away the unpleasant doubt that accompanies every daily choice. It’s a mental-energy short-cut that can make you laugh (“what’s the most embarrassing thing Bush ever said?”) or get you through the roundabouts of life more smoothly. “This is the best fridge you can buy for that price” doesn’t get any straighter ( http://www.pricerunner.co.uk/ ). Ranking used to be done with friends in a pub or other social occasions, but the Web is clearly the perfect arena for the ranking aficionados. They can go global, harness whole databases and never miss a niche of interest. Web ranking has transformed the word of mouth to a word of mouse. And with the ease and transparency of the web, there emerges a soci
Read more