Questions tagged [logic]

The tag has no usage guidance.

16 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4
votes
0answers
401 views

Understanding Symbols in Chomsky's *Logical Structure of Linguistic Theory*

I've been reading Chomsky's The Logical Structure of Linguistic Theory, and have come up rather suddenly against a stumbling block. On page 133, he uses without explanation some notation that's ...
3
votes
0answers
90 views

Inverse scope reading

It is well known that any sentence with two or more quantifiers will result in in multiple possible readings depending on the ordering of the quantifiers. To take a known example (1), there will be ...
3
votes
0answers
42 views

Data set for reasoning?

I am looking data set for reasoning. Basically, more examples like this one: 1. I like food. 2. Cake is food. Conclusion: I like cake.
3
votes
0answers
145 views

Are there any computational linguists who still use prolog?

My understanding is that in the 90's and early 2000's, expert systems and logical rules dominated the field of natural language processing/computational linguistics, but that for the last 10 years, ...
3
votes
0answers
41 views

Neural Net advances in textual entailment and mathematical semantics/logic view on it

I wonder if researchers working on textual entailment using explicit modelling tools (mathematical semantics / logic /formal semantics) have an explanation of recent success of neural networks in ...
3
votes
0answers
30 views

Database of formalized english sentences?

(Not sure if this is the right site to ask) Is there an online (preferably free) database of English sentences and the corresponding first-order representations?
2
votes
0answers
59 views

rules of syllogistic logic in an OVS or OSV language

I am looking to write the present the rules of Aristotelian syllogistic logic in a language that would be unfamiliar to my mostly-American students. So I thought I would do it in an OVS or OSV ...
2
votes
0answers
62 views

Software for finding syllogisms in treebank data?

Is there treebank search software that can locate a syllogism, identifying its major and minor premises and terms? cf. Eyal Mozes, “A Deductive Database Based on Aristotelian Logic,” Journal of ...
2
votes
0answers
126 views

Truth-neutral, truth-indifferent, & truth-committed verbs?

In English, I go to the store. is understood to mean It is true that I go to the store. Suppose I want to succinctly express I am indifferent to whether it is true or false that I go to ...
1
vote
0answers
102 views

Is it true that neologisms (loaned words) have a more limited and specific meaning?

My impression was that many neologisms tend to provide a more specific meaning than the original, have a more limited application, and a less large sense than the origin-word. But I have seen some ...
1
vote
0answers
72 views

Carrying a mistake in a sentence until contradiction

I am new to the field of linguistics so please forgive any ignorance or naivety, but there is something I have been thinking about recently and cannot find anything about it online. I suppose there ...
1
vote
0answers
29 views

Necessity and Possibility, Domain Widen, Indeterminate Phrase

I wanna ask a question about semantics. It's on page 20 in the paper "Indeterminate Pronouns: The View from Japanese" (Kratzer & Shimoyama, 2002). What I don't understand is the part Computing ...
0
votes
0answers
158 views

Is the Logical meaning of 'only if' produced by 'only' (that widens 'if')?

I'm asking for multiple languages, and use grey colour to refer to the concepts denoted by the English words. Abbreviate Necessary Condition to NC, Sufficient Condition to SC. I already know that: ...
0
votes
0answers
182 views

Predicate logic

Is anyone good at predicate logic and can help me to paraphrase the meaning of the following sentences? F=favour D=be a dog P=be a park (∀x) (Ǝy) Dx & Py > Fx,y H=hire M=be a manager E=be an ...
0
votes
1answer
179 views

"As long as", "So long as", in logic (ambiguity?)

I'd love an expert opinion on how to interpret "as long as" and "so long as" when doing logic (specifically, whether it's considered a necessary or sufficient conditional indicator). Also, I'd ...
-1
votes
1answer
105 views

What are technical terms and treatments in the literature for the exactly the following special kind of pleonasm?

Question. What is an attested technical term for the following kind of pleonasm? Has this been described scientifically and where? What are other examples than the one I give below? Let N be a noun. ...