I think my paper on Dummett, proof assistants and pluralism has shaped up rather nicely, and it will be good to see it out in the Proceedings of the Aristotelian Society in a few months’ time. You can read the preprint now.

Thanks to everyone who gave me feedback on earlier drafts, and discussed these issues along the way.

There's more to be done, but I hope to have clarified some issues around how we can think about the relationship between constructive and classical reasoning, and how philosophers might engage with what is going on in the application of dependent type theory in proof assistants, programming language design, and the formalisation and mechanisation of reasoning.

consequently.org/writing/what-…

#logic #prooftheory #typetheory #philosophy

"Do not seek to follow in the footsteps of the men of old; seek what they sought."

— Matsuo Basho

#JapanesePhilosopy #philosophy #JapaneseReligion #japan #MentalHealth #mindfulness #mindfulliving #bettermentjourney

Philosophy and mental health are deeply interconnected. The practical wisdom derived from philosophical reflection offers valuable insights and tools for navigating life's challenges. By integrating philosophical concepts into counseling, individuals can gain a deeper understanding of themselves and their experiences, fostering greater mental well-being.

#Philosophy #MentalHealth

psychologytoday.com/intl/blog/…

Exploring the Consciousness of AI Systems

A fascinating article that examines the question of whether current or future AI systems might have consciousness. The paper, titled "Consciousness in Artificial Intelligence: Insights from the Science of Consciousnesss", was authored by a team of leading researchers in the fields of AI, neuroscience, and philosophy of mind.

This is a thought-provoking and timely article that delves into one of the central questions in the field of artificial intelligence - the nature of machine consciousness. I encourage anyone interested in the intersection of AI, neuroscience, and philosophy of mind to read the full paper, which provides valuable insights and a framework for evaluating the consciousness of AI systems.

The article can be found on the preprint server arXiv at the following link:

arxiv.org/abs/2308.08708

#AI #ArtificialIntelligence #Consciousness #NeuralNetworks #MachineLearning #Philosophy #Neuroscience #FutureofAI #TechDebate #AIEthics

Coming up in the new academic year, I get to spend the semester with a fresh bunch of second-year students who are going on to learn some more logic than the first-year basics.

Like last year, in Intermediate Logic we’ll be exploring natural deduction proof theory and different kinds of models for propositional, modal and first-order predicate logic.

New this year, my Doktorvater, Prof. Graham Priest, will be joining us in the last week of classes, so we’ll have a fun back-and-forth about truth-value gaps, gluts and paradoxes to end things with a bit of a bang.

consequently.org/class/2024/py…

#logic #philosophy

Great article by vox on modern #panpsychism in the scientific setting.
It reaches a bit but the idea that base layer of reality is consciousness not matter is fascinating

vox.com/future-perfect/353430/…

#philosophy #biology

What if absolutely everything is conscious?

The theory that everything is conscious was mocked as unscientific. But new evidence shows a brain is not necessary for cognition. AI may become conscious, too.

^{Sigal Samuel (Vox)}

It's World Philosophy Day!

Here is an article I wrote on ethics and metaethics. It's for a general audience. Do share if you enjoy reading it!

psyche.co/ideas/marge-and-home…

#academicchatter #philosophy

Marge and Homer’s ice cream argument, or why metaethics matters

Metaethics is about the meaning of our moral concepts, which are so consequential for moral debates and behaviour

^{Rachel Handley (Psyche Magazine)}

I personally have mixed emotions about people who are only now waking up to the fact that on commercial social media we were never the customer we were the product. Seeing blog posts etc. from people discovering this after I've been talking about it for a few years now.

This is a tweet from 2021:

"It's typical the new media *have always* used subtle propaganda to hit emotionally. In the old days "It sold papers" nowadays it sells our information to advertisers. "

It was really obvious after reading Walter Lippmann, Jacques Ellull, Popper, John Dewey and Chomsky himself. The trick is going to be in proving Lippmann wrong.

dianoralatetotheparty.wordpres…

#Philosophy #Propaganda #SocialMedia #Mastodon #TwitterMigration

Mastodon the great leveler? Could Mastodon end up bringing democracy to the masses by finally giving us a social media platform for the people?

The role of Propaganda in social media I’ve been thinking about this a lot recently. Remembering quotes like these: “It is no longer possible to hold the simple faith of the Enlightenment tha…

^{Yet another atheist late to the party}

#introduction
I'm Artist Marcia X, photographer, film-maker, writer & scholar. My research/art is #Caribbean, #afro #Indigenous studies, #philosophy & more

I have my own content subscription, books & prints for sale. I have created many tags & practices on here like #fediblock #fedikitchen #finefemmefriday

I was a mod on the first Black ran instance that was shut down due to way too much harassment & racism

To my #firstnations #indigenous #black fedi users, wad up

Here's me as Kate Sharma

Hello new followers! I've been bad at hashtags, which are crucial here for discoverability, so here's some of them.

I try to toot interesting things related to #activism about #ClimateChange / #ClimateCrisis / #EarthBreakdown, from the perspective of #degrowth / #ClimateJustice / #sustainability. I'm one tiny part of #ExtinctionRebellion.

I build #FOSS / #OpenSource / #commons and #SmallTech using #rust and will write more about that soon.

Third, occasionally #philosophy, #anticapitalism.