Skip to main content

New answers tagged

1 vote

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

I'm not a philosopher, but this question randomly showed up in my feed and I figured I'd contribute a bit (feel free to edit and enhance my answer). Jacques Lacan was quite interested in mathematics ...
kirgod's user avatar
  • 111
2 votes

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

There's an ambiguity to the adjective "modal," so that sometimes we would juxtapose "modal and deontic logic" but sometimes we'd say instead "alethic modal and deontic modal ...
Kristian Berry's user avatar
1 vote

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

There's Hellman's modal structuralism which seeks to nominalize mathematics via irreducible modal operators. Instead of abstract structures or entities, there's a nominalist structure of possibilities ...
J Kusin's user avatar
  • 2,985
10 votes

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

It seems to me that a project like this involves two steps: Deciding on some more or less systematized intermediate representation (still in natural language, but with a restricted set of to-be-...
mudskipper's user avatar
  • 1,054
5 votes

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

I have ambitious formalizations in mind. Not just formalizations of a stand-alone problem or a stand-alone argument, but formalization of entire system. Like imagine somebody trying to use modal logic ...
Julius Hamilton's user avatar
2 votes
Accepted

Why is modal logic not focused more on strict implication?

C I Lewis developed modal logic in a series of papers starting in the 1910s. His main motivation was to introduce a strict conditional that accurately captures the meaning of logical consequence. This ...
Bumble's user avatar
  • 27.5k
1 vote
Accepted

what is the definition of a necessary fact in the contingency argument?

Background knowledge (can be skipped): Comparing the ontological argument and the contingency argument is similar to comparing deductive reasoning to inductive reasoning. The ontological argument ...
Haddock's user avatar
  • 26
3 votes

could the set of all contingent facts be necessary?

All sets exist in mind. They are discerned through the activity in consciousness. Mind and consciousness are impermanent. When consciousness itself is not there then there is no knowledge of sets. Nor ...
SacrificialEquation's user avatar
1 vote

could the set of all contingent facts be necessary?

Sometimes it is said that the singleton of a contingent object is itself a contingently existing set.h On the other hand, by the foundation axiom, if there were a set of all contingencies and this set ...
Kristian Berry's user avatar
0 votes

Does this modal ontological argument prove the existence of God?

There's a sleight of hand involved in modal ontological arguments that can be demonstrated by presenting the argument more clearly. At their most fundamental, their premises take the following form: ...
Michael's user avatar
  • 303

Top 50 recent answers are included