Arché home Arché TWiki > Arche > PhilosophyOfLogicSeminar Arché TWiki webs:
Main | Arché | Dept | TWiki | Sandbox
Arche . { Changes | Search | Go }

Foundations of Logic Consequence Seminar

This is the Twiki page for the Foundations of Logic Consequence Project weekly seminar. More information is available at the Foundations of Logical Consequence Project TWiki page and on the Foundations of Logical Consequence website.

The seminar is a weekly event. In the coming semester, we will continue at the usual time, viz Tuesdays, 17.00-19.00 in G03 (except on 20 October). A provisional schedule can be found below - details to follow.

If you have any questions about the seminar, please contact the convener, Colin Caret.

Principal Investigator: Stephen Read.

Co-Investigators: Graham Priest and Stewart Shapiro.

Independent Auditor: Hartry Field (NYU).

Post-Doctoral Fellows: OleHjortland and ColinCaret.

Other Members: Crispin Wright, PatrickGreenough, EliaZardini, and WalterPedriali.

Project Students: MichaelDe, Guðmundur Andri Hjálmarsson, and FrederiqueJanssenLauret.

List of affiliated students: DirkKindermann, AndersSchoubye, JuliaLangkau, AndreasStokke, ThomasHodgson.

Network Members: JC Beall (Connecticut), Roy Cook (Minnesota), RoyDyckhoff (Computer Science, St Andrews), PhilipAEbert (University of Stirling), Richard Heck (Brown), Hannes Leitgeb (Bristol), Øystein Linnebo (Bristol), Jeff Ketland (Edinburgh), PaulMcCallion (Paris), Vann McGee (MIT), Peter Milne (Stirling), CatarinaDutilhNovaes (University of Amsterdam), Dag Prawitz (Stockholm), Agustín Rayo (MIT), Greg Restall (Melbourne), MarcusRossberg (UConn), Ian Rumfitt (Birkbeck), WilliamStirton (University of Edinburgh), Peter Schroeder-Heister (Tübingen), Neil Tennant (OSU), Heinrich Wansing (Dresden) and Timothy Williamson (Oxford).

Future meetings

Date Topic Leader Reading
22 Mar 2010 Logic Relativism Stewart Shapiro  
12 Apr 2010 Modalising Plurals Simon Hewitt  
17 May 2010 Two New Solutions to the Liar Paradox PatrickGreenough  
24 May 2010 TBA Dave Ripley  
31 May 2010 TBA Shawn Standefer  
7 Jun 2010 TBA JC Beall  

How to schedule a meeting

You may use the form below to schedule a new seminar. Please enter the date in the form "20 Sep 2003". The "called" field will update automatically. You could also schedule a meeting by manually creating a new WikiTopic and adding a SeminarEvent form to it.

Add a meeting on date called

Past meetings

