Ronkeisai #5 "Explanation! '100 Natural Deduction Knocks'"

About Ronkeisai

In this Ronkeisai, the creator will personally explain the '100 Natural Deduction Knocks'.

Ronkeisha provides Ronkeisai as a venue to offer presentation opportunities to those interested in the 'Science of Logic and Computation' in various senses—including mathematical logic, theoretical computer science, computer science, philosophy, linguistics, and law—while also hosting lectures by speakers from both inside and outside Ronkeisha.

It also includes a Q&A and consultation session where we answer questions about the science of logic and computation and provide advice regarding Ronkeisha's services.

Speaker

Shin Quawai

Organizer and lecturer at Ronkeisha. Interested in the relationship between logic and computation, he is active as an independent researcher. He also specializes in philosophical logic. He has given two oral presentations at RIMS joint research meetings. Founder of the Association of Friends of Logic. Areas of teaching experience include linear algebra, calculus, and mathematical logic. Enjoys whiskey and coffee.

About '100 Natural Deduction Knocks'

'100 Natural Deduction Knocks' is original teaching material from Ronkeisha.

This material presents 100 problems for writing natural deduction proof diagrams.
However, mathematical logic is not a discipline about writing proof diagrams.
The question of why these 100 knocks are being released to the world is therefore a natural one.
The answer is that by not having to use brain resources on writing proof diagrams,
we believe it creates the mental space to think conceptually about what proof diagrams and proofs actually are.

Link to the material

Lecture Details

I will provide an explanation on how to write proof diagrams.
While this material emphasizes not thinking,
for that very reason, I will explain how to write proof diagrams,
and we will try writing them together in real-time.

1. The significance of formalizing proofs, and what mathematical logic is.

2. Introduction to natural deduction.

3. How to write natural deduction proof diagrams.

4. Proof practice (participants will try it themselves).

'The Science of Logic and Computation'

When we think logically,
we arrive at conclusions step by step, that is, by following one correct procedure after another.
Similarly, when we perform simple calculations,
we also follow correct procedures to find values while transforming the expressions line by line.

In fact, there is a principle that this logic and computation are mathematically the same thing,
which is called the Curry-Howard correspondence,
and it is considered that the computer, the protagonist of logical inference,
and the world of programming, the king of computation, are two sides of the same coin.
Because of this,
Ronkeisha advocates for the 'Science of Logic and Computation'.

The "Science of Logic and Computation" provided by Ronkeisai and Ronkeisha is designed to
help those who can already program but want to leap into more complex or large-scale programming tasks, or
conversely, those who want to learn how to program but do not know where to start,
by resolving their bottlenecks.

Furthermore, if we focus on the "Logic" aspect of "Logic and Computation",
it is used in various ways in the academic world, such as in philosophy to explain human thought and the pursuit of science,
in linguistics to understand what it means to be able to speak a language,
or to mathematically handle rigorous arguments related to law.
Moreover, it can be said that there is a growing trend toward applying these in industry and practical work.
Therefore,
if you are seeking a certain kind of absolute guarantee or understanding of "correctness" or "rigor",
the "Science of Logic and Computation" has much to offer you.

Ronkeisha's mission is to spread the "Science of Logic and Computation",
and through its dissemination, we hope to make the world smoother and clearer.

Date and Time

8/24 (Sat) from 16:00 to 18:30

Timetable

15:50 Doors open

16:00 Opening and introduction to Ronkeisha

16:15 Lecture by instructor: "Explanation! '100 Natural Deduction Knocks'" (60 minutes)

17:15 Proof practice

17:45 Q&A

18:00 Information from Ronkeisha and Q&A session

18:30 Closing

Participation

this pageIf you register for participation from, you will receive an email with the venue details from connpass when the doors open on the day.

Please configure your settings to ensure you can receive emails from the connpass management team.

Information for participation can also be viewed under "Information for Participants" within connpass.

Recruitment

Listeners

You are free to enter and leave at any time, so please feel free to join us.

About the Q&A and Consultation Session

We accept questions regarding mathematical logic and theoretical computer science, as well as consultations about Ronkeisha's services.

During the Q&A and consultation time, we will accept questions ranging from in-depth content related to the science of logic and computation to general inquiries such as 'What is mathematical logic/computer science?' or 'How should I study it?', while also welcoming various questions and consultations regarding enrollment in Ronkeisha.