#logic
Does anyone know of an explanation of the dual modality of knowledge in epistemic logic? As in, \(\Box\) is knowledge, \(\Diamond\) is ???
Boosts are welcome.
https://www.minenest.com/80517/ When your Terraria memory remembers Green King Slime. Why not. #2DMinecraft #adamchrome #AdamChromeE #help #logic #Terraria #Terraria1.4.4 #Terraria1.4.5 #Terraria2 #TerrariaAdam #TerrariaBosses #TerrariaCursed #TerrariaGreenKingSlime #TerrariaGreenSlime #TerrariaIllogic #TerrariaKingSlime #TerrariaResourcePack #TerrariaSlime #TerrariaVideos #TexturePack
Crows can use statistical logic to make decisions, a new study shows. This means they can infer the best choice based on limited information and probabilities. Crows are among the few animals that have this remarkable cognitive ability, which could help them survive and thrive in complex environments.
I’m back as a guest on a new Truth Unrestricted #podcast! This episode is about Fear and Logic — how they are related & in opposition. Why is there so much fearmongering now? And how does it relate to a 40+yearold Rush song?
Logic, like whiskey, loses its beneficial effect when taken in too large quantities.
 Lord Dunsany
Cardinality and representation of Stone relation algebras. ~ Hitoshi Furusawa, Walter Guttmann. https://arxiv.org/abs/2309.11676 #ITP #IsabelleHOL #Logic #Math
Educationoriented proof assistant based on calculational logic: proof theory algorithms and assessment experience. ~ Federico Flaviani, Walter Carballosa. https://clei.org/cleiej/index.php/cleiej/article/download/599/459 #ITP #Logic #Teaching
Took some time this afternoon to move my #Logic & #GarageBand libraries from internal storage to an external Thunderbolt 3 drive. Reclaimed about 65 GB of space in the process—which I desperately needed. #macOS
There's a lot of wisdom that took me years to get a handle on and a lot of it has to do with critical thinking and understanding how other people are trying to convince you of something. I started a "Dad Lecture" about the importance of recognizing what tools are being used for an argument and he interrupted me and said, "yeah, we learned those already: ethos, logos and pathos" and after a prompt he gave me perfect definitions of them and we analyzed some talks that one of his classes required him to listen to in terms of what they used to persuade you. He was bang on the money and I was very proud of him especially because I know that he's internalized these already. #parenting #pride #logic #humanexperience
Reason and the Reasoning Process by Davidian
https://www.answersinreason.com/?p=12776?utm_source=Social&utm_medium=Automation&utm_campaign=PAD
#Logic #Philosophy #Rationality #Reason #Reasoning
A common path to virality (not just on this website) is to show how a group’s professed values leads to a conclusion that that selfsame group tends to reject/ignore. Examples are plenty.
Bertrand Russell may have liked this logical provocation game: “My desire and wish is …to start with something so simple as not to seem worth stating, and to end with something so paradoxical that no one will believe it”. https://www.amazon.com/dp/B015X451NI/ref=cm_sw_r_as_gl_api_gl_i_76JFMFW0KZHC6E3BEQ1N?linkCode=ml1&tag=byrdnick20
It is by logic that we prove but by intuition that we discover.
 Henri Poincare
