However, Ayer’s definition directly challenges Holbach's foundation for his arguments. Ayer splits necessity into two different types: Logical and causal necessity. Logical being deductive. as finding something to be true by definition, and causal being inductive, by finding something to be true by correlation. Ayer’s redefining of necessity immediately weakens the base of his arguments, Ayer argues that the laws of nature are causal and not logical, and for to think it to be logical would “suggest that one event is somehow in the power of another, whereas the truth is merely that they are factually correlated.” (Ayer
However, Ayer’s definition directly challenges Holbach's foundation for his arguments. Ayer splits necessity into two different types: Logical and causal necessity. Logical being deductive. as finding something to be true by definition, and causal being inductive, by finding something to be true by correlation. Ayer’s redefining of necessity immediately weakens the base of his arguments, Ayer argues that the laws of nature are causal and not logical, and for to think it to be logical would “suggest that one event is somehow in the power of another, whereas the truth is merely that they are factually correlated.” (Ayer