Inferentialism in Logic Understanding

This is a news story, published by Live Science, that relates primarily to Aristotle news.

Aristotle news

For more Aristotle news, you can click here:

more Aristotle news

News about Ai research

For more Ai research news, you can click here:

more Ai research news

Live Science news

For more news from Live Science, you can click here:

more news from Live Science

About the Otherweb

Otherweb, Inc is a public benefit corporation, dedicated to improving the quality of news people consume. We are non-partisan, junk-free, and ad-free. We use artificial intelligence (AI) to remove junk from your news feed, and allow you to select the best tech news, business news, entertainment news, and much more. If you like this article about Ai research, you might also like this article about

theoretic semantics

. We are dedicated to bringing you the highest-quality news, junk-free and ad-free, about your favorite topics. Please come every day to read the latest inferentialism news, logic news, news about Ai research, and other high-quality news about any topic that interests you. We are working hard to create the best news aggregator on the web, and to put you in control of your news feed - whether you choose to read the latest news through our website, our news app, or our daily newsletter - all free!

Swedish logician Dag Prawitz

Live Science

•

Future AI models could be turbocharged by brand new system of logic that researchers call 'inferentialism'

Summary

Nutrition label

73% Informative

A group of philosophers, mathematicians and computer scientists have come up with a new understanding of logic that addresses these concerns.

A standard intuition of logic, dating back at least to Aristotle , is that a logical consequence ought to hold by virtue of the content of the propositions involved, not simply being "true" or "false" The roots of the new logic can be traced to the radical philosophy of Ludwig Wittgenstein , who in 1953 said the meaning of a word is its use in the language.

Large language models (LLMs) work by guessing the next word in a sentence.

They "hallucinate" meaning they construct sentences that are formed by logical nonsense.

By leveraging inferentialism, we may be able to give them some understanding of the words they are using.

This could also come in handy when it comes to critical thinking and politics.

VR Score

Informative language

Neutral language

Article tone

informal

Language

English

Language complexity