Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Logic
⚖️ Logic
Broad
Formal Systems, Reasoning, Proofs, Symbolic Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
34
posts in
7.0
ms
The Modal
Logic
of Forcing and
Set-theoretic
Potentialism, Peking University lectures, June/July 2026
💭
Philosophy of Mind
jdh.hamkins.org
·
3d
3 days ago
Actions for The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026
Russell's
Theory
of Definite Descriptions in the Light of Structural
Proof
Theory
🤔
Epistemology
Content type:
Academic
arxiv.org
·
22h
22 hours ago
Actions for Russell's Theory of Definite Descriptions in the Light of Structural Proof Theory
Book note: The Open
Logic
FOL texts
💭
Philosophy of Mind
Content type:
Blog
logicmatters.net
·
1d
1 day ago
Actions for Book note: The Open Logic FOL texts
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
🤖
AI, humanities
lix.polytechnique.fr
·
1d
1 day ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System
Timelines
🔄
system thinking
Content type:
Blog
klatz.co
·
3d
3 days ago
Actions for Proof System Timelines
Issue 528
🤖
AI, humanities
haskellweekly.news
·
15h
15 hours ago
Actions for Issue 528
Mathematical
proof
reveals why fixed AI guardrails can never block every jailbreak
🤖
AI, humanities
techxplore.com
·
1d
1 day ago
Actions for Mathematical proof reveals why fixed AI guardrails can never block every jailbreak
The Future Is Undecidable. Duty Is Not.
💭
Philosophy of Mind
Content type:
Blog
dhanjit.me
·
4d
4 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Every
set
of AI guardrails can be broken by the right prompt
🤖
AI, humanities
helpnetsecurity.com
·
1d
1 day ago
Actions for Every set of AI guardrails can be broken by the right prompt
News for May 2026 | Property Testing Review
🔄
system thinking
ptreview.sublinear.info
·
4d
4 days ago
Actions for News for May 2026 | Property Testing Review
Programming Languages Course Reboot, 2026
🤖
AI, humanities
Content type:
Reference
docs.google.com
·
2d
2 days ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Looking for Signs of Intelligence in Chatbots
🤖
AI, humanities
nautil.us
·
1d
1 day ago
Actions for Looking for Signs of Intelligence in Chatbots
Sunday song: Sous le ciel
de
Paris
🤖
AI, humanities
priorprobability.com
·
4d
4 days ago
Actions for Sunday song: Sous le ciel de Paris
Researchers say they trained a foundation
model
from scratch for about $1,500
🔄
system thinking
venturebeat.com
·
1d
1 day ago
·
Hacker News
Actions for Researchers say they trained a foundation model from scratch for about $1,500
The notational conventions I adopted, and why (EWD 1300)
🔄
system thinking
Content type:
Academic
cs.utexas.edu
·
3d
3 days ago
·
Hacker News
Actions for The notational conventions I adopted, and why (EWD 1300)
A Rank-Preserving Gaifman Normal
Form
🤖
AI, humanities
Content type:
Academic
arxiv.org
·
22h
22 hours ago
Actions for A Rank-Preserving Gaifman Normal Form
Co-Creator
of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
🔄
system thinking
Content type:
News
developing.dev
·
3d
3 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
rochus-keller/EXPRESS: A parser and code
model
for the ISO 10303 EXPRESS language with a lot more interesting stuff to
come
🔣
Semiotics
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
not much happened today | AINews
🤖
AI, humanities
news.smol.ai
·
6d
6 days ago
Actions for not much happened today | AINews
happy monday
🧠
Psychology
world.hey.com
·
3d
3 days ago
Actions for happy monday
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help