Skip to main content

Search

Items tagged with: Logic


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


Oh fargh... I just realized how daunting this new venture into #Macbook territory is. I have to learn an entirely new operating system as well as an entirely new DAW. I tend to do better at this sort of thing if I have access to an ordered way of doing things, like some sort of course... lessons, etc. There's somebody I'd love to learn from despite the fact I'm stupidly intimidated by them, but I don't think I can afford the nearly $65 an hour price tag. I've just jumped off a cliff and am plummeting toward unknown waters... Help? #Blind #Musician #MacOS #Logic #Komplete #A11y #Voiceover


I'm a little puzzled at the salience that is being given to the Apple conclusions on #LLM #reasoning when we have lots of prior art. For example: LLMs cannot correctly infer a is b, if their corpora only contain b is a. #Paper: arxiv.org/abs/2309.12288

#AI #MachineLearning #logic


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


How-to: Use Logic's Built In Net Send and Net Receive Plugins youtu.be/837ApDYyH3A #Logic #LogicPro #DAW #MacOS


#AudioMo: Welcome to the Shift R trick.
I play stuff, I shift R it, I hope it’s OK.

This is a track-stack with two Keyscape sounds, the Double Felt Grand, and the Dulcitone.
Shift R in #Logic is basically like the capture option in #Ableton, IE: even when the transport is stopped, it will capture what you recorded and add it to the focused MIDI track. Doesn't work with audio.