Today’s pro tip on debate:
When you make a complex claim and are challenged on it, a normal response is to start by picking a core portion to defend.
This is not a Gish gallop. That entails retreating to a new set of claims, as opposed to initially focusing on one part of them.
Likewise, if you make a claim but it’s misunderstood, clarifying that claim is not moving the goalposts. Your claim hasn’t changed; your opponent never understood it in the first place.
Think of it as the Halting Problem. It's really the Liar Paradox. If the program halts, then it doesn't, and if it doesn't halt then it halts. It's Both! It halts and it doesn't. This is easy to understand in #RM3, where "Both" is a valid logical value different from either true or false.
Binary logic is bad. But don't worry! It turns out that you don't need to go beyond 3. A 3valued logic, True, False, and Both, is complete. What about Gödel? Yeah, he showed that binary logic sucks, and then came up with a 3valued logic that solves the problem mentioned in the Incompleteness theorem. He said, it's either inconsistent or incomplete. Turns out, completeness is a far better property than consistency. Because the world (and the reals) are inconsistent. There are things that are both true and false #dialethism #paraconsistent #logic #turing
I'm stumped:: Has *anyone* tested the benefits of teaching people to make truth tables?
Has it improved people's performance on any test of logical competence?
A concise report of a controlled experiment would be great, but I'm interested in whatever anyone has found.
(I have yet to find experiments testing whether teaching people to make truth tables has benefits. It's been easy to find experiments testing whether teaching people to make argument maps aids reasoning.)
https://www.minenest.com/78368/ Finding the Terraria world seeds with Naturally generated Enchanted Sword ─ In cavern, not in shrine #2DMinecraft #adamchrome #AdamChromeE #EnchantedSwordWorldSeed #help #logic #Terraria #Terraria1.4.4 #Terraria1.4.5 #Terraria2 #TerrariaAdam #TerrariaEnchantedSword #TerrariaEnchantedSwordSeed #TerrariaIllogic #TerrariaMod #TerrariaModded #TerrariaSeed #TerrariaVideos #TerrariaWorld #TerrariaWorldSeed #TerrariaZenith #tmodloader
I'm having ice cream for lunch because I can't have cake. #logic
I should write a #TheoremProver in #Go.
For the record, I have no idea what I’m doing, how they work, or where to start, but I’ve got an idea that needs one as a component. That’s why I should write one.
#StephenLaw  Why Is There Anything At All?
https://www.youtube.com/watch?v=tMheYHtgg68&ab_channel=CloserToTruth
#Philosophy #Cosmology #PhilosophyOfCosmology #Universe #BigBang #Time #Being #Existence #Metaphysics #Contingency #Causation #Questions #Logic #Nothing #Nothingness #CloserToTruth #RobertKuhn
Is it easy for you to play? I like it, it shows how good your logic is 🧐
»Rush Hour  Online Play«
🚗 https://www.thinkfun.com/rushhouronlineplay/

#game #logic #gameforkids #physics #online #onlineplay #cars #game #know
📢 🎬 🧠 We're premiering the 1st of 7 sets of FREE videos from "A Beginner's Guide To Neural Mechanisms".
Now even precollege students can learn about #neurophilosophy!
Today's 2 topics:
 #Neuroscience of #FreeWill
 The #MereologicalFallacy
This was a joint project between the #BrainsBlog and #NeuralMechanismsOnline funded by the #TempletonWorldCharityFoundation via #DukeUniversity's Summer Seminars in #Neuroscience and #Philosophy.
And also a #CallForPapers for #WoLLIC #WoLLIC2024 (Workshop on Logic, Language, Information and Computation) in Bern: "an annual international forum on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning" https://wollic2024.inf.unibe.ch/ #logic
#CallForPapers is out for #LICS #LIC2024 (Logic in Computer Science) in beautiful Tallinn: "an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed" https://lics.siglog.org/lics24/ #logic
The #BiasFallacy may be as prevalent as it seems:
By 2017 I had seen so many fallacious objections predicated on "bias" that I ended up labeling them "bias fallacies" (e.g., inferring someone's argument, conclusion, or evidence is wrong from someone's apparent bias): https://byrdnick.com/archives/11072/thebiasfallacy
In 2023 a paper found that bias fallacies were the most frequent ad hominem attacks in hundreds of paragraphs written by think tanks between 2008 and 2020: https://doi.org/10.1080/14693062.2023.2245792
I've been thinking about constructive/intuitionistic modal #logic these days. Is there any good reference for this which is not Alex Simpson's PhD thesis?
Especially interested in explanations of the diamonds (there's a recent paper by Das and Marin which is quite interesting, but I couldn't find much more information).
https://www.minenest.com/76115/ Messing around with Quad Barrel Shotgun in Terraria ─ ∞ speed and all that illogics… #2DMinecraft #adamchrome #AdamChromeE #help #logic #Terraira #Terraria #Terraria1.4 #Terraria1.4.4 #Terraria1.4.5 #TerrariaAdam #TerrariaBoomstick #TerrariaCursed #TerrariaGun #TerrariaIllogic #TerrariaQuadBarrelShotgun #TerrariaShotgun #TerrariaVideos #TerrariaWeapon
The existence of Kylo Ren implies the existence of Kylo Stimpy.
Venn diagrams you learned in school probably didn't include everything. But there ARE such things as CLOSED SETS. Things with boundaries, potentially thick ones, representing uncertainty or vagueness in set membership. And you can build a logic from closed sets.
Notice too, that \( (A \wedge\lnot A) \) is different from \( (B \wedge\lnot B) \). In binary logic, all inconsistent sets are indistinguishable. But here, in the picture for \( A \wedge B \), instead of just the usual 4, there are an additional 5 regions (the two on the sides are the same set, but disconnected).
https://www.minenest.com/74043/ Play Terraria with the Guaranteed Monster Drop for fewer grinds!? #2DMinecraft #adamchrome #AdamChromeE #help #logic #RodOfDiscord #Terraira #Terraria #Terraria1.4 #Terraria1.4.4 #Terraria1.4.5 #TerrariaAdam #TerrariaDrop #TerrariaIllogic #TerrariaLuck #TerrariaMod #TerrariaModded #TerrariaRareItem #TerrariaRoD #TerrariaRodOfDiscord #TerrariaVideos #tmodloader
I posted a list of corrections to the proof theory book: https://richardzach.org/2021/08/anintroductiontoprooftheorynormalizationcuteliminationandconsistencyproofs/ #logic #proofTheory
#Security (data branchs and how to secure your data)
Data cannot be secure, if you share it.
If you don't share any information,
about you and don't leave your house,
You are almost secure.. from what.. tell me, from what?

#Evil Intentions, the root of all #religions principles.
So, since we live in a world that we share information,
we know that any kind of information can be used for any kind of intention.
If there is no "evil" intention, data can flow without being secure,
And all security repositories and articles, always share the evil approachs,
while mostly they hide the "angelic" approach. (defensive)

Like the Military problem without computers, is in where they are focused in. (main gold)
Military like to control, while they find problems in every road. Is their skill, their intention.
They focus on the probability and therefor they find it in Time. (dream high)
When someone cannot find what he/she is looking for, they try to create the condition in reality.
Therefor, most countries in the world, train the persons who are against them (mostly)
Since most countries are "stoped in time" in the techniques they use, to teach or reach. (the gold)

No, I am not military and I didn't had a second experience about it, but I can imagine it,
using what I already know, by what I can see and read.
So, if I say stupid things, I have that right, because I don't know!! #logic
So, if you know the main intention to use military actions and you do stupid things, you shouldn't! Logic

They are like "bad lovers",
always fighting to own what is from all. They forget that, we can only possess our own life in Time. Stay in your countries. Fight against your self, while educating..
so better to not fight against! ;)
if you wish to educate, and guarantee they will stay. Prisonairs can learn, they are not stupid.
Like Bart from Simsons, he need to repeat the lesson he need to fix, several times, until the information is saved in memory.
Then, memory is what control actions. For that you don't need, guns and any kind of military intention. Only self control.
Isn't what you dont' speak? I think everything is very secure, while I see the source of insecurity in the security subject.

