Questions tagged [mathematical-logic]

The tag has no usage guidance.

3 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers

Is the overlap between Yoneda's lemma and Peirce's pragmatic maxim known?

In philosophy, particularly in ethics, the pragmatic maxim (WP) states that an object may be considered solely in terms of its effects on the surrounding context. In the special case of ethics, the ...
  • 191
1 vote
1 answer

Philosophy books for mathematicians

Are there any books on philosophy that make relatively heavy use of math? I'm not looking for anything on formal epistemology, logic, or philosophy of math. Two examples of books that fall in the ...
0 votes
0 answers

is there such a thing as non-constructive computational “proof”?

For the problems which can’t modified into a constructive proof, is there some useful notion of proving them to some computational approximation? I’m referencing: “Interpretations come at a cost: for ...
  • 1,601