Logic Methods

Q&A

  • 什么是语形论/语义论/语用论方法？
  • 什么是应用逻辑？

Reference 1

（前言）

对逻辑方法的大致划分，三个方面：

  • 语形论方法
  • 语义论方法
  • 语用论方法

纯逻辑（不包括应用逻辑），要使用语形论方法和语义论方法。

  1. 现代逻辑方法论，永井成男，1989. ↩
Created May 6, 2020 // Last Updated May 6, 2020

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?