Now that you have so much control of everything, we can choose some deserts in mexico for example, so you only soldiers fight against each others.
No civilian there, and maybe all soldiers can have a lucky moment to see ETs ( all at the same Time )
Which event, would create union between all, and #war would be forgotten.
But since you like to report all, Roman inspirations see that super fair as a #justice approach. Full of Ethics and Moral values. A demonstration where warriors fight only other warriors who wish to fight. Same intention, same objective, excluding everyone else. Perfect! #Russia #China #USA #Ukraine #palestine #israel

Needed to all kind of societies in the #world.

The security path in the red team way, is like a life that knowns and talk with the "criminal" ones,
They use #tools to #exploit, "criminals" use them too. But the funny part is:
both do the "criminal" action, so both are "criminal".
While developing new tools and share them publicly, can be even more "criminal".
I am not sure if "criminal" groups who have real #weapons, did knew how to build them from scratch,
So guess who gave them those :) .. or sell, it doesn't matter.

But the #truth is, that each need to feed their own illusion, to create what they wish, in reality.
Considering using a term that every children like: #Fantasy

Monkey Fantasy aims to create good mood to all, not to fight against anyone. Sometimes I think that, it looks that many others, deny that possiblity, so yeah, that will never be possible, because many deny that possibility. Which is #funny!

