#logic

[Vast Logic] vvae 新版本内置全新的 logo

Vast Logic - @vastlogic - https://i.imgur.com/O0RQR8g.jpeghttps://i.imgur.com/gbxOyvd.jpeg

V2EX · ZH

Will the Real Higher-Order Logic Please Stand Up?

Abstract: In this work-in-progress talk, I will attempt to clarify some of the issues surrounding second- and higher-order logics. How should we understand the relationship between the proof-theoretic inferentialist presentations of such logics and their model-theoretic truth conditional semantics? I will argue that in an important sense, the so-called full semantics for second- and higher-order logics is too strong, and that a wider class of models is not only necessary, but is mathematically and philosophically desirable. The good news: such a class of models already exists and is well under

Kagi Small Web · EN

Show HN: Solvedle – daily logic puzzles with unique solutions

Three logic puzzles every day: a Tango-style sun & moon warm-up and two Star Battle (Queens-style) grids. Free, no sign-up, about 5 minutes.

Show HN · EN