The two rules (Was: Minimal Logics in the 2020's: A Meteoric Rise)

Well we all know about this rule:
- Never ask a woman about her weight
- Never ask a woman about her age
There is a similar rule for philosophers:
- Never ask a philosopher what is cognitive science
- Never ask a philosopher what is formula-as-types
Explanation: They like to be the champions of
pure form like in this paper below, so they
don’t like other disciplines dealing with pure
form or even having pure form on the computer.
"Pure” logic, ontology, and phenomenology
David Woodruff Smith - Revue internationale de philosophie 2003/2
https://www.cairn.info/revue-internationale-de-philosophie-2003-2-page-21.htm
Mild Shock schrieb:

 Could be a wake-up call this many participants
already in the commitee, that the whole logic
world was asleep for many years:
 Non-Classical Logics. Theory and Applications XI,
5-8 September 2024, Lodz (Poland)
https://easychair.org/cfp/NCL24
 Why is Minimal Logic at the core of many things?
Because it is the logic of Curry-Howard isomoprhism
for symple types:
 ----------------
Γ ∪ { A } ⊢ A
 Γ ∪ { A } ⊢ B
----------------
Γ ⊢ A → B
 Γ ⊢ A → B           Δ ⊢ A
----------------------------
Γ ∪ Δ ⊢ B
 And funny things can happen, especially when people
hallucinate duality or think symmetry is given, for
example in newer inventions such as λμ-calculus,
 but then omg ~~p => p is nevertheless not provable,
because they forgot an inference rule. LoL
 Recommended reading so far:
 Propositional Logics Related to Heyting’s and Johansson’s
February 2008 - Krister Segerberg
https://www.researchgate.net/publication/228036664
 The Logic of Church and Curry
Jonathan P. Seldin - 2009
https://www.sciencedirect.com/handbook/handbook-of-the-history-of-logic/vol/5/suppl/C   Meanwhile I am going back to my tinkering with my
Prolog system, which even provides a more primitive
logic than minimal logic, pure Prolog is minimal
 logic without embedded implication.
 Mild Shock schrieb:

>
Your new Scrum Master is here! - ChatGPT, 2023
https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years >
>
LoL
>
Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:

Prolog Class Signpost - American Style 2018
https://www.youtube.com/watch?v=CxQKltWI0NA