All Questions

Filter by
Sorted by
Tagged with
0
votes
1answer
20 views

Is ∃x (∀y (A(x,y) → B(x,y)) → ∃z C(z)) equivalent to ∃x ∃y ∃z ((A(x,y) → B(x,y)) → ∃z C(z))?

Consider the first-order sentence ∃x (∀y (A(x,y) → B(x,y)) → ∃z C(z)) Let's write this sentence in prenex form. First let's write one of the conditionals using the equivalence: a → b ⟺ ~a | b ∃x (~(∀y ...
0
votes
0answers
18 views

Ramsey's Universals: Why is "Neither Socrates nor Plato is wise" not a proposition of the form "x is wise"?

I am studying Ramsey's 1925 paper Universals, and he states that "Socrates is wise", "Plato is wise", etc. are propositions of the form "x is wise", yet "Neither ...
1
vote
1answer
37 views

General analysis of logical explosions

I've seen the word explosion used in basic logic and deontic logic. The commonality seems to be an explosion is when the 'topic' of a logic universally applies, i.e. everything can be inferred or ...
1
vote
1answer
44 views

Mackie's argument from queerness - identical argument can be made against universals?

So reading this argument for moral skepticism: https://en.wikipedia.org/wiki/Moral_nihilism#Argument_from_queerness It seems to me like the identical argument can be made against universals. Is this ...
1
vote
1answer
60 views

Where exactly Kant says ‘philosophy is to learn how to think …’?

this is a famous quote from Emanuel Kant: “philosophy is to learn how to think, and not to learn thoughts”. Where exactly did Kant say that? And what is the correct form of it?
0
votes
1answer
66 views

Godel's incompleteness theorem when the cardinality of axioms is > ℵ_0?

So I was thinking of Godel's theorem (I am by no means an expert in this topic). Does Godel's only work when the cardinality of the number of axioms is the same as the cardinality of the number of ...
-1
votes
1answer
47 views

Can two things or x number of things that are not infinite create infinity?

Can two things or x number of things that are not infinite create infinity? Let's assume that x is not infinity. I am thinking that it's not the case, and there's no paradox here, but I just want to ...
2
votes
3answers
79 views

Is it okay that vacously true statements can be used to prove apparent contradictions?

I am reading How to prove it by Velleman, and something is bothering me. On page 70, he states that "all unicorns are green" is vacuously true and so is "all unicorns are purple." ...
1
vote
2answers
45 views

Are there any non-Anarcho/Communist/Socialist doctrines that advocate the abolition of land property?

I have, in the last years, developed the somewhat controversial opinion that land property (not necessarily private property tout court) is the root of all evil. Without going too deep into whether ...
5
votes
7answers
1k views

Can knowledge exist that humans are incapable of knowing? [closed]

This question has its origin in a debate/thread about gods, mysterious ways and "gods plan" as in "can god communicate his plan to humans". This is not a question about a single ...
0
votes
1answer
27 views

Is there any word "Numerical power" in sociology?

I was thinking about how population influences the power dynamics in a polity. The community that has the majority has more say in political discourse. Can we use the term "Numerical power" ...
2
votes
1answer
59 views

Understanding "unless"

We are trying to understand the English word "unless". Consider the following statement: "I will not go to Best Buy unless I need a TV". It appears that I can rephrase the ...
0
votes
1answer
39 views

Is a person with an immoral disposition who acts morally more commendable in any way than one who's disposition is moral?

Are there grounds for reasoning that one who is naturally inclined to evil, and who yet acts morally is in some sense actually fulfilling the definition of the word morality/ethics, and is therefore ...
0
votes
0answers
56 views

Erotetic quantifiers?

I can't find it, but I have a distinct memory of there being an SEP article that says something like as if the ordinals were there before the sets in relation to a question about whether ordinals (or ...
1
vote
1answer
62 views

Leibniz's Relational Philosophy and Boundaries?

Leibniz stated: "Thus committed to maintaining that if there were nothing more to motion than relative change of position, then, since motion could be ascribed with equal right to, say, Train A ...
1
vote
3answers
95 views

Why is everything in a different category despite similarities and similar origins?

To make my question easier to understand, assuming a no-religious stance, we are made of the atoms that make up everything else in the universe. Why are we categorized as humans, and not the stars ...
0
votes
2answers
69 views

Concept and usage of social abuse

If I say to an individual, who belongs to a higher social caste, that I will not help him but only those who are socially outcast and downtrodden, will it be considered as an abuse to the higher caste?...
0
votes
0answers
21 views

Distribution step in resolution proof

I'm struggling to understand a step in resolution proof at http://www.ale.cs.toronto.edu/docs/ref/ale_trale_ref/ale_trale_ref-node44.html (man(X) --> mortal(X)) AND man(socrates) (man(socrates) --&...
-3
votes
1answer
68 views

Is democracy that great [closed]

If one party is more liberal than the other, then shouldn't the liberal party win every time? Doesn't the very logistics of following the electoral process intertwine with politics itself? For example,...
3
votes
0answers
62 views

Truth/actuality as an operator

Frege claimed that "it is true that" adds nothing to the actual meaning of an assertion, and following him along this line are prosentential theories of truth. However, I wonder if this is ...
-1
votes
0answers
68 views

What are some arguments against Antinatalism? [closed]

Antinatalism or anti-natalism is the ethical view that negatively values procreation. Antinatalists argue that humans should abstain from procreation because it is morally wrong. In scholarly and ...
0
votes
0answers
50 views

The process of Ethics and Metaphysics Ideation [closed]

How Ethics and Metaphysics would be made (the procedure behind them) ? Which philosophers have worked on the idea of relationship between language, reasoning and the procedure of it and more ...
0
votes
2answers
45 views

Are there resemblances between Daoism and Buddhism?

Buddhism, according to the Pali canon, seems to be ultimately about saying no to life in consideration of ceaseless cravings or will constituting it, whereas Daoism seems to emphasize the 'path' or ...
0
votes
0answers
44 views

Given a premise and ten axioms about a world with three shapes T, C, and D, how to prove that either all objects are T, all are C or all are D?

I'd like to prove the following argument: Premise: ∀x SameShape(x,c) Conclusion: ∀x Cube(x) | ∀x Tet(x) | ∀x Dodec(x) From the following axioms The following axioms say that any object can be exactly ...
-1
votes
1answer
61 views

Do metametaphysics help in elucidating the problems in metaphysics?

I have found a couple of books relating to metametaphysics, and it surprises me that this branch of philosophy exists. Before I plunge myself down a new rabbit hole, I would appreciate help in putting ...
0
votes
0answers
26 views

Does anyone claim that a truly autonomous work of art would act to bring about the negation of original impulse, within social reality?

Does anyone claim that a truly autonomous work of art would act to bring about the negation of original impulse, within social reality? Let's suppose the Gay Science is such a work of Art, and it was ...
-3
votes
2answers
136 views

Can there be war between male(humans) and female(humans) in distant future?

It's been a long time since I have been thinking this and haven't found answers but I do have some viewpoints. First of all let me describe the problem. We know that humans are the only species on ...
0
votes
0answers
73 views

Plants: Aristotles vs. modern biology

Corals, sea anemones, sponges, etc. are animals according to modern biology. Mold or mushrooms are not plants and belong to their own realm of fungi. The Venus flytrap is a plant, though it is capable ...
0
votes
0answers
39 views

An inductive argument from the value of "other minds" to that of our biological reality

Chalmer's new work is getting some publicity https://www.theguardian.com/technology/2022/jan/17/virtual-reality-is-genuine-reality-so-embrace-it-says-us-philosopher Can't we argue that our (universal, ...
2
votes
1answer
308 views

Kant's modal logic

It is customary nowadays to have the introduction rule for the possibility operator "◊" be a two-edged negation of the necessity operator "□": ◊A = ~□~A. It is also possible (haha!)...
2
votes
1answer
61 views

Before claiming prophethood,X was famous for being truthful among his people,so that is one of the proof that he is a prophet?

some people who believe in the prophethood and divine inspiration of specific individuals ,use this argument,as one of the arguments,that proves that their believe in such individuals is legitimate ...
1
vote
1answer
106 views

Does try-catch from programming has any basis in formal logic or mathematics and if so what is it?

Does try-catch from programming has any basis in formal logic or mathematics and if so what is it? Is it something like the following pseudocode? Try X, If you catch Y (success) than continue, If you ...
1
vote
1answer
74 views

How to write a formal proof of Euclid's Theorem, specifying every logic rule used?

Euclid's Theorem is the statement that there is no largest prime. We might put it this way in first-order logic: ∀x ∃y (y >= x & Prime(y)) An informal proof is pretty straightforward: Let n be ...
2
votes
0answers
100 views

Does psychology/cognition come prior to mathematics?

I am not a hundred percent sure this belongs in Philosophy SE, but I couldn't think of a better SE to ask it, so I am asking it here. I got into an argument with a friend who claimed that the science ...
2
votes
6answers
195 views

Is energy a physical property of material objects?

I found this assumption in this paper: 'Energy: Between Physics and Metaphysics', Mario Bunge. I am intrigued as to what is the latest on this approach. As a practicing scientist, it is hard to put ...
3
votes
4answers
130 views

What is the name of the view that the world as presented to us by our senses is false and there is a true world behind it?

Some historical examples include the Gnostics, Advaita Vedanta, Kant, Schopenhauer, and countless mystics. I was just wondering if there is a common name for these sorts of worldviews. Thank you!
0
votes
1answer
54 views

Help on proving that there is at most 1 x such that A(x)

I'm looking for someone that can explain this lecture slide to me in a more clear language. I have an exam in a few days and i just cannot wrap my head around why this means that there is only one x s....
1
vote
2answers
131 views

Is it possible to argue that the world is good from a theists perspective?

In all Abrahamic religions it is taught that everything that God does is for the good. Is it philosophically possible to argue that our universe is good without arguing from the perspective of a ...
0
votes
0answers
35 views

Language, Proof, and Logic: Problem 11.26 How to give both possible translations of an ambiguous English sentence into FOL?

In the book "Language, Proof, and Logic" there is a problem 11.26 about translating ambiguous sentences. Given an ambiguous sentence in English, we should provide two translations, one for ...
0
votes
0answers
32 views

Is there a word for attributing most/all problems in society to one thing? [closed]

I see this sort of thing in political discourse a lot. Here are some examples: Socialists blaming capitalism for all the world's problems Nazis blaming Jews for all the world's problems Libertarians ...
0
votes
1answer
71 views

Why does Nick Bostrom's simulation argument use "close to zero" rather than just "zero"?

Edited to make the question clearer Nick Bostrom’s Simulation Argument can effectively be reduced to just two options: Either (1) close to zero civilisations reach a post-human stage and run many ...
2
votes
3answers
154 views

What is the relation between narratives and knowledge?

It feels like narratives and knowledge are two related concepts that would appear in some sort of diagram, but I have never seen such a diagram and I'm not sure exactly what the connection between the ...
0
votes
4answers
132 views

Help understanding Marxist critique of capitalism

According to the Wikipedia page on Marxist economics, one criticism Marx had of capitalism is that the capitalist model of employment creates a difference between the value the workers create and the ...
-2
votes
0answers
113 views

How to catch a person claiming supernatural visions, in a lie? [closed]

I recently watched a video on YouTube where there is a discussion about whether or not we should listen to angels. A woman on the show wrote a book about her visions, and had claims of being able to ...
0
votes
2answers
129 views

What is meant by other minds?

I recently asked about the argument for proving the existence of other minds. This argument is called the best explanation argument. https://plato.stanford.edu/entries/other-minds/#BestExpl Could you ...
1
vote
2answers
62 views

Presentism and change

Can presentists account for the passage of the future through the present into the past? Presentism is the view that only present things exist and what’s present changes (i.e., things change, time ...
1
vote
0answers
48 views

Something similar to The Knowledge Argument which works within Physicalism?

Here is The Knowledge Argument according to SEP (Mary is either monochrome or views the world through monochrome monitor): (1) Mary has all the physical information concerning human color vision ...
1
vote
1answer
61 views

What did evolutionary epistemology discover about our tendency to guess right abductively?

C.S. Peirce wrote: "[...] if the universe conforms, with any approach to accuracy, to certain highly pervasive laws, and if man's mind has been developed under the influence of those laws, it is ...
7
votes
4answers
2k views

Why was Russell discontent with Wittgenstein's view on "logic as tautologies"?

While reading Logicomix, I came across a scene that I don't quite understand. Russell: ...Logicians are creating elaborate ways to "say the same things in different words"...this "...
1
vote
1answer
73 views

How to understand scope of action of a quantifier in a quantified sentence that is a translation of an English sentence?

Let's try to translate the English sentence: "Everything to the left of every tetrahedron is also to the left of every dodecahedron" Consider the predicates Tet(x): x is a tetrahedron LeftOf(...

15 30 50 per page
1
2 3 4 5
342