Questions tagged [formalisation]
The formalisation tag has no summary.
56 questions
4
votes
4
answers
377
views
What is it to write something "formally"?
Note: this question seems apt for flagging as a duplicate, but I haven't found a duplicate of it yet. Apologies in advance if I haven't done my full due diligence regarding this matter.
Now, I was ...
- 6,643
8
votes
9
answers
1k
views
What are the main arguments against the formalization of philosophy?
By formalization of philosophy I mean translating a philosophical system into a formal language, in such a way that the statements of the philosophical system correspond to statements of the formal ...
- 351
2
votes
0
answers
75
views
Rigorous definition of a stochastic physical theory [closed]
We can read in this article, page 12 a definition of a deterministic physical theory:
A history H is a map from R to tuples of values of the basic
magnitudes, where for any t ∈ R the state H(t) gives ...
- 151
4
votes
1
answer
242
views
What are the most relevant investigations into the complete formalization of philosophy, at the level of rigor and precision found in mathematics?
I'm referring to attempts to translate or structure all philosophical reasoning within formal systems (such as mathematical logic). Are there any schools of thought or authors who have seriously ...
- 351
3
votes
3
answers
725
views
Philosophical system
I want to build a philosophical system and describe a certain process. The system has x number of axioms. I can translate the axioms into predicates and quantifiers or into Boolean form. My question ...
- 323
0
votes
2
answers
222
views
Is this universal dependency relationship a 'property'?
P1. Each thing, in order to exist, depends existentially on something else (universal dependence).
P2. The relation of dependence (between things) does not depend on any particular thing but is a ...
- 2,030
2
votes
1
answer
73
views
Would a formalization of Descartes' entire book of meditations, start with a question or an answer?
Suppose that it started with a formalized, "I am thinking," on line 1, then, "I exist," on line 2, then the next few lines are occupied by "the" Cartesian circle (see ...
user40843
3
votes
1
answer
74
views
In set/type notation, is the index position a predicate position or something "else"?
Take an expression like ℵ2. Is the 2 there representative of a property of the aleph? Or is it just, like, an identifying "marker"? But I've also seen an expression like ℵE, where E was more ...
user40843
4
votes
1
answer
120
views
Is there an application of Lawvere's theorem to (some) formal treatments of grounding?
Recall that Lawvere's fixed-point theorem goes:
... for any cartesian closed category, if there is a suitable notion of epimorphism from some object A to the exponential object/internal hom from A ...
user40843
3
votes
2
answers
516
views
What does it mean to formalise a philosophy or philosophical claim?
What does it mean to formalise a philosophy or philosophical claim? What does 'formal' mean in philosophy?
user71399
3
votes
0
answers
48
views
An erratum in Allan Gibbard's "Manipulation of Voting Schemes: A General Result"
This question is in the philosophy site but it could have been in the one about mathematics, more ideally in a "voting theory" site. It's here because Gibbard was most of all a philosoph.
I'...
- 151
7
votes
3
answers
205
views
How can we formalize the claim that these two languages are equally expressive?
Let T be a stripped-down version of propositional logic, whose only connectives are ¬ and ➝, and suppose T can prove all the usual theorems that can be formed from only these two connectives. Let T’ ...
- 433
5
votes
5
answers
1k
views
Are there any known precedents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?
Maybe philosopher Anna wrote a long and complicated treatise on some topic. Then comes philosopher Bob who interprets Anna's treatise in some way, and writes down his interpretation of Anna's treatise ...
- 390
0
votes
1
answer
155
views
What are the possible ways to symbolically represent entities, within formal logic?
What are the different solutions proposed in the academic literature to represents symbolically individual entities within formal logic expressions?
One solution I am aware of is to use Latin letters. ...
- 12.5k
6
votes
10
answers
1k
views
What is a system?
Informally, a system of the kind I'm asking about is an arrangement of physical components that interact causally with each other and with an external environment. For example: a pendulum, a car, a ...
- 21.6k