Inferences

St Thomas Aquinas · 03/15/24

If

Something exists now

Then

All beings are contingent

OR

Nothing that begins to exist lacks a cause for its beginning from something that already exists
St Thomas Aquinas · 03/15/24

If

All beings are contingent

AND

Whatever begins to exist is caused to begin to exist by something else already existing

Then

Nothing exists now
St Thomas Aquinas · 03/15/24

If

There is a necessary being having of itself its own necessity

AND

God is known as a necessary being having of itself its own necessity

Then

God exists
St Thomas Aquinas · 03/15/24

If

Every necessary being either has its necessity caused by another or has its necessity itself

AND

There cannot be an infinite series of necessary beings each having its necessity caused by another

AND

There is at least one necessary being

Then

There is a necessary being having of itself its own necessity
St Thomas Aquinas · 03/15/24

If

Not all beings are contingent

Then

There is at least one necessary being
St Thomas Aquinas · 03/15/24

If

Whatever begins to exist is caused to begin to exist by something else already existing

AND

At one time before now, nothing existed

Then

Nothing exists now
St Thomas Aquinas · 03/15/24

If

All beings are contingent

Then

At one time before now, nothing existed
René Descartes · 03/15/24

If

An evil being has convinced me that i am thinking but i am not thinking

Then

I am not thinking
René Descartes · 03/15/24

If

An evil being has convinced me that i am thinking but i am not thinking

Then

I am convinced of something
René Descartes · 03/15/24

If

I am convinced that i am thinking

Then

I am convinced of something
René Descartes · 03/15/24

If

I am convinced of something

Then

I am thinking
René Descartes · 03/15/24

If

I cannot rationally doubt that i am thinking

Then

I am thinking
René Descartes · 03/15/24

If

For any proposition P, if it is not possible for an evil being of supreme power to convince me of p when p is false, then I cannot rationally doubt p

AND

It is not possible for an evil being of supreme power to convince me that i am thinking when it is false that i am thinking

Then

I cannot rationally doubt that i am thinking
René Descartes · 03/14/24

If

It is not possible for an evil being of supreme power to convince me of any proposition P when P is false

Then

I cannot rationally doubt P
René Descartes · 03/14/24

If

I am thinking

Then

I exist
@alexandershortt · 03/14/24

If

Aesthetic taste does not make a man more honorable

AND

Aesthetic taste does not make a man more worthy

AND

Aesthetic taste does not make a man more fit to govern

Then

Aesthetic taste does not determine character or moral value
@alexandershortt · 03/14/24

If

Murder of an innocent life is immoral

AND

A fetus is a life

AND

A fetus is innocent

Then

Abortion is immoral
@alexandershortt · 03/14/24

If

Life begins at conception

Then

A fetus is a life