Meta tags:

Headings (most frequently used words):

2009, thursday, 2008, december, monday, of, 04, january, workshop, and, theory, may, 18, 14, tuesday, february, 05, wednesday, november, ideal, proof, ip, seminar, in, theorem, friday, september, 07, saturday, april, 11, march, 10, 12, sunday, 09, 24, 19, reader, news, menu, labels, divers, blog, archive, richard, craven, absolute, generality, vagueness, decision, benson, mates, balder, ten, cate, dietmar, berwanger, colloquium, carnap, explanation, the, fundamental, idea, floyd, kanamori, hintikka, it, only, agustin, rayo, updated, paul, mccallion, repha, cfp, flow, chart, science, flux, 08, philosophy, foundations, mathematics, epistemological, ontological, aspects, conférences, duhem, elster, et, ekeland, phd, logic,

Text of the page (most frequently used words):
the (45), and (42), 2009 (23), par (21), catégorie (20), henri (20), galinon (20), paris (15), session (15), may (14), conference (14), salle (14), #december (13), university (12), ihpst (11), ideal (11), 2008 (9), logic (9), philosophy (9), rue (9), theory (9), proof (9), january (8), april (8), ulm (8), will (8), thursday (8), carnap (8), february (7), september (6), november (6), ens (6), paul (6), mathematics (6), science (6), for (6), seminar (6), mathematical (6), march (5), conferences (5), philosophie (5), 75005 (5), jean (5), friday (5), belief (5), 12h (5), 14h00 (5), workshop (5), explication (5), october (4), richard (4), wednesday (4), monday (4), saturday (4), venue (4), change (4), program (4), wagner (4), lund (4), boston (4), revue (4), université (4), 10h (4), truth (4), rayo (4), fellow (4), knowledge (4), august (3), june (3), july (3), craven (3), varia (3), philform (3), ecole (3), dussane (3), 14h (3), nicolas (3), columbia (3), une (3), martin (3), held (3), foundations (3), ontological (3), aspects (3), pierre (3), address (3), 12h45 (3), 15h30 (3), 18h00 (3), approach (3), revision (3), hintikka (3), tuesday (3), place (3), mccallion (3), possibility (3), content (3), mercredi (3), idea (3), can (3), conditions (3), how (3), vagueness (3), agustin (3), michael (3), lunch (3), reasoning (3), sense (3), context (3), floyd (3), institut (3), nicod (3), absolute (3), generality (3), blog (2), theme (2), philmath (2), memoriam (2), blogs (2), analytic (2), posts (2), les (2), conférences (2), duhem (2), des (2), lieu (2), vendredi (2), 13h30 (2), normale (2), supérieure (2), programme (2), elster (2), collège (2), france (2), discutants (2), mikaël (2), cozic (2), ekeland (2), british (2), philippe (2), lille (2), per (2), löf (2), epistemological (2), colloquium (2), flux (2), organized (2), inquiry (2), 9h15 (2), 10h15 (2), 10h25 (2), 11h25 (2), 11h45 (2), 14h30 (2), new (2), york (2), 15h40 (2), 16h40 (2), interrogative (2), interpretation (2), framework (2), gabriel (2), reading (2), via (2), consequence (2), avec (2), est (2), mars (2), repha (2), séminaire (2), ontology (2), réunion (2), ijn (2), lscp (2), mardi (2), weil (2), argue (2), that (2), notions (2), modal (2), from (2), based (2), introduction (2), some (2), main (2), account (2), proofs (2), logical (2), iii (2), numbers (2), concepts (2), towards (2), robert (2), only (2), 9h30 (2), grands (2), moulins (2), diderot (2), geometry (2), focus (2), conférence (2), date (2), room (2), professor (2), kanamori (2), juliet (2), fundamental (2), 15th (2), avril (2), syntax (2), dejeuner (2), 16h00 (2), 16th (2), peter (2), panthéon (2), universität (2), jena (2), conception (2), lundi (2), balder (2), ten (2), cate (2), amsterdam (2), cachan (2), dietmar (2), berwanger (2), benson (2), mates (2), bristol (2), decision (2), sept (2), unrestricted (2), quantification (2), semantics (2), theorem (2), skip (2), 2005, 126, 2006, 2007, archive, memory, game, philosopher, magazine, divers, software, administration, deflationism, latex, html, people, intext, labels, links, homepages, tutorials, events, europe, esap, menu, reader, news, subscribe, atom, home, older, here, phd, troisièmes, société, sciences, auront, novembre, 18h30, accueil, canto, sperber, dir, andler, président, sps, jon, indétermination, théorie, choix, rationnel, greghec, houy, polytechnique, 16h30, ivar, mathématiques, économie, fécondité, limites, formalisation, bouchaud, cea, saclay, delahaye, lifl, dedicated, occasion, his, retirement, uppsala, webpage, four, 75006, formal, approaches, 9h00, keynote, bengt, hansson, explanatory, equilibrium, franck, zenker, formalization, revolutionary, sebastian, enqvist, architectonic, scientific, isaac, levi, doxastic, states, erik, olsson, contraction, ties, 17h00, hans, rott, regensburg, defending, ramsey, test, conditionals, constructive, emmanuel, genot, gerhard, shurtz, duesserldorf, abduction, hervé, zwirn, abductive, jaakko, who, afraid, thomas, bayes, sandu, probabilistic, quantifiers, nothing, xkcd, flow, chart, signale, naissance, francophone, comité, lecture, site, déjà, adresse, suivante, encourage, contributions, étudiants, premier, numéro, prévu, vers, appel, contribution, ici, www, etudiante, analytique, cfp, sunday, janvier, accueillera, andrews, formalism, grande, 17h30, 19h30, going, give, series, lectures, dates, broad, abstract, these, two, are, closely, related, cannot, understood, independently, one, another, core, stated, simply, describe, sentence, explain, world, must, order, satisfied, but, has, far, reaching, consequences, help, puzzles, epistemology, draw, material, book, manuscript, working, which, following, papers, more, user, friendly, themes, recommend, succes, default, vague, representation, specifying, actualist, guide, quantifying, updated, 22nd, mattia, petrolo, constructivity, intuitionistic, classical, renaud, chorlay, ways, out, grey, paola, cantu, magnitudes, matter, degree, andrei, rodin, get, their, bodies, example, forcing, visitor, trivialist, contributors, strevens, suárez, chris, pincock, craig, callender, matteo, morganti, otavio, bueno, roman, frigg, christopher, hitchcock, elaine, landry, gabriele, contessa, thomson, jones, steven, french, antony, eagle, jonah, schupbach, northcott, anna, alexandrova, weisberg, thoughts, arguments, rants, 3rd, 27th, 417b, halle, aux, farines, building, campus, 11h00, sebastien, maronne, elements, projective, early, modern, 11h15, oliver, schlaudt, abstraction, ideation, constructivist, nature, numerical, properties, 15h45, 17h15, john, mumma, contentful, rigor, elementary, donnera, 302, reflections, continuum, hypothesis, campanille, 897c, time, 15h55, 16h05, complexities, akihiro, 8h30, conceived, hilbert, traditional, 10h30, look, again, 12h30, chains, mental, operations, could, brouwer, right, after, all, bidirectional, jeudi, 10h00, conflicting, intuitions, about, deductive, cognitive, uncovering, mind, wilfried, sieg, rafael, nunez, dag, prawitz, schroeder, heister, göran, sundholm, albert, visser, metalogic, wissenschaftslogik, sorbonne, aile, soufflot, escalier, 4th, floor, 419, fee, registration, 14th, morning, chair, welcoming, wolfgang, kienzler, scope, tolerance, double, faced, turing, wittgenstein, contrasting, analysis, juha, manninen, helsinki, beaney, flexplication, fashioning, frege, functional, creath, arizona, state, erich, reck, california, riverside, carnapian, its, rivals, xavier, verley, toulouse, mirail, alan, richardson, daniel, isaacson, oxford, rouilhan, cnrs, semantical, hylton, illinois, chicago, quine, aufbau, problem, objective, gottfried, pseudo, problems, questions, jacques, bouveresse, legacy, aufklärung, andré, carus, cambridge, engineers, drifters, explanation, mai, 16h, recevra, joint, deux, exposés, department, berkeley, announces, with, great, sadness, death, prof, emeritus, actes, speakers, egré, leon, horsten, kris, jaegher, utrecht, van, rooij, illc, maurice, salles, caen, starting, tomorrow, glanzberg, extraordinary, dependence, karlsson, model, theoretic, nfu, plurals, uzquiano, many, angels, dance, point, needle, lapie, linnebo, modality, studd, iterative, set, confessions, david, prochaine, séance, aura, décembre, 15h, 17h, interviendra, sur, thème, suivant, axes, actualism, response, karen, bennett, logique, sidebar,