Date Topic Leader Minutes
26 Jan 2007 Planning Meeting Ole PhilosophyOfLogicSeminar26Jan2007
2 Feb 2007 What is logic? Darren McDonald PhilosophyOfLogicSeminar2Feb2007
9 Feb 2007 What is a logical constant? Ole Hjortland PhilosophyOfLogicSeminar25Feb2007
16 Feb 2007 Logical consequence I Walter Pedriali PhilosophyOfLogicSeminar16Feb2007
23 Feb 2007 Logical consequence II Walter Pedriali PhilosophyOfLogicSeminar23Feb2007
2 Mar 2007 Proof-theoretic semantics (inferentialism) MarcusRossberg PhilosophyOfLogicSeminar2Mar2007
9 Mar 2007 Against inferentialism CrispinWright PhilosophyOfLogicSeminar8Mar2007
16 Mar 2007 Logical Pluralism I Ira Kiourti PhilosophyOfLogicSeminar16Mar2007
23 Mar 2007 Logical Pluralism II Ira Kiourti PhilosophyOfLogicSeminar23Mar2007
13 Apr 2007 Logic in translation/Disagreement about logic Ole Hjortland PhilosophyOfLogicSeminar13Apr2007
20 Apr 2007 Truth-makers for logical laws I AndreasStokke PhilosophyOfLogicSeminar20Apr2007
27 Apr 2007 Unrestricted quantification I (cancelled) Chiara Tabet PhilosophyOfLogicSeminar27Apr2007
4 May 2007 Unrestricted quantification II (cancelled) tba PhilosophyOfLogicSeminar4May2007
10 May 2007 Truth-makers for logical laws I Andreas Stokke PhilosophyOfLogicSeminar11May2007
11 May 2007 Disagreement about logic: Modus ponens Andri Hjalmarsson PhilosophyOfLogicSeminar5May2007
18 May 2007 tba Igal Kvart PhilosophyOfLogicSeminar18May2007
25 May 2007 Unrestricted quantification I Chiara Tabet PhilosophyOfLogicSeminar25May2007
1 Jun 2007 Unrestricted quantification II Chiara Tabet PhilosophyOfLogicSeminar1June2007
20 Jun 2007 Project meeting/Discussion   PhilosophyOfLogicSeminar22Jun2007
29 Jun 2007 Inferentialism and Conservativeness Marcus Rossberg PhilosophyOfLogicSeminar15June2007
13 Jul 2007 Truth and paradox Paul McCallion PhilosophyOfLogicSeminar29Jun2007
20 Jul 2007 Truth and paradox Ole Hjortland PhilosophyOfLogicSeminar20Jul2007
14 Sep 2007 Planning meeting   PhilosophyOfLogicSeminar14Sep2007
21 Sep 2007 Dummett and Inferentialism Walter PhilosophyOfLogicSeminar21Sep2007
28 Sep 2007 Inferentialism and harmony I Stephen Read PhilosophyOfLogicSeminar28Sep2007
5 Oct 2007 Inferentialism and Harmony II Philip Ebert PhilosophyOfLogicSeminar5Oct2007
12 Oct 2007 Global and local meaning in sequent calculus OleHjortland PhilosophyOfLogicSeminar12Oct2007
19 Oct 2007 Reading party, Raasay   PhilosophyOfLogicSeminar19Oct2007
26 Oct 2007 'Not taking 'No' for an answer. Rumfitt and Dummett on Negation.' Walter Pedriali PhilosophyOfLogicSeminar26Oct2007
2 Nov 2007 Discussion of application draft   PhilosophyOfLogicSeminar2Nov2007
9 Nov 2007 Grundgesetze workshop   PhilosophyOfLogicSeminar9Nov2007
12 Nov 2007 What is logic?/Logical consequence Crispin Wright, Graham Priest, Stewart Shapiro PhilosophyOfLogicSeminar16Nov2007
19 Nov 2007 The Nature and Importance of Logical Consequence II Graham Priest PhilosophyOfLogicSeminar19Nov2007
26 Nov 2007 The Nature and Importance of Logical Consequence III Crispin Wright, Graham Priest, Stewart Shapiro PhilosophyOfLogicSeminar30Nov2007
30 Nov 2007 Replacing Truth Kevin Scharp PhilosophyOfLogicSeminar6Dec2007
3 Dec 2007 The Nature and Importance of Logical Consequence IV Crispin Wright, Graham Priest, Stewart Shapiro PhilosophyOfLogicSeminar3Dec2007
10 Dec 2007 Functionalism about truth and logical pluralism Michael Lynch PhilosophyOfLogicSeminar10Dec2007
10 Dec 2007 Functionalism about truth and logical pluralism Michael Lynch PhilosophyOfLogicSeminar15Dec2007
14 Dec 2007 Logical constants MichaelDe PhilosophyOfLogicSeminar14Dec2007
17 Dec 2007 Planning meeting tba PhilosophyOfLogicSeminar21Dec2007
21 Mar 2008 Maudlin, Truth and Paradox OleHjortland and StephenRead PhilosophyOfLogicSeminar21Mar2008
28 Mar 2008 Maudlin, Truth and Paradox MichaelDe and DirkKindermann PhilosophyOfLogicSeminar28Mar2008
4 Apr 2008 Maudlin, Truth and Paradox AndreasStokke PhilosophyOfLogicSeminar18Apr2008
11 Apr 2008 Maudlin, Truth and Paradox OleHjortland PhilosophyOfLogicSeminar11Apr2008
18 Apr 2008 Maudlin Extra WalterPedriali PhilosophyOfLogicSeminar28Jun2008
25 Apr 2008 Arché Reading Party   PhilosophyOfLogicSeminar25Apr2008
2 May 2008 Hartry Field   PhilosophyOfLogicSeminar2May2008
9 May 2008 Similar Worlds, Normal Worlds MartinSmith PhilosophyOfLogicSeminar9May2008
16 May 2008 Hartry Field MichaelDe PhilosophyOfLogicSeminar23May2008
23 May 2008 Non-Conservativeness in Higher-Order Logic and the Structure of Henkin Models MarcusRossberg PhilosophyOfLogicSeminar16May2008
30 May 2008 Bradwardine, Fitch and the Knower Paradox StephenRead PhilosophyOfLogicSeminar6June2008
20 Jun 2008 Following-from and Transitivity EliaZardini PhilosophyOfLogicSeminar30May2008
27 Jun 2008 Indicative/Subjunctive Guðmundur Andri Hjálmarsson PhilosophyOfLogicSeminar4Apr2008
11 Jul 2008 [Free slot]   PhilosophyOfLogicSeminar11July2008
18 Jul 2008 meeting cancelled   PhilosophyOfLogicSeminar18July2008
25 Jul 2008 Inferential criteria for singular terms PaulMcCallion PhilosophyOfLogicSeminar25Jul2008
16 Sep 2008 Planning meeting StephenRead PhilosophyOfLogicSeminar16Sep2008
23 Sep 2008 No 'Ifs' and 'Buts'. The Pragmatics of the Logical Constants. WalterPedriali PhilosophyOfLogicSeminar23sep2008
30 Sep 2008 Logical Consequence and the Preservation of Truth (I) EliaZardini PhilosophyOfLogicSeminar30Sep2008
7 Oct 2008 No 'Ifs' and 'Buts' II WalterPedriali PhilosophyOfLogicSeminar7Oct2008
14 Oct 2008 Logical Consequence and the Preservation of Truth (II) EliaZardini PhilosophyOfLogicSeminar14oct2008
21 Oct 2008 No meeting [post-doc talks this week]   PhilosophyOfLogicSeminar21Oct2008
28 Oct 2008 The Medieval Theory of Consequence StephenRead PhilosophyOfLogicSeminar28Oct2008
4 Nov 2008 The semantic role of proof-conditions OleHjortland PhilosophyOfLogicSeminar4Nov2008
11 Nov 2008 Semantics for Bradwardine's Theory of Truth MichaelDe PhilosophyOfLogicSeminar11Nov2008
18 Nov 2008 What does it mean to say that something is formal? Catarina Dutilh Novaes PhilosophyOfLogicSeminar20Nov2008
25 Nov 2008 Nonnormal Worlds and Logical Laws Colin Caret PhilosophyOfLogicSeminar25Nov2008
2 Dec 2008 Vague Inclosures GrahamPriest PhilosophyOfLogicSeminar2Dec2008
9 Dec 2008 A Plea for Tolerance StewartShapiro PhilosophyOfLogicSeminar9Dec2008
10 Dec 2008 Combining Logics by Means of Possible-Translation Semantics and Society Semantics Walter Carnielli PhilosophyOfLogicSeminar10Dec2008
11 Dec 2008 Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra? Walter Carnielli PhilosophyOfLogicSeminar11Dec2008
15 Dec 2008 Bad companions in a healthy environment: Prospects for gainful employment Øystein Linnebo PhilosophyOfLogicSeminar15Dec2008
24 Mar 2009 Planning meeting StephenRead PhilosophyOfLogicSeminar24March2009
31 Mar 2009 Topics from the 1st FLC Workshop StephenRead PhilosophyOfLogicSeminar31March2009
7 Apr 2009 And If Not True Or False? Guðmundur Andri Hjálmarsson PhilosophyOfLogicSeminar7April2009
14 Apr 2009 A system of dialogues rules relating to classical logic WilliamStirton PhilosophyOfLogicSeminar14April2009
21 Apr 2009 Fixed Negation MichaelDe PhilosophyOfLogicSeminar21April2009
28 Apr 2009 Field's Paradox and its Medieval Solution StephenRead PhilosophyOfLogicSeminar28April2009
5 May 2009 And If Not True Or False? II Guðmundur Andri Hjálmarsson PhilosophyOfLogicSeminar5May2009
12 May 2009 Harmony: Solution and generalised elimination OleHjortland PhilosophyOfLogicSeminar12May2009
19 May 2009 Modal Languages and Mood Kai Wehmeier PhilosophyOfLogicSeminar19May2009
26 May 2009 GE-harmony and bullet RoyDyckhoff and StephenRead PhilosophyOfLogicSeminar26May2009
2 Jun 2009 Multiple conclusions, assertion, denial and non-classical logic MichaelDe and OleHjortland PhilosophyOfLogicSeminar2June2009
16 Jun 2009 Follow up session to Harmony and related issues   PhilosophyOfLogicSeminar16June2009
23 Jun 2009 tba TBA PhilosophyOfLogicSeminar23Jun2009
30 Jun 2009 No meeting (Summer School)   PhilosophyOfLogicSeminar30Jun2009
7 Jul 2009 (canceled)   PhilosophyOfLogicSeminar7Jul2009
29 Sep 2009 Logics and Worlds: Concrete Impossible Worlds, Reduction & Relative Modalities IraKiourti PhilosophyOfLogicSeminar29Sep2009
6 Oct 2009 Structure of Consequence I ColinCaret PhilosophyOfLogicSeminar6Oct2009
13 Oct 2009 Structure of Consequence II OleHjortland PhilosophyOfLogicSeminar13Oct2009
20 Oct 2009 Structure of Consequence III OleHjortland PhilosophyOfLogicSeminar19Oct2009
21 Oct 2009 Assertion, Denial, Inference: Do Deeds Matter for Logic? CatarinaDutilhNovaes PhilosophyOfLogicSeminar20Oct2009
27 Oct 2009 Information, Relevance, and the Quantifiers Edwin Mares PhilosophyOfLogicSeminar27Oct2009
3 Nov 2009 Nominalistic Neologicism Rafal Urbaniak PhilosophyOfLogicSeminar3Nov2009
10 Nov 2009 Harmony and Invertibility JulienMurzi PhilosophyOfLogicSeminar10Nov2009
17 Nov 2009 Models and Logical Consequence Gil Sagi PhilosophyOfLogicSeminar16Nov1009
17 Nov 2009 TBA Gil Sagi PhilosophyOfLogicSeminar17Nov2009
24 Nov 2009 Gentzen's Logical Calculi: Historical and Systematic Aspects Jan van Plato PhilosophyOfLogicSeminar24Nov2009
1 Dec 2009 The Consistency and Completeness of Arithmetic, Based on a Logic of Meaning Containment Ross Brady PhilosophyOfLogicSeminar1Dec2009
8 Dec 2009 Nominalistic Adequacy Jeff Ketland PhilosophyOfLogicSeminar8Dec2009
15 Dec 2009 The Principle of Separability Florian Steinberger PhilosophyOfLogicSeminar15Dec2009
12 Jan 2010 Metalinguistic Commitment and the T-schema FrederiqueJanssenLauret PhilosophyOfLogicSeminar12Jan2010
19 Jan 2010 Consequence Relations for Speech Acts MichaelDe PhilosophyOfLogicSeminar19Jan2010

Bibliographies

Arché currently has a collection of logic bibliographies which are being maintained by the members. They are found here: Arché's Logic Bibliographies.

Attachments

-- AndreasStokke - 10 Feb 2008

Attachment Action Size Date Who Comment
Philosophyoflogicschedule.doc manage 73.0 K 27 Jan 2007 - 10:56 AndreasStokke Schedule with list of optional reading
Philosophyoflogicschedule.pdf manage 98.5 K 29 Jan 2007 - 18:30 MarcusRossberg pdf version of the above

Topic PhilosophyOfLogicSeminar . { Edit | Attach | Ref-By | Print | Diffs | r1.39 | > | r1.38 | > | r1.37 | More }
Revision r1.39 - 23 Oct 2009 - 08:46 - ColinCaret
Parents: WebHome 		Copyright © 1999-2003 by the contributing authors.