Feb. 20th, 2019

timelets: (Default)
Слон может чувствовать запах воды за десять с лишним километров. А мы постоянно удивлялись, что наша собака могла чувствовать, когда по улице в каких-то 50 метрах от дома шла другая собака.
timelets: (Default)
Two logics are “the same” if and only if they are equivalent as preorders.
...

Observe that both logics can use the same set A of statements, but the consequence relation is different for the two.

--- Lutz Straßburger. What is a logic, and what is a proof?, 2006



The concept of "consequences relation" is key to understanding misunderstandings.

Profile

timelets: (Default)
timelets

June 2025

S M T W T F S
123456 7
8 9 1011 1213 14
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 15th, 2025 03:58 am
Powered by Dreamwidth Studios