mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.8K
active users

#logic

10 posts10 participants1 post today

I'm pleased to say that I'm helping to organise the #ANU #LogicSummerSchool , which will be running in its 33rd straight year! The website comp.anu.edu.au/lss/ is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we hope to be able to have a limited number of grants available for students to use to travel to #Canberra . #logic

Logic Summer School @ANU33rd Annual Logic Summer School @ANUHomepage of the Logic Summer School program at ANU School of Computing.

I'm excited to join the editorial board of a new diamond open access journal in mathematical logic:

ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

zml.international/

The open letter of the editors of ZML can be found online on the webpage.

More on the collective action and an editorial board walk-out that led to the creation of this new journal:
blog.tib.eu/2025/04/07/mlq-wal

Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by #Wiley) resigned and launched a new #DiamondOA journal on the same topics.
open-access.network/services/n

See the open letter announcing their resignations and plans for the new journal.
zml.international/files/zml-op

The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_.
zml.international/

I track these journal "declarations of independence" in the #OpenAccessDirectory (#OAD), and just added an entry for this one, at the bottom in chronological order.
oad.simmons.edu/oadwiki/Journa

I also track them — and discussions of them — in the Open Access Tracking Project (#OATP, @oatp).
tagteam.harvard.edu/hubs/oatp/

open-access.networkRücktritt des MLQ-Editorial-TeamsReaktion auf Differenzen mit Wiley: Gründung eines neuen Open Access Journals 
Replied in thread

@paninid fast forward to the present and scientists who barely study #philosophy label #metaphysics as #pseudoscience (forgetting what #PhD means), torment #logic for the benefit of "elegant" #math equations (e.g. antimatter, dark #matter), and design #AI #systems that weaponize #ethics as justification for #information #censorship (#ChatGPT "knows" but refuses to answer how to a hot wire a car or commit murder while claiming no #opinion, ignorant that words and actions are different)

“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”

― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦

#UKPol #Economics #Logic #LINO . You cannot prove a negative. i.) 'no action' is not = higher waiting lists? ii.) Is that money 'ringfenced' ?? That lie, #BREXIT = £300 zillion squid for the #NHS The #NHS must be staffed / resourced to the gills by now. Only it isn't. #SOSNHS .
#RachelReeves has defended the £40bn in tax increases in autumn’s budget as businesses brace for their impact, saying #NHS waiting lists would now be higher if she had not taken action.
theguardian.com/politics/2025/

The Guardian · Reeves defends Labour’s £40bn tax rise as businesses prepare for NICs hikeBy Heather Stewart

I’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics.

On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and making new ones. If you’re in that part of the world, and you’re into that sort of thing, I’d love to see you.

consequently.org/presentation/

consequently.orgPresentations — consequently.org

Higher Order Sign Relations • Discussion 1
inquiryintoinquiry.com/2025/03

Re: FB | Charles S. Peirce Society • John Corcoran
facebook.com/groups/peircesoci

Questions about the proper treatment of use and mention from the standpoint of Peirce’s theory of signs came up recently in discussions on Facebook. In pragmatic semiotics the trade‑off between “signs-of-objects” and “signs-as-objects” opens up the wider space of Higher Order Sign Relations. In previous work on Inquiry Driven Systems I introduced the subject in the following way.

When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections. They need signs referring to sign relations, signs referring to elements and components of sign relations, and signs referring to properties and classes of sign relations. The orders of signs developing as reflection evolves can be organized under the heading of “higher order signs” and the reflective sign relations involving them can be referred to as “higher order sign relations”.

References —

John Corcoran
johncorcoran.academia.edu/

Schemata : The Concept of Schema in the History of Logic
academia.edu/12691868/SCHEMATA

Use And Mention, Use Without Mention, Mention Without Use
academia.edu/s/ea64a3484e/sche

Resources —

Higher Order Sign Relations
oeis.org/wiki/Inquiry_Driven_S

Survey of Inquiry Driven Systems
inquiryintoinquiry.com/2024/02

Survey of Semiotics, Semiosis, Sign Relations
inquiryintoinquiry.com/2024/01

#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
#InquiryDrivenSystems #ReflectiveInterpretiveFrameworks
#Arithmetization #GödelNumbers #Quotation #UseAndMention

Inquiry Into Inquiry · Higher Order Sign Relations • Discussion 1
More from Inquiry Into Inquiry