X

Posts

October 29, 2014

+
5:48 PM | Frankl, My Dear : 7
Re: Dick Lipton & Ken Regan • (1) • (2) We continue with the differential analysis of the proposition in Example 1. Example 1 (1) A proposition defined on one universe of discourse has natural extensions to larger universes of discourse. … Continue reading →
+
4:29 PM | The Real Reasons Philosophers Shouldn't Use LaTeX
Josh Parsons (Oxford) has written a widely discussed post on "The LaTeX cargo cult," explaining why he discourages philosophy students from using LaTeX.  He makes some interesting points.  But what he has left out is the overarching principle that you should simply always use the best tool for the purpose at hand - and "best" should take into account lots of things: cost (in money and time you need to invest to become proficient in the use of the tool), ease of use, functionality, and the […]
+
4:29 PM | The Real Reasons Why Philosophers Shouldn't Use LaTeX
Josh Parsons (Oxford) has written a widely discussed post on "The LaTeX cargo cult," explaining why he discourages philosophy students from using LaTeX.  He makes some interesting points.  But what he has left out is the overarching principle that you should simply always use the best tool for the purpose at hand - and "best" should take into account lots of things: cost (in money and time you need to invest to become proficient in the use of the tool), ease of use, functionality, and the […]

October 27, 2014

+
9:55 PM | Bringing Logic (and Philosophy, CS) to the Masses
At this year's Vienna Summer of Logic the organizers did something I haven't seen done before, and which I think should be emulated: over the course of the two weeks that 2,400 logicians were gathered in Vienna, they organized a Logic Lounge in seven instalments.  For an hour each, one or more conference participants engaged in a moderated conversation in front of a general audience in a café near the conference venue. The moderators were well-prepared, and the discussants all had […]
+
6:48 PM | Frankl, My Dear : 6
Re: Dick Lipton & Ken Regan • (1) • (2) (3) Figure 3 shows the eight terms of the enlarged proposition as arcs, arrows, or directed edges in the venn diagram of the original proposition Each term of the enlargement corresponds … Continue reading →
+
2:47 AM | To Quarantine or not to Quarantine?: Science & Policy in the time of Ebola
 Bioethicist Arthur Caplan gives “7 Reasons Ebola Quarantine Is a Bad, Bad Idea”. I’m interested to know what readers think (I claim no expertise in this area.) My occasional comments are in red.  “Bioethicist: 7 Reasons Ebola Quarantine Is a Bad, Bad Idea” BY ARTHUR CAPLAN In the fight against Ebola some government officials in the U.S. are […]

October 25, 2014

+
4:41 PM | 3 YEARS AGO: MONTHLY MEMORY LANE
MONTHLY MEMORY LANE: 3 years ago: October 2011 (I mark in red 3 posts that seem most apt for general background on key issues in this blog*) (10/3) Part 2 Prionvac: The Will to Understand Power (10/4) Part 3 Prionvac: How the Reformers Should Have done Their Job (10/5) Formaldehyde Hearing: How to Tell the Truth With Statistically Insignificant Results (10/7) Blogging […]

October 24, 2014

+
7:55 PM | Some Weekly Picks
Another jumble of links from the week gone by: 1)  Okay, he may not be Martin Gardner, but Mike Lawler has been compiling quite a body of digital work week after week after week (both written and video). I'm astounded by his output, and don't even have time to catch it all, but here's one contribution from last week (...and seriously, if you're a math teacher or a parent you ought be FOLLOWING

October 23, 2014

+
8:17 PM | Home
Courses Logic I (Phil 279) Logic II (Phil 379) Logic III (Phil 479) Modal Logic (Phil 579.2/679.5) Nineteenth and Twentieth Century Analytic Philosophy (Phil 307) […]
+
6:00 PM | Frankl, My Dear : 5
Re: Dick Lipton & Ken Regan • (1) • (2) Putting all thought of the Frankl Conjecture out of our minds for the moment, let’s return to the proposition in Example 1 and work through its differential analysis from scratch. Example … Continue reading →
+
2:00 AM | September 2014: Blog Contents
September 2014: Error Statistics Philosophy Blog Table of Contents  Compiled by Jean A. Miller (9/30) Letter from George (Barnard) (9/27) Should a “Fictionfactory” peepshow be barred from a festival on “Truth and Reality”? Diederik Stapel says no (rejected post) (9/23) G.A. Barnard: The Bayesian “catch-all” factor: probability vs likelihood (9/21) Statistical Theater of the Absurd: “Stat on a […]

October 21, 2014

+
11:02 PM | A mathematical philosophy – a digital view
I’ve become fascinated with Gregory Chaitin’s exploration of randomness in computing and his impulse to bring these observations to bear on physical, mathematical, and biological theories. His work inevitably addresses epistemological questions – what it means to know, to comprehend – and leads him to move (as he says in a recent paper) in the [...]
Editor's Pick
+
12:34 AM | Proof Formalization in Mathematics: Guest Post by Jeremy Avigad
There's a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential, for formalized proofs in mathematics.  Harvey Friedman asked Jeremy Avigad to comment; he sent this super-useful list of references, republished here with his approval. John Harrison and I recently wrote a survey on formalized mathematics, for computer scientists: Jeremy Avigad, John Harrison, 2014, "Formally verified mathematics." Communications of the ACM 57: […]

October 20, 2014

+
6:00 PM | Edward Nelson, 1932-2014
Just found out that Edward Nelson died last month. http://www.princeton.edu/main/news/archive/S41/11/36I14/index.xml http://en.wikipedia.org/wiki/Edward_Nelson AddThis: 

October 19, 2014

