Philosophy Stack Exchange
Philosophy Stack Exchange

Questions tagged [philosophy-of-logic]

Philosophy of logic is a branch of philosophy concerned with investigating the nature, scope and role of logic.

Philosophy of logic is the area of philosophy devoted to examining the scope and nature of logic. It is the investigation, critical analysis and intellectual reflection on issues arising in logic. The field is considered to be distinct from philosophical logic.

351 questions
4
votes
1 answer

What were the historical interpretations of Aristotle's definition of validity/logical consequence?

What were historically the various interpretations given to Aristotle's notion of validity, implicit in his syllogistic? Here is one authoritative translation of the relevant text: A syllogism is discourse in which, certain things being stated,…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
2
votes
3 answers

How does society decide what styles of argument are valid or invalid for practical purposes?

I know that type of inferences you can make from a given system of axioms depend on what background logic you choose. For example, in some systems of logic, we can do a proof of contradiction but in others we can't. However I think most people would…
tryst with freedom
  • 2,178
  • 10
  • 23
2
votes
1 answer

Jackson's simplification of Lewis' triviality result

I'm reading chapter 11 of The Blackwell Guide to the Philosophy of Language by Frank Jackson, and once he touched upon Lewis' triviality results he writes: However, this definitely doesn't look that simple to me. Could you break down this proof…
Nick Doe
  • 166
  • 7
2
votes
3 answers

Would you know if an answer is 'illogical' or just 'incomprehensible' (to you)?

I've seen good answers up voted and brilliant answers down voted. I understand that not everybody has the same intellectual ability. And, we do not know, what we do not know. Good answers are comprehended by average intellects, while brilliant…
Zane Scheepers
  • 589
  • 4
  • 17
1
vote
1 answer

What is the first recorded, explicit and articulated, logical argument in the history of humanity?

What is the first historical record of an explicit and articulated logical argument in the history of humanity? Is it Xenophanes (presumably around 540 BC)? But if cattle and horses or lions had hands, or were able to draw with their hands and do…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
1
vote
3 answers

How universal is logic?

There is what seems to me an inconclusive debate in the academic literature concerning the idea that logic is universal, but in what sense exactly would logic be universal? One example of a claim that logic is universal was that of Bertrand…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
0
votes
0 answers

Were there any logicians in the past who argued that the Liar was logical, and so either true or false?

The Liar seems to have been universally regarded as paradoxical from the moment philosophers started to discuss its logic. Is that really the case, though? My question is as follows: Outside philosophers who one way or the other just dismissed the…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
0
votes
1 answer

Is deductive logic, and more specifically propositional logic, ultimately derived from induction?

Is the system of propositional logic itself induced, beyond its manipulated assumptions? It seems to be the case that we use propositional logic on the basis of two facts - firstly that it seems to work when applied correctly and with sufficient…
CodeReaper
  • 28
  • 5
0
votes
0 answers

Hegel's counter proof of the old Logic

In his book on Logic,Hegel makes a counter proof of the old way of defining Logic. I have trouble understanding in which way Aristotle or Descartes were wrong according to him. Could someone explain? Thanks edit: It is previously said that Aristotle…
maths_mz
  • 1
  • 1
0
votes
0 answers

Possible Models

A model consists in one or more possible worlds. Necessity in a world is determined by its associated set of possible worlds. I am curious whether there is any work that involves an account of something like "possible models." So, whereas each…
user3752935
  • 159
  • 2
0
votes
1 answer

The mechanics of logic

I am interested in how fundamentally important measurement is in the process of logical thought. At what point in the logical process are we no longer engaged in some form of measurement. Measurement always involves the comparison of points of…
Daniel Patrick Fisher
  • 1
  • 2
0
votes
1 answer

How different would mathematics and science be if we'd assume truth does not exist?

This comes from the question "Is human intuition consistent with current structure of mathematics?" I asked myself. Intuitively we agree on very many things and it seems we can "prove" almost everything. My example of that: When someone says "It is…
rus9384
  • 2,646
  • 2
  • 14
  • 29
0
votes
2 answers

How can the objects in an object theory be defined?

How can the objects in all object theories be defined? Do meta-theories refer to things which aren't objects (so defined)?
user6917
0
votes
2 answers

What is logic in the context of Classical Logic?

How mathematicians define the concept of logic for the purposes of Classical Logic? Also, how do philosophers and mathematicians at different period in history defined the word "logic", if they did? What is logic for academics? EDIT I put here…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
-1
votes
1 answer

Does any mathematician today work on a logic he explicitly presents as somehow true of human logic, as Boole did in his time?

Mathematicians make sure their theories are logically consistent but not necessarily that they are somehow true of anything in the real world. This may be compared with scientists whose research requires that they develop a specific mathematical…
Speakpigeon
  • 7,364
  • 1
  • 11
  • 26
1
2