Search

Items tagged with: philosophy


I've been thinking about creators and distributors. picture a woodworker who crafts a perfectly balanced, minimalist chair. a furniture store loves it and starts selling it. but, to "match their brand", the store paints every chair bright green

customers see a green chair. they don't know the store painted it. they just assume the original artisan loves making bright green chairs. the creator's original intent and aesthetic are completely lost in translation, and their reputation is now tied to a choice made by someone else

this happens so often in FOSS. upstream developers create the "wooden chair", and downstream distros often paint it "green". there's nothing inherently wrong with that, but it creates a gap where users blame the artisan for the paint job. it makes you think about where creative ownership truly lies

#FOSS #OpenSource #Philosophy #UserExperience #UX #Upstream #Downstream #DigitalOwnership


Child B: "Why are people happier the smaller [younger] they are?"
Child A: "Because everything looks so much bigger to them. Biscuits are huge, cookies are like mountains! A bread roll or a slice of cake is massive. If you're big all those things are so much smaller, and you get less."

#parenting #philosophy


Just finished the latest book by Richard Powers called "The Playground". Wow, if you are into #ai #philosophy and good fiction, you may want to read this as well... Those of you who read his earlier "The Overstory" may guess what you would be signing up for. His writing and snorytelling is absolutely amazing! #literature audible.com/pd/B0D3WKKT9B?sourโ€ฆ


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


I've been checking out a fair bunch of videos by the YT channel "#Revolution and #Ideologyโ€. They succinctly put what they do in their About as: "Jared (#History) and Nick (#Sociology) discuss history and theories related to revolution and #SocialChange." What I appreciate is that they have conversations about source texts through quotation, not simplified summaries. #Philosophy #Anthropology
youtube.com/channel/UCB9N6fHt-โ€ฆ


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






New on mastodon, time for an #introduction!
I'm eqyo from the Netherlands ๐Ÿ‡ณ๐Ÿ‡ฑ, I'm in my twenties and studying #mathematics & #computerscience. I am also: a semi-agnostic churchgoer โ›ช, not exactly straight but still figuring things out ๐Ÿณ๏ธโ€๐ŸŒˆ, and very much into #classicalmusic ๐ŸŽป.
(Expect the frequency of emojis and hashtags to drop drastically after this post)
I see myself posting about my life, about #philosophy & #politics, maybe about some #foss-related stuff...


โ‡ง