Shawn Standefer

@standefer

Philosophical logician at the University of Melbourne. (he/him)

Vrijeme pridruživanja: srpanj 2008.

Tweetovi

Blokirali ste korisnika/cu @standefer

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @standefer

  1. Prikvačeni tweet
    23. kol 2018.

    Riccardo Bruni (Florence) and I edited a special issue of the JPL on revision theory, to commemorate the 25th anniversary of the publication of Gupta and Belnap's Revision Theory of Truth. I'll link the articles in this thread

    Prikaži ovu nit
    Poništi
  2. prije 5 sati

    I think I have to really learn metavaluations to proceed with an idea I'm working on

    Poništi
  3. proslijedio/la je Tweet
    Poništi
  4. 3. velj

    Does the deduction theorem fail for modal logic? — Hakli and Negri in Synthese

    Poništi
  5. proslijedio/la je Tweet
    1. velj

    International education is our fourth-largest export. Just under a third of onshore international students are Chinese. 121k people work in the Higher Ed sector in Australia; 3x the number mining thermal coal. The difference in how we talk about these industries is...interesting.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    30. sij

    Huge volume on conceptual engineering, available totally open-access:

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet

    Dr. Seth Lazar from the Australian National University is looking for a research fellow to work on his "Moral Skill and Artificial Intelligence" project. Apply today!

    Poništi
  8. proslijedio/la je Tweet
    30. sij

    Stunning thread about plans for Australian companies to *ramp up* their fossil fuel extraction operations. To openly and proudly work to expand something that we know with absolute certainty is leading to immediate harm to human life is so wild.

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    29. sij

    Hey! Look at that! My third book seems to have been published. It surveys work using game theory in biology and philosophy of biology.

    Poništi
  10. proslijedio/la je Tweet
    29. sij

    "I f*cking love Science" —G.F.W Hegel

    Poništi
  11. proslijedio/la je Tweet
    7. kol 2019.

    Adventures in tea {\__/} ( • . •) / >☕️ i make cup of tea {\__/} ( • . •) /📰\ i forget cup of tea ☕️ {\__/} ( • . •) / >🔥 reheat cup of tea {\__/} ( • . •) / ^^\ 🍵 forget tea in microwave {\__/} ( • . •) / >🥃 drink whisky instead

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet

    THERE COULDN'T POSSIBLY EXIST A PERFECT GIF THAT FILLS YOUR HEART WITH HAPPINESS AND J...😭❤❤

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    26. sij

    Who here realises the ENORMOUS privilege that the use of English as an international science & publishing language conjures on native English speakers in academia?

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    27. sij

    Aaaaand it's a wrap! 'The Dialogical Roots of Deduction' now exists in full, in all its 115.870 words. Sending the full manuscript to publisher later today with much trepidation: hard to let go of smt I've been working on for so long. Here's the draft:

    Prikaži ovu nit
    Poništi
  15. 27. sij

    Unusual number combo from logic: there are continuum many intermediate propositional logics and Maksimova proved that exactly 8 have the interpolation property

    Poništi
  16. proslijedio/la je Tweet
    23. sij

    Pre-2010, 50g of crack-cocaine got you a mandatory minimum 10 years in prison. Post-2010, that threshold was raised to 280g, which resulted in this .... uhhh suspicious drug seizure graph. h/t

    pre 2010, pretty reasonable power law graph
    post 2010, pretty reasonable power law graph, except for a huge spike right at the 280g threshold
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    26. sij

    Are there cool papers in display-logic-land other than Belnap and ’s? I’ve had a fun idea for a paper explaining how to turn Hilbert systems in Display calculus and then turn the display calculus into semantics. But I wanna make sure I’m not reinventing.

    Poništi
  18. proslijedio/la je Tweet
    26. sij

    I've been teaching from this and it's really good. It's a bit higher level than the class I'm using so I edited it and supplemented it. But the existence of books like this is part of why I can keep my textbook costs under $20/course, and often have no textbook costs.

    Poništi
  19. proslijedio/la je Tweet
    15. ruj 2019.

    “Wow, this is all great! Just one thing though, how do you verify the verification principle?”

    Poništi
  20. proslijedio/la je Tweet
    26. sij

    its about time we treat ourselves better. not everyone circling your orbit is your friend; some people just want to take. It’s 2020 and the world is collapsing, I do not have any time for fake friendships

    Poništi
  21. 26. sij

    Boxes and Diamonds. An Open Introduction to Modal Logic by

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·