Text of the page (random words):
theorem e skip to main skip to sidebar theorem e logique philosophie friday december 04 2009 richard craven la prochaine séance du séminaire philform aura lieu lundi 7 décembre de 15h à 17h à l ihpst richard craven bristol university interviendra sur le thème suivant the axes of actualism a response to karen bennett par henri galinon à 9 06 am catégorie conferences monday september 07 2009 absolute generality workshop starting tomorrow in paris the absolute generality workshop organized by david nicolas at the institut jean nicod program tuesday sept 8 salle de conférence 46 rue d ulm 09 30 11 00 glanzberg unrestricted quantification and extraordinary context dependence 11 15 12 30 karlsson unrestricted quantification and model theoretic semantics based on nfu 14 00 15 30 nicolas semantics for plurals 15 45 17 15 uzquiano how many angels can dance on the point of a needle wednesday sept 9 salle paul lapie 29 rue d ulm 09 30 11 00 linnebo modality and absolute generality 11 15 12 30 studd the iterative conception of set a modal reading 14 00 15 30 rayo confessions par henri galinon à 9 33 pm catégorie conference monday may 18 2009 vagueness and decision theory workshop vagueness and decision theory may 29 2009 ecole normale supérieure 45 rue d ulm 75005 paris salle des actes speakers mikaël cozic institut jean nicod paul egré institut jean nicod leon horsten bristol university kris de jaegher utrecht robert van rooij illc amsterdam maurice salles université de caen par henri galinon à 12 29 pm catégorie conference benson mates the philosophy department berkeley announces with great sadness the death on may 13 2009 of prof emeritus benson mates par henri galinon à 11 11 am catégorie in memoriam balder ten cate dietmar berwanger le lundi 18 mai de 14h à 16h à l ihpst philform recevra un joint session avec deux exposés de balder ten cate amsterdam ens cachan et dietmar berwanger ens cachan par henri galinon à 10 42 am catégorie conference thursday may 14 2009 colloquium carnap s ideal of explanation carnap s ideal of explication logic metalogic and wissenschaftslogik 14 15 16 may 2009 venue université paris 1 panthéon sorbonne 12 place du panthéon paris aile soufflot escalier a 4th floor room 419 b no fee no registration thursday may 14th 2009 morning session chair pierre wagner 8 50 9 00 welcoming address and introduction pierre wagner 9 00 9 55 wolfgang kienzler universität jena on carnap s ideal of philosophy the scope of tolerance and the double faced ideal of explication 10 00 10 55 juliet floyd boston university carnap turing and wittgenstein contrasting notions of analysis 11 15 12 10 juha manninen university of helsinki 14 00 14 55 michael beaney university of york flexplication fashioning frege s functional framework 15 00 15 55 richard creath arizona state university 16 15 17 10 erich reck university of california riverside carnapian explication and its rivals 17 15 18 10 xavier verley université de toulouse le mirail interpretation explication and logic of science friday may 15th 2009 9 00 9 55 alan richardson university of british columbia 15 00 15 55 daniel isaacson university of oxford carnap s conception of mathematics as analytic 16 15 17 10 philippe de rouilhan ihpst cnrs paris carnap and the semantical explication of truth and logical consequence saturday may 16th 2009 9 00 9 55 peter hylton university of illinois at chicago quine and the aufbau the problem of objective knowledge 10 00 10 55 gottfried gabriel universität jena carnap pseudo problems and ontological questions 15 00 15 55 jacques bouveresse ihpst collège de france paris carnap and the legacy of aufklärung 16 15 17 10 andré carus university of cambridge engineers and drifters par henri galinon à 3 04 pm catégorie conference saturday april 11 2009 the fundamental idea of proof theory the fundamental idea of proof theory date 15 16 april 2009 venue ens 45 rue d ulm paris 75005 salle dussane program wednesday april 15th mercredi 15 avril 8h30 per martin löf proof theory as conceived by hilbert and logic in the traditional sense 10h30 albert visser look again syntax is no syntax 12h30 lunch dejeuner 14h00 göran sundholm proofs as chains of mental operations could brouwer be right after all 16h00 peter schroeder heister bidirectional reasoning thursday april 16th jeudi 16 avril 10h00 dag prawitz conflicting intuitions about deductive reasoning 12h lunch dejeuner 14h00 rafael nunez towards the cognitive foundations of proof 16h00 wilfried sieg uncovering aspects of the mathematical mind par henri galinon à 8 27 pm catégorie conference ip workshop floyd kanamori ip workshop proof mathematical knowledge sense and context date may 26 2009 place salle campanille room 897c grands moulins u of paris diderot time 14h00 18h00 session i 14h00 15h55 professor juliet floyd philosophy boston proof mathematical knowledge sense and context session ii 16h05 18h00 professor akihiro kanamori mathematics boston mathematical knowledge and complexities in proof par henri galinon à 8 21 pm catégorie conference tuesday march 10 2009 hintikka j hintikka donnera une conférence à l ihpst vendredi 13 mars à 14h salle 302 some reflections on the continuum hypothesis par henri galinon à 3 17 pm catégorie conferences thursday february 12 2009 ip seminar the 3rd ideal of proof seminar will be held on friday february 27th at 9h30 in salle 417b of the halle aux farines building on the grands moulins campus of paris diderot program session i 9h30 11h00 sebastien maronne ideal elements and projective geometry in early modern mathematics session ii 11h15 12h45 oliver schlaudt abstraction and ideation a constructivist approach to the nature of mathematical concepts lunch session iii focus session 14h00 15h30 paul mccallion ideal numbers vs ideal numerical properties session iv focus session 15h45 17h15 john mumma contentful reasoning and rigor in elementary geometry par henri galinon à 9 13 am catégorie conference thursday february 05 2009 it s only a theory a new philosophy blog for philosophy of science it s only a theory contributors michael strevens m suárez chris pincock craig callender matteo morganti otavio bueno roman frigg christopher hitchcock elaine landry gabriele contessa martin thomson jones steven french antony eagle jonah schupbach robert northcott anna alexandrova michael weisberg via thoughts arguments and rants par henri galinon à 9 16 am catégorie blogs wednesday january 14 2009 ideal of proof seminar thursday january 22nd ens 45 rue d ulm 75005 salle dussane session i 9 00 10 25 mattia petrolo ip fellow ideal proofs and logical constructivity from intuitionistic to classical logic session ii 10 30 11 55 renaud chorlay ip fellow ways out of the grey session iii 13 15 14 40 paola cantu ip fellow ideal numbers and magnitudes a matter of degree session iv 14 45 16 10 andrei rodin ip fellow how mathematical concepts get their bodies the example of forcing session v 16 15 17 45 agustin rayo ip visitor towards a trivialist account of mathematics par henri galinon à 3 53 pm catégorie conferences monday january 05 2009 agustin rayo updated agustin rayo is going to give a series of lectures at the ens on possibility and content dates and venue mercredi 7 10h à 12h salle de réunion ijn lscp au 29 rue d ulm 75005 paris mardi 13 10h à 12h salle weil au programme broad content mercredi 21 10h à 12h salle de réunion ijn lscp 29 rue d ulm mardi 27 10h à 12h salle weil abstract the seminar will be on possibility and content i will argue that these two notions are closely related and cannot be understood independently of one another the core idea can be stated simply to describe a sentence s truth conditions is to explain how the world must be in order for the truth conditions to be satisfied but it has far reaching consequences i will argue that it can help address puzzles in modal epistemology ontology and vagueness the seminar will draw on material from a book manuscript i am working on which is based on the following papers a account of possibility a actualist s guide to quantifying in on specifying truth conditions vague representation for a more user friendly introduction to some of the main themes of the seminar i recommend succes by default par henri galinon à 5 19 pm catégorie conferences paul mccallion le 12 janvier 2009 le séminaire philmath accueillera paul mccallion philosophie université de st andrews the ontology of formalism ihpst grande salle 17h30 19h30 par henri galinon à 5 17 pm catégorie conference sunday january 04 2009 repha cfp je signale la naissance de la revue etudiante de philosophie analytique une revue francophone de philosophie avec comité de lecture le site de la revue est déjà en place à l adresse suivante www repha fr la revue encourage les contributions d étudiants premier numéro prévu vers mars 2009 l appel à contribution est ici par henri galinon à 5 54 pm catégorie varia thursday december 18 2008 flow chart xkcd via nothing of consequence par henri galinon à 10 02 am catégorie varia tuesday december 09 2008 science in flux 08 the colloquium science in flux 08 organized by p wagner will be held friday 12 december and saturday 13 december venue ihpst 13 rue du four 75006 paris the theme will be formal approaches to belief change and inquiry and the philosophy of science program friday 12 december 2008 9h00 pierre wagner ihpst paris keynote address 9h15 10h15 bengt hansson lund explanatory equilibrium 10h25 11h25 franck zenker lund the formalization of revolutionary theory change 11h45 12h45 sebastian enqvist lund an architectonic for scientific theory change 14h30 15h30 isaac levi columbia new york doxastic states 15h40 16h40 erik olsson lund interrogative belief change contraction and ties 17h00 18h00 hans rott regensburg defending the ramsey test for the interpretation of conditionals a constructive approach saturday 13 december 2008 9h15 10h15 emmanuel genot lille belief revision and the interrogative approach to inquiry 10h25 11h25 gerhard shurtz duesserldorf abduction and belief revision in science 11h45 12h45 hervé zwirn ihpst paris abductive logic in a belief revision framework 14h30 15h30 jaakko hintikka boston who is afraid of thomas bayes 15h40 16h40 gabriel sandu ihpst paris probabilistic reading of quantifiers par henri galinon à 5 57 pm catégorie conference thursday december 04 2008 philosophy and foundations of mathematics epistemological and ontological aspects the conference philosophy and foundations of mathematics epistemological and ontological aspects dedicated to per martin löf on the occasion of his retirement will be held in uppsala may 5 8 2009 webpage par henri galinon à 8 57 am catégorie conference monday november 24 2008 conférences duhem j elster et i ekeland les troisièmes conférences duhem société de philosophie des sciences auront lieu le vendredi 28 novembre 2008 de 13h30 à 18h30 à l ecole normale supérieure 45 rue d ulm 75005 paris en salle dussane programme 13h30 accueil par m canto sperber dir de l ens et d andler président de la sps 14h jon elster collège de france l indétermination de la théorie du choix rationnel discutants mikaël cozic ihpst greghec nicolas houy ecole polytechnique 16h30 ivar ekeland university of british columbia mathématiques et économie fécondité et limites d une formalisation discutants jean philippe bouchaud cea saclay jean paul delahaye lifl lille par henri galinon à 4 52 pm catégorie conference wednesday november 19 2008 phd s in logic here par henri galinon à 2 19 pm catégorie conference older posts home subscribe to posts atom a reader news menu events in analytic philosophy in europe esap logic tutorials homepages links labels intext 49 conferences 48 philform 28 logic 26 conference 18 blogs 16 people 14 in memoriam 10 html 6 varia 5 latex 4 deflationism 2 administration 2 software 2 philmath 1 divers the philosopher s magazine memory game logic theme blog archive 2009 15 december 1 richard craven september 1 may 4 april 2 march 1 february 2 january 4 2008 62 december 3 november 3 october 7 september 5 august 1 july 1 june 8 may 8 april 9 march 6 february 6 january 5 2007 92 december 1 november 10 october 6 september 6 july 2 june 10 may 16 april 9 march 6 february 15 january 11 2006 126 december 9 november 9 october 16 september 12 august 3 july 7 june 15 may 24 april 12 march 10 february 5 january 4 2005 47 december 6 november 9 october 16 september 15 august 1