+
3:30 AM | PhilStat/Law: Nathan Schachtman: Acknowledging Multiple Comparisons in Statistical Analysis: Courts Can and Must
The following is from Nathan Schachtman’s legal blog, with various comments and added emphases (by me). He will try to reply to comments/queries. “Courts Can and Must Acknowledge Multiple Comparisons in Statistical Analyses” Nathan Schachtman, Esq., PC * October 14th, 2014 In excluding the proffered testimony of Dr. Anick Bérard, a Canadian perinatal epidemiologist in the […]

October 18, 2014

+
6:54 PM | FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II 'Competing Foundations?', 12-13 January 2015, London.
The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and represents a shift in attitudes towards the philosophy of mathematics. This conference will bring together leading scholars in these areas to showcase contemporary philosophical research on different approaches to the foundations of mathematics. To accomplish this, the conference has […]

October 17, 2014

+
8:00 PM | Potpourri
Mathy stuff from the past week: 1)  Andrew Gelman on liberal and conservative statistics: http://andrewgelman.com/2014/10/10/conservative-liberal-comes-statistics/ and here, Gelman discusses the "statistical crisis in science" in latest edition of American Scientist: http://www.americanscientist.org/issues/id.16259,y.2014,no.6,content.true,page.5,css.print/issue.aspx 2)  A short piece on
+
3:04 PM | Awodey's "HoTT for Philosophers" on mathtube.org
Steve Awodey's talk in the Calgary Mathematics & Philosophy lecture series ("Univalence as a New Principle of Logic" aka "HoTT for Philosophers") is now up on mathtube.org. AddThis: 
+
3:22 AM | bpextra: new version v 0.2
I've fixed a bug in bpextra.The new version can be downloaded from github. See also this issue for how to define your own deduction styles. AddThis: 

October 16, 2014

+
8:49 PM | SotFoM II: Competing Foundations
The second installment of SotFom (Symposium on the Foundations of Math) is asking for papers by Halloween: http://sotfom.wordpress.com/2014/10/14/final-cfp-and-extended-deadline-s... FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?’, 12-13 January 2015, London. The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and […]

October 15, 2014

+
1:56 PM | Visiting Fellowships at the MCMP (Academic Year 2015/2016)
The Munich Center for Mathematical Philosophy invites applications for visiting fellowships for one to three months in the academic year 2015/16 (15 October 2015 to 15 February 2016 or 15 April to 15 July 2016) intended for advanced Ph.D. students (“Junior Fellowships") and postdocs or faculty (“Senior Fellowships"). Candidates should work in general philosophy of science, the philosophy of one of the special sciences, formal epistemology, or social epistemology and […]
+
1:54 PM | 3-year Doctoral Fellowship on “The Evolution of Unpopular Norms and Bullying"
The Munich Center for Mathematical Philosophy seeks applications for a Doctoral Fellowship. The successful candidate will work on the project "The Evolution of Unpopular Norms and Bullying” (project summary below), which is funded by the German Research Council (DFG) and part of the DFG Priority Programme “New Frameworks of Rationality”. The fellowship is open for candidates with a masters degree in philosophy or a related social science. The funding is for three years, and the fellowship […]
+
1:00 AM | Gelman recognizes his error-statistical (Bayesian) foundations
From Gelman’s blog: “In one of life’s horrible ironies, I wrote a paper “Why we (usually) don’t have to worry about multiple comparisons” but now I spend lots of time worrying about multiple comparisons” Posted by Andrew on 14 October 2014, 11:13 am Exhibit A: [2012] Why we (usually) don’t have to worry about multiple comparisons. […]

October 14, 2014

+
10:30 PM | Three For Your Consideration
Recently treated myself to a few older books from Amazon, three of which I just want to pass along: 1)  Have mentioned Steven Strogatz's 2009 "The Calculus of Friendship" multiple times in the past (at Math-Frolic). I read a library copy quite some time ago, and always wanted my own hard copy... delighted to now have it. Recommended to teachers, students of all stripes. And if any of you think
+
7:30 PM | Semiotic Theory Of Information : 6
2014 Oct 14 Through the 1970s I gradually recovered from my early traumas with Fortran and with the aid of more symbol-friendly programming languages like Lisp and Pascal began to play around again with implementing simple forms of graphical calculi … Continue reading →
+
6:03 PM | Free Schlick!
Did you know? The Moritz Schlick Gesamtausgabe is available for free at the Moritz-Schlick-Forschungsstelle! Just click on the cover image to download the PDF (instead of the "order online" link).  Alas, it's only in German. AddThis: 
+
2:00 PM | Semiotic Theory Of Information : 5
2014 Oct 09 I will continue assembling an assortment of background materials and links to other resources that I think are useful in understanding Peirce’s notion of information and how it has the potential to extend and generalize both our … Continue reading →
+
7:26 AM | Call for Papers: Formal Epistemology Workshop 2015
May 20-22, 2015 (Wednesday to Friday)Washington University in St. LouisKeynote speakers:Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park)The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.There will be conference sessions all day on May 20 & 21, and in the morning on May 22.Contributors are invited to […]

October 13, 2014

+
7:20 PM | Semiotic Theory Of Information : 4
2014 Oct 08 “Let us now return to the information.” To coin a phrase. This time around we come to Peirce’s notion of information in a critical and recurring passage that Frederik Stjernfelt takes as the next stepping stone from … Continue reading →
+
2:16 PM | Cambridge Graduate Conference on the Philosophy of Mathematics and Logic
If you're in that part of the world (or will be in January), you might be interested to know that registration for the 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic (17-18 January 2015) is now open: The conference will be held in St. John's College, Cambridge. There will be two keynote speakers and six talks from graduate students on a variety of topics in the Philosophy of Mathematics and Logic, broadly construed. The graduate papers will have […]
123456789
1,136 Results