corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Back to consequently.org — Greg Restall’s home on the internet.
Blog · corpus.blog/blogs/consequently.org/posts

consequently.org — Greg Restall’s home on the internet.

consequently.org

2013

Assertion, Denial and Non-Classical Theoriesoriginal ↗
31 Jul 2013
Special Issue of the Logic Journal of the IGPL: Non-Classical Mathematicsoriginal ↗
15 Feb 2013

2012

New Waves in Philosophical Logicoriginal ↗
31 Dec 2012
A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it mattersoriginal ↗
22 Nov 2012
Bradwardine Hypersequentsoriginal ↗
3 Aug 2012
History of Logical Consequenceoriginal ↗
3 Mar 2012
Interpreting and Applying Proof Theories for Modal Logicsoriginal ↗
3 Mar 2012
On the ternary relation and conditionalityoriginal ↗
2 Feb 2012
Molinism and the Thin Red Lineoriginal ↗
1 Jan 2012

2011

Anti-Realist Classical Logic and Realist Mathematicsoriginal ↗
13 Oct 2011
Logic in Australasiaoriginal ↗
1 Jan 2011

2010

On the ternary relation and conditionalityoriginal ↗
25 Dec 2010
Always Moreoriginal ↗
16 Nov 2010
Testing, testing, 1, 2, 3original ↗
16 Nov 2010
Decorated Linear Order Types and the Theory of Concatenationoriginal ↗
3 Oct 2010
Proof Theory and Meaning: the context of deducibilityoriginal ↗
3 Oct 2010
Barriers to Consequenceoriginal ↗
15 Jul 2010
Relevant Agentsoriginal ↗
3 Mar 2010
On t and u, and what they can dooriginal ↗
16 Feb 2010
What are we to accept, and what are we to reject, when saving truth from paradox?original ↗
18 Jan 2010

2009

Models for Substructural Arithmeticsoriginal ↗
31 Dec 2009
On Permutation in Simplified Semanticsoriginal ↗
3 Nov 2009
Time Fliesoriginal ↗
20 Oct 2009
A Priori Truthsoriginal ↗
17 Jul 2009
Live from Hejniceoriginal ↗
19 Jun 2009
Rumfitt on Multiple Conclusions, Part 2original ↗
2 Jun 2009
Rumfitt on Multiple Conclusions, Part 1original ↗
1 Jun 2009
Problems for Naïve Property Theoriesoriginal ↗
21 May 2009
Bob Meyeroriginal ↗
7 May 2009
Truth Values and Proof Theoryoriginal ↗
1 May 2009
More on Wordsoriginal ↗
24 Apr 2009
Using Peer Instruction to Teach Philosophy, Logic and Critical Thinkingoriginal ↗
20 Apr 2009
Types, Tokens and Namesoriginal ↗
27 Mar 2009
Quiz for todayoriginal ↗
25 Mar 2009
Spandrels of Truthoriginal ↗
25 Mar 2009
Back in the saddleoriginal ↗
24 Feb 2009
Holiday, in progressoriginal ↗
14 Jan 2009
Holiday!original ↗
7 Jan 2009
Little Snippets of Newsoriginal ↗
7 Jan 2009
Appendix to 'Yo!' and 'Lo!': the pragmatic topography of the space of reasonsoriginal ↗
1 Jan 2009

2008

Merry Christmas, alloriginal ↗
24 Dec 2008
Always More...original ↗
9 Dec 2008
New Paper: Assertion, Denial and Non-Classical Theoriesoriginal ↗
4 Dec 2008
Models for Liars in Bradwardine's Theory of Truthoriginal ↗
3 Dec 2008
New Paper: Truth Values and Proof Theoryoriginal ↗
2 Dec 2008
Back! Then off, then back again!original ↗
27 Nov 2008
Off to Guangzhouoriginal ↗
14 Nov 2008
Truthmakers, Entailment and Necessity 2008original ↗
3 Oct 2008
Modal Models for Bradwardine's Theory of Truthoriginal ↗
15 Sept 2008
Tartu Pluralism Days #3 and #4original ↗
31 Aug 2008
Tartu Pluralism Day #2original ↗
29 Aug 2008
Tartu Pluralism Day #1original ↗
28 Aug 2008
Tartuoriginal ↗
28 Aug 2008
Amsterdam!original ↗
24 Aug 2008
Bag packed, let's go!original ↗
22 Aug 2008
Pain, stress, redundancies, another day at the officeoriginal ↗
19 Aug 2008
Random interesting fact (one in an intermittent series)original ↗
18 Aug 2008
Breaking Silenceoriginal ↗
16 Aug 2008
Logical Pluralism, in Tartuoriginal ↗
15 Apr 2008
Informal Logic: now open accessoriginal ↗
9 Apr 2008
We're in the news...original ↗
30 Mar 2008
A Participatory Theory of the Atonementoriginal ↗
3 Mar 2008
Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence)original ↗
3 Mar 2008
Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-referenceoriginal ↗
3 Mar 2008
Envelopes and Indifferenceoriginal ↗
3 Mar 2008
Sorry...original ↗
13 Feb 2008

2007

Review of Ross Brady, Universal Logicoriginal ↗
1 Dec 2007
Invention is the Mother of Necessity: modal logic, modal semantics and modal metaphysicsoriginal ↗
3 Oct 2007
Melbourne Philosophy Undergraduate Workshoporiginal ↗
6 Aug 2007
Talk on the Philosopher's Zoneoriginal ↗
5 Aug 2007
... and we're backoriginal ↗
5 Aug 2007
... arrived!original ↗
18 Jun 2007
Heading off...original ↗
17 Jun 2007
Not 'gargoyle' but 'finial'original ↗
3 May 2007
Logic Job at Aucklandoriginal ↗
2 May 2007
Logica 2007 is coming uporiginal ↗
3 Apr 2007
Book Launch! Inside Lawyers' Ethicsoriginal ↗
29 Mar 2007
Proof Theory and Meaning: on second order logicoriginal ↗
3 Mar 2007
Proofnets for S5: sequents and circuits for modal logicoriginal ↗
3 Mar 2007
Symbolic Logicoriginal ↗
3 Mar 2007
In Banff: Monday, Tuesday, Wednesday, Thursday...original ↗
22 Feb 2007
My talk in Banfforiginal ↗
22 Feb 2007
In Banff: Delia Graff Faraoriginal ↗
19 Feb 2007
In Banff: Branden Fitelson on Formal Epistemologyoriginal ↗
19 Feb 2007
In Banfforiginal ↗
19 Feb 2007

2006

Off to India...original ↗
19 Dec 2006
Scenes from an afternoonoriginal ↗
22 Nov 2006
Horn tootingoriginal ↗
15 Nov 2006
A Philosophical Poll: on a priori knowledge of possibilitiesoriginal ↗
1 Nov 2006
Party on Tuesdayoriginal ↗
12 Oct 2006
Masses of Formal Philosophy: Question 2original ↗
16 Sept 2006
An idea...original ↗
4 Sept 2006
Visitsoriginal ↗
1 Aug 2006
Ten Questions about Booksoriginal ↗
29 Jul 2006
On the Intervieworiginal ↗
22 Jul 2006
On Politicsoriginal ↗
19 Jul 2006
Interviewed againoriginal ↗
18 Jul 2006
Assorted Observationsoriginal ↗
7 Jul 2006
Back homeoriginal ↗
3 Jul 2006
Here in Nancy, Day 2original ↗
30 Jun 2006
Previous Next