https://art.odicforcesounds.com/pages/Data/Audio/Shamanic_Quest_Dream/tracks/02_We_Bring_Fire/index.html #monkey #music
A naive prover for firstorder logic: A minimal example of analytic completeness. ~ Asta Halkjær From, Jørgen Villadsen. https://link.springer.com/chapter/10.1007/9783031435133_25 #ITP #IsabelleHOL #Logic
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2023/09/15/logicalgraphsformaldevelopment1/
Recap —
A first approach to logical graphs can be found in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logicalgraphsfirstimpressions/
That introduces the initial elements of logical graphs and hopefully supplies the reader with an intuitive sense of their motivation and rationale.
Formal Development —
Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.
The next order of business is to give the precise axioms used to develop the formal system of logical graphs. The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”. The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
Argument map training made students more likely to generate more arguments *against* a (new) topic. The experiment was semesterlong study of nearly 200 Chinese college students.
https://doi.org/10.1007/s10639023120985
“The Dialectical Map (DMap) is an opensource online visualization tool …that can be integrated with Learning Management Systems like Canvas…”
#edu #higherEd #teaching #Logic #CriticalThinking #LMS #EnvironmentalEthics
Thomas Kuhn's ideas (The Structure of Scientific Revolutions) , in fact, were less surprising than controversial. A richer discussion of the social dynamics of science can be found in the work of Otto Neurath (here cited by Zolo), or in LeviStrauss "The Savage Mind". It dosn't matter what Popper said, the Conventionalist and Historicist view is rich, the "logic of science" and methodology is poor. #philosophy #science #logic #methodology
I just saw the most terrifyingly illogical post about a social issue. Please. PLEASE don't post about your favourite issue in an irrational manner. You're not helping your cause and you're making your own viewpoint seem irrational by association.
#rant #logic #thinkBetter #communicationSkills #logicalFallacies #fallacy
"Argument strength discrimination ability correlated positively with analytic thinking dispositions".
One factor predicted *worse* argument strength discrimination despite also predicting *more* familiarity with argument analysis and *better* 'analytic thinking performance'. Why would *anything* predict that pattern?
(The factor was "male gender", but that's not what I find interesting about the result.)
***LAST EDITED*** 2/9/23
#AUR
#AboutConfig
#AnnaMadrigal
#Arch
#ArchInstall
#ArchLinux
#Archie
#Archies
#Atheism
#AusPol
#Beatles
#Biodiversity
#BirdMakeup
#CSLewis
#ChangeTheSystem
#ClimateChange
#ClimateCrisis
#DarwinAwards
#Debian
#Distrobox
#DoctorWho
#DouglasAdams
#DrHelenMagnus
#EnidBlyton
#FOSS
#FamousFive
#Fascism
#FediTips
#Fedia
#Fedora
#Firefish
#FirefishBugs
#Firefox
#FirefoxBeta
#FirefoxNightly
#Firejail
#Friendica
#FriendicaHelp
#fsckALLreligion
#FsckChristoFascists
#FsckRWNJs
#FsckThePatriarchy
#FuckAroundAndFindOut
#Gaia
#GilmoreGirls
#GlitchSoc
#GlitchSocial
#GnuCash
#Grammar
#Greens
#HHGTTG
#HumanRights
#JRRTolkien
#KDE
#KDEPlasma
#KMyMoney
#Kbin
#Kinoite
#LauraTingle
#Lesbian
#LibreOffice
#Linux
#LinuxWomen
#Logic
#MichaelWestMedia
#MicroOS
#Misanthropy
#Misdirection
#Misogyny
#MontyPython
#MontyPythonsFlyingCircus
#MostlyHarmless
#MrsMadrigal
#Narnia
#NationStates
#Nihilism
#openSUSE
#Overshoot
#Penguinistas
#Plasma
#PostOp
#ProgIndies
#PulseBrowser
#RWNJs
#RedFireAnts
#RenewableEnergy
#RightToProtest
#RippingYarns
#searX
#Semantics
#Sidebery
#SlowMode
#StateCapture
#SteamEngine
#SteamLocomotive
#SteamLocomotives
#TheDoctor
#TheLordOfTheRings
#TheSpanishInquisition
#TreeStyleTab
#Tumbleweed
#UserJS
#VM
#VPN
#VerticalTabs
#Vivaldi
#VivaldiBrowser
#VivaldiSnapshot
#VivaldiStable
#Wayland
#WeAreSelfishCruelBastards
#WeAreTotallyFscked
#Whimsy
#Whovians
#WindowRules
#Xfce
#YellowCrazyAnts
@tagAUR@relay.fedi.buzz
@tagarch
@tagArchLinux@relay.fedi.buzz
@tagDistrobox@relay.fedi.buzz
@tagFriendicaHelp@relay.fedi.buzz
@tagfsckALLreligion@relay.fedi.buzz
@tagFsckChristoFascists@relay.fedi.buzz
@tagFsckRWNJs@relay.fedi.buzz
@tagFsckThePatriarchy@relay.fedi.buzz
@taghhgttg
@tagKMyMoney@relay.fedi.buzz
@tagLinuxWomen@relay.fedi.buzz
@tagMontyPython@relay.fedi.buzz
@tagMostlyHarmless@relay.fedi.buzz
@tagPenguinistas@relay.fedi.buzz
@tagPostOp@relay.fedi.buzz
@tagWeAreSelfishCruelBastards@relay.fedi.buzz
@tagWeAreTotallyFscked@relay.fedi.buzz
@tagWhimsy@relay.fedi.buzz
I am no God, no Deity, just a Monkey.
#Israel + #Palestine + #Ukraine + #Russia + ... Monkey Teachment for #Children and older...

1. There is a #Garden with one single flower. If no one owns the Flower, the Flower is from everyone. If one single person / group / country own it, all others are excluded. Then, even within children, fights start because "everyone can wish to possess the Flower.
2. If you ask to 3 #random persons to describe with their own words, this single post ( you can repeat the experience as many times you like ), all the description are different from each others. Therefor, all #books about " #God " point to the same direction while all of them use different descriptions, which means, they all have the same "truth", since all of them talk about #human behaviors, nothing more. Good teachments !!! In all of them!!

I like the #Daoism perspective and interpretation, in many aspects of what we can extract #knowledge from it:
Fantasy: abstraction, illusions, potentional, possibilities, #dreams
+
#Logic: tools that can be used in reality to produce what " #Fantasy " can see
=
Application: As you can see / read, this #application called #mastodon was somewhere in Time, pure " fantasy "

That is the #Style of God: is what we became, is what we do, is what we create, by our unique and #DIVINE characteristic : Will
The Power of Will... Nothing More!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

We could live in a #world that was very similar to the idea of #Paradise, but if humanity doesn't have the WILL to create it in #reality, then they will only find what they wish to find! ;)
....
https://art.odicforcesounds.com/pages/Data/Audio/Path_Of_Shields/tracks/03_The_Possession_of_Will/index.html #Monkey #Music
... ( I am Music  The #Perfect Bomb )
... don't #hurt anyone and can #touch everyone! ;)
Do any #philosophy or #logic people know of a good formal treatment of Yablo’s views on ‘immanent’ knowledge closure from his "Aboutness”? The book does not seem to entirely spell out his intended semantics for knowledge ascriptions, but I would be curious to know if others have worked this out.
#aboutness
#subjectmatter
#knowledge
#closure
#intensionality
#hyperintensionality
@philosophy
Christian List, presenting his argument against physicalism, as the conference opening session for #SIFA2023.
I am learning that on Mastodon one should use hashtags to tag posts with topics. You can subscribe to a hashtag, and please consider tagging your posts. When you type a hashtag, say #logic, it tells you how many posts the tag receives per week, so you can subscribe in an informed way.
Here is an idea I have been toying with occasionally, which someone must have thought of before and studied it. I would be interested in knowing of relevant references, or just buzzwords that I should enter into Google.
Consider a theory T in some formal system F. Define M_T(n) to be the number of models of T of size n, up to isomorphism, and call it the model sequence of T.
What sort of sequences are model sequences? The answer probably depends on what we take T to be. We can also ask, for instance, which sequences are model instances of an algebraic theory (firstorder singature + equations), or of a theory with a single relational symbol etc.
We can also study the asymptotics of model sequences. For example, the model sequence of a theory with a single unary function symbol is O(nⁿ).
This could be a cottage insdustry, so perhaps it is? Have I reinvented the wheel?
Fun puzzle: give a firstorder theory whose model sequence is 0, 1, 2, 3, 4, ...
For a medical & caretaking project, I experimented with combining symbolic #logic with #LLMs to mitigate their tendency to nondeterministic behavior and #hallucinations. Still, it leaves a lot of work to be done, but it's a promising approach for situations requiring higher reliability.
Mechanising Gödel–Löb provability logic in HOL Light. ~ Marco Maggesi, Cosimo Perini Brogi. https://www.researchgate.net/publication/373491652_Mechanising_GodelLob_Provability_Logic_in_HOL_Light #ITP #HOL_Light #Logic
Are you a philosopher with expertise in logic? Are you up for moving to Scotland? If so, here’s a job for you: our colleagues in Glasgow are advertising a lectureship in logic. Please spread the news to folks you think might be interested.
FOLLE: Teaching firstorder logic to children. ~ Simon Vandevelde, Joost Vennekens. http://simonvandevelde.be/static/publications/FOLLE.pdf #Logic #Teaching
#CallForParticipation to the long running #ANU #Logic Summer School https://comp.anu.edu.au/lss/ , which "offers a two week long programme of lectures on mathematical, philosophical, and computational aspects of logic... primarily geared at late undergraduate and masters students". Alongside the usual cast of Australiabased presenters we have three international presenters, including @ohad . I will be delivering lectures on the relationship between logical propositions and #types
My dad Daniel Louis (Steel Pan Player) released his debut album in the 90's, and with young ears, I thought it was all great. 'He was famous, he was my dad and he was on CD'! As it turns out with grown up ears, *none* of the mixes are particularly nice, and so in 2023 I asked him if I could try my hand at mixing one of my favourite tracks from the album, Congo.
Here's a 12minute comparison between the official CD mix and mine, which I did using all stock #Logic plugins. Since Mastodon will inevitably screw up the audio in this, here's a dropbox link to the same file if you wish to listen offline: https://www.dropbox.com/scl/fi/d4fe6kxm35fb68kfkq1tf/CongoMixComparison.mp3?rlkey=eqasqs5x7t5n8u2kx0bhc4q4o&dl=1
My article with @LogicalAtomist on where we get the disjunction symbol ∨ from is now officially out in the Review of Symbolic Logic. Open access, read it here: https://doi.org/10.1017/S1755020321000587 #logic #history #histsci #histmath
Type theory for logic and mathematics (A philosophical and mathematical introduction to type theory). ~ Kevin Davey. https://bpbusw2.wpmucdn.com/voices.uchicago.edu/dist/5/3515/files/2023/07/Monograph07.09.23.pdf #Logic #Math #TypeTheory
@Robert_R_Freitag_II Oh dear, I do believe you're doing a logical fallacy! No other way to characterize answering the question "Why do you think a political movement that's against welfare and minimum wage increases would support UBI" with "So your idea is that there should be one single policy that solves everything? That unless there is one complete solution for absolutely everything available instantly and all at once, it means nothing?".
Unless I'm missing something, this is a classic #StrawMan by way of a #FalseDichotomy. #logic
@opendna @GhostOnTheHalfShell @paninid @mhanson101 @tzimmer_history
Propositions as types: explained (and debunked). ~ Lawrence C. Paulson (@LawrPaulson). https://lawrencecpaulson.github.io//2023/08/23/Propositions_as_Types.html #Logic #TypeTheory
Finding mathematical proofs using computers. ~ Alexander Bentkamp, Jasmin Blanchette. https://www.tcs.ifi.lmu.de/mitarbeiter/jasminblanchette/naw52023242114.pdf #ATP #Logic
@rbreich Also for what does he get 800x the amount of the workers' pay?
He isn't going to generate an equal amount of revenue or profit that makes him 800x more productive...
Even #Capitalists should see this #logic ...
One question for music composers: how do you work with leitmotifs inside your favourite DAW (regardless of the DAW you use)?
What I'm doing myself is the following: I work on a single project file (in Logic) with multiple tracks and different sounds/instruments that are muted, with all the specific leitmotifs I want to use, so I can just copy & paste from track to track. But I'm sure there must be a better way for doing so. Any help?
Complexity Theory’s 50Year Journey to the Limits of Knowledge: How hard is it to prove that problems are hard to solve? Metacomplexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers. https://www.quantamagazine.org/complexitytheorys50yearjourneytothelimitsofknowledge20230817/ by @benbenbrubaker in @QuantaMagazine #logic #compsci #complexity
This text book looks great!
https://openlogicproject.org/2023/07/27/forallxnowinhtmlforextraaccessibility/
Good old fashioned logic is a great addition to your critical thinking skill set.
(P.S. In a past life (HAH!) I was a math student.)
ProofBuddy: A proof assistant for learning and monitoring. ~ Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen. https://arxiv.org/abs/2308.06970 #Logic #Teaching #IsabelleHOL #ITP
EduSAT: A pedagogical tool for theory and applications of boolean satisfiability. ~ Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson. https://arxiv.org/abs/2308.07890 #Logic #SAT_Solver #SMT
Formally verifying algorithms for real quantifier elimination. ~ Katherine Kosaia. http://reportsarchive.adm.cs.cmu.edu/anon/anon/usr/ftp/home/ftp/2023/CMUCS23130.pdf #ITP #IsabelleHOL #Logic #Math
has anyone written up an explanation of Yoneda in terms of logic? in particular it seems like a “metatheorem” about category theory with a similar kind of structure (and implications) to cut and identity admissibility as metatheorems about logics. is there anything there?
Update. The book = 𝘗𝘢𝘳𝘢𝘥𝘰𝘹 𝘰𝘧 𝘚𝘦𝘭𝘧𝘈𝘮𝘦𝘯𝘥𝘮𝘦𝘯𝘵.
* HTML (#OpenAccess)
https://dash.harvard.edu/handle/1/10243418
* PDF (also OA)
https://dash.harvard.edu/handle/1/23674879
If you don't have time for a book, here's an essaylength summary (also OA).
https://dash.harvard.edu/handle/1/4727453
Why does this question deserve a book? I address that in the "Why Bother" section of the preface.
https://dash.harvard.edu/bitstream/handle/1/10243467/Peter%20Suber%2c%20Paradox%20of%20SelfAmendment%2c%20First%20Preface%20FIXED.html?sequence=1&isAllowed=y#why
Yes, this book is related to #Nomic, my game of selfamendment.
https://en.wikipedia.org/wiki/Nomic
The Raven Paradox is posted! Another math birb in the series.
Do you have a favorite bird you'd like to see?
#mathArt #math #birding #logic #scientificMethod #paradox #raven #adobeFresco #digitalPainting #mathbirb
Pichler, A. & Säätelä, S. (2006). Wittgenstein: The Philosopher and his Works. Berlin, Boston: De Gruyter. https://doi.org/10.1515/9783110328912 #OpenAccess #OA #History #Histodon #Histodons #Philosophy #Language #Languages #Logic #Philosophers #C20th #20thCentury #Biography #Book #Books #Bookstodon #Ebook #Ebooks @philosophy
@histodon @histodons @bookstodon (12)
@ben Thanks so much! I already made an #accessibility page https://forallx.openlogicproject.org/html/A4.html so that SR users can easily compare the pronunciation of #logic symbols with what they should be pronounced (since I guess trying to get screen readers to pronounce ⊢ as "proves" and not "right tack" is a losing proposition). I just have to find myself a Windows machine and a Mac (and some time) and test it out with JAWS, NVDA, and VoiceOver
Hi, philosophy friends! One of most difficult concepts for my community college logic students is that of deductive validity, where an argument’s structure and not its content becomes paramount. Have you developed a strategy for helping students really grasp the meaning of “valid”?
#logic #philosophy #teaching #validity
I plan to post this later to my blog. Here is my raven with the raven paradox #mathart #mathbirds #birds #birb #birdwatching #paradox #logic #bayesian
The #open #logic textbook forall x: Calgary (original by @News4wombats) is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook https://openlogicproject.org/2023/07/27/forallxnowinhtmlforextraaccessibility/
@kcarruthers well if you fail to edumacate people that's bound to be the result innit? #logic
What is the value of N, such that if N is a prime number, all numbers are prime? @bengoertzel gave me this puzzle as an example of how #ChatGPT is weak on classical #logic, but I suspect it will be a challenge for many humans, too.
@dgar It’s not irrelevant, because the joke proves that there will NEVER be a #TimeMachine (other than the one we’re living in right now, which only goes forward in time 🕰️). Otherwise, we would be frequently inundated with visitors from the future! 😂 #science #logic
This free book is part of 2022's Year of Prolog, which celebrated the 50th anniversary of the first logic programming language. Its 31 chapters cover Prolog's state of the art and future. Free to download as pdf or epub. #prolog #ai #logic #prolog
https://link.springer.com/book/10.1007/9783031352546
#'LogicEase' is a new venture aiming to make using #Logic Pro easier to use for #blind and visually impaired users. Find out more here: https://logicease.org/blog/
Duped by association?
"individuals of lower cognitiveability level [we]re more susceptible to #misinformation in general, [but] those of higher cognitiveability level [we]re more susceptible to associatively inferred misinformation. Different from the idea that misinformation is attractive to “lazy” people, our study implies that...."
Sample sizes of 7001500 mTurk workers: https://ojs.aaai.org/index.php/ICWSM/article/view/22166
#Logic #CriticalThinking #DecisionScience #CogSci #SocialMedia #Journalism #DualProcessTheory
Neurology Fuels Bigotry
but it doesn't have to.
We can stop the hate.
https://tube.xyspace.de/w/wXZLRkd49Z7FMNochhhw3C
#RespectYoungAdults #Neurology #teens #teenagers #rights #respect #YoungAdults #puberty #adolescence #Puritan #SexPhobic #Tradition #SexPhobia #StopTheHysteria #StopTheHate #brains #BrainDevelopment #SexualDevelopment #Evolution #Logic #Maladaptive #deficient #BodilyAutonomy #Agency #DeficientBrains #Undeveloped #FrontalLobe #PrefrontalCortex
The one thing of which each person can be most certain is the existence of their own subjective selfawareness.
This is also the one thing that it's least possible for any person to prove beyond doubt to anyone else.
#philosophy #TheoryOfMind #consciousness #logic #thinking #cognition #weird
Baby steps. Just tried recording four bars of vocals from a track that’s at the very edge of my vocal range, and it was… OK? Natch, I’m going to need a little help from Flex Time and a few effects, but the end result sounds natural.
I’ve a *long* way to go with this album still, but the past 15 minutes just made me really happy.
Here's a story that provides many more details about Final Cut Pro and Logic Pro on iPads.
https://www.macstories.net/news/finalcutproandlogicproarecomingtotheipadonmay23rd/
Time to add a couple new ones:
iPadOS hover
Magnetic power cables
The new pro iPad apps: #Logic and #FinalCutPro
Hi! I am a philosopher and logician, and if you would like to understand the kind of work I do, the easiest way to get up to speed is to start with my little slip of a book “Proofs and Models in Philosophical Logic”. https://consequently.org/writing/pmplelements/
Many articles and blog posts cover the ability of an #LLM like #ChatGPT to write convincing prose, and the problems this may raise in #education. Has anyone run across a piece of writing on using these models to solve #programming problems and compose source code? I'm interested in getting a more holistic view of what they can and can't do, with regard to programming #logic. Thanks!
Sounds a bit like Gödel's incompleteness theorem… "there are true propositions about the natural numbers that can be neither proved nor disproved from the axioms."
https://en.wikipedia.org/wiki/Kurt_Gödel #Math #Maths #Logic #Godel