second-order logic oor Sweeds

second-order logic

naamwoord

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

Vertalings in die woordeboek Engels - Sweeds

Andra ordningens logik

extension of first-order logic, which itself is an extension of propositional logic

voorbeelde

The Italian Government considers that the logical order of the questions referred should be changed and, in its view, the second question is the fundamental one.
Den italienska regeringen anser att tolkningsfrågornas ordning är ologisk och borde ändras, eftersom det enligt denna regering är den andra frågan som är grundläggande i förevarande mål.

The power-generating module shall be equipped with a logic interface (input port) in order to cease active power output within five seconds following an instruction being received at the input port.
Kraftproduktionsmodulen ska vara utrustad med ett logikgränssnitt (en ingång) för att kunna stänga av den aktiva uteffekten inom fem sekunder från det att en instruktion tagits emot vid ingången.

18 I propose, for reasons of logic, to take the questions in three parts, in the following order: first the second question, then the third question and, lastly, the first and fourth questions together.
18 Jag anser att det, av systematiska skäl, är lämpligt att behandla de ställda frågorna i tre delar, i följande ordning. Först kommer jag att behandla den andra frågan, därefter den tredje frågan och, slutligen, den första och den fjärde frågan tillsammans.

It states, first, that the Court of First Instance ruled on the plea alleging that the reference to the condition as to use was unlawful and, second, that the order in which that court examined the pleas is clearly logical, acceptable and consistent with the reasoning followed in the contested decision.
Kommissionen har påpekat, dels att förstainstansrätten prövat frågan om huruvida hänvisningen till nyttovillkoret var rättsstridig, dels att ordningsföljden i förstainstansrättens undersökning förefaller logisk, godtagbar och i överensstämmelse med resonemangen i det omtvistade beslutet.

The questions submitted to the Court will then be considered and I propose, on logical grounds, to take them in the following order: first, the second part of the third question, then the first and second questions and, lastly, the first part of the third question.
Jag kommer därefter att behandla de ställda frågorna, och av metodiska skäl kommer jag att besvara dem i följande ordning: först den andra delen av den tredje frågan, därpå den första och den andra frågan och slutligen den första delen av den tredje frågan.

For the purposes of Community law, two different kinds of problem arise which I would draw to the Court's attention in an order progressing logically from one to the other: whether or not the second question needs to be answered depends on the reply given to the first, as I shall explain below.
Med avseende på gemenskapsrätten uppstår två problem som jag skall framlägga för domstolen i logisk ordningsföljd: Huruvida det andra problemet blir aktuellt beror på lösningen av det första, som jag skall förklara längre fram.

I have decided to answer the preliminary questions in reverse order because I find it more logical in this case to discuss the principle of equivalence first, even though it was the second question referred by the national court.
Jag har beslutat att besvara tolkningsfrågorna i omvänd ordning, eftersom jag anser att det är mer logiskt i förevarande mål att först diskutera likvärdighetsprincipen, trots att detta utgör den nationella domstolens andra fråga.

I will consider the grounds below in the order which seems to me the most appropriate for the logical exposition of my argument: in particular, the third ground of appeal must be examined before the second ground.
Jag kommer nedan att behandla grunderna i den ordning som förefaller mest lämplig för att på ett logiskt sätt redogöra för mina argument. I synnerhet måste prövningen av den tredje grunden ske före prövningen av den andra grunden.

Even though that second complaint raises an issue which logically precedes the issue raised in the first complaint, in my analysis, for the sake of convenience, I shall abide by the order used by the Commission in its observations.
Även om sistnämnda delgrund väcker en fråga som logiskt sett är en prejudicialfråga i förhållande till den fråga som den förstnämnda delgrunden väcker, kommer jag för enkelhetens skull att i min analys använda den ordningsföljd som kommissionen har valt i sina inlagor.

Second, even in the absence of an express link between both provisions, the complementarity of Article 166 LIR and Article 164(1) and (2) LIR is necessary in order to ensure the logical consistency of the tax system.
För det andra: även i avsaknad av uttrycklig koppling mellan de två bestämmelserna måste artikel 166 i LIR och artikel 164 första och andra stycket komplettera varandra för att skattesystemet ska vara logiskt enhetligt.

33 In order to answer that second part of the question, it should be noted that, according to settled case-law of the Court, the logical consequence of a finding that aid is unlawful is to remove it by means of recovery in order to restore the situation previously obtaining (see, inter alia, Joined Cases C‐328/99 and C‐399/00 Italy and SIM 2 Multimedia v Commission [2003] ECR I‐4035, paragraph 66; judgment of 28 July 2011 in Case C‐403/10 P Mediaset v Commission, paragraph 122).
33 För att besvara den andra delen av frågan erinrar domstolen om följande. Det följer av domstolens fasta praxis att den logiska följden av att ett stöd har konstaterats vara olagligt är att stödet undanröjs genom återkrav för att på så sätt återställa den tidigare situationen (se, bland annat, dom av den 8 maj 2003 i de förenade målen C‐328/99 och C‐399/00, Italien och SIM 2 Multimedia mot kommissionen, REG 2003, s. I‐4035, punkt 66, och av den 28 juli 2011 i mål C‐403/10 P, Mediaset mot kommissionen, punkt 122).

Hence, it is reasonable to think that if the General Court decided that it was appropriate not to examine the first plea submitted to it, in order to concentrate solely on the second and third pleas raised at first instance, it was because it considered that that plea, which should logically be examined before the subsequent pleas, was unlikely to succeed.
Följaktligen är det rimligt att tänka sig att tribunalen beslutade att det var lämpligt att inte pröva den första grunden för att uteslutande koncentrera sig på den andra och den tredje grund som åberopats i första instans därför att den bedömde att talan inte kunde vinna framgång med denna grund, vars prövning logiskt sett borde föregå prövningen av de följande grunderna.

Lastly, I consider it more logical to reverse the order of the answers to the questions referred, as the first question (on the conditions determining the amount of the fine) presupposes that the second question (on the Member State’s power to impose that penalty) is answered in the affirmative.
Avslutningsvis anser jag att det är mer logiskt att vända på ordningen på tolkningsfrågorna, eftersom den första (rörande villkoren för sanktionsavgiftens storlek) förutsätter att den andra (rörande medlemsstatens befogenhet att fastställa en sådan sanktionsavgift) besvaras jakande.

First, the order of those sentences was the other way round in Directive 77/388; second, the historical sequence of the insertion of those sentences in the draft version of Directive 77/388 precludes such a view and, third, it is logical that rounding-off can also produce a nil rate.
För det första var ordningsföljden nämligen den omvända i direktiv 77/388 vad gäller dessa meningar, för det andra gör den kronologiska ordning i vilken dessa meningar infogades i förslaget till direktiv 77/388 att ett sådant synsätt är uteslutet och för det tredje ligger det i sakens natur att en avrundning även kan leda till en nollsats.

For logical and legal reasons, I shall examine the first two grounds in reverse order, since recognition that the appellant is a privileged applicant for the purposes of the second paragraph of Article 230 EC or the addressee of a decision under the fourth paragraph of that article would make the complaint that Articles 113 and 114 have been infringed redundant, in so far as it relates, mainly, to whether the appellant is directly concerned by the contested decision.
Av logiska och rättsliga skäl kommer jag att pröva de första två grunderna i omvänd ordning. Om klaganden anses vara en sådan privilegierad part som avses i artikel 230 andra stycket EG, eller destinatär enligt fjärde stycket i samma artikel, blir påståendet att artiklarna 113 och 114 åsidosatts meningslöst, eftersom det i huvudsak gäller frågan huruvida klaganden är direkt berörd av det ifrågasatta beslutet.

The disposal of shares being, as I suggest in the answer to the second question analysed above, a transaction which is an exempted activity under Article 13B(d)(5) of the Sixth Directive, the VAT payable on the supplies of services acquired in order to carry out that transaction cannot therefore, in all logic, be deducted, since those services constitute part of the costs of the exempt transaction.
Som jag har angett i mitt förslag till svar på den andra frågan, som bedömts ovan, är aktieavyttringen en verksamhet som är undantagen från skatteplikt enligt artikel 13 B d punkt 5 i sjätte direktivet, och den mervärdesskatt som är hänförlig till tjänster som förvärvats för att genomföra denna transaktion kan således helt följdriktigt inte dras av, eftersom dessa tjänster är en komponent i priset för den transaktion som är undantagen från skatteplikt .(

41 Thus, if the logic and sequence adopted by the European Union in its drafting of Article 3 of Directive 2008/95 are to be followed, it is necessary to change the order in which the questions referred are to be examined, first analysing the second and third questions, relating to the interpretation of Article 3(1)(e) of Directive 2008/95, and then examining the first question, concerning Article 3(3) of that directive.
41 Mot denna bakgrund och med beaktande av den logik och ordning som unionslagstiftaren valt vid utformningen av artikel 3 i direktiv 2008/95, ska tolkningsfrågorna prövas i omvänd ordning. Därvid ska den andra och den tredje frågan rörande tolkningen av artikel 3.1 e i direktiv 2008/95 prövas före den första frågan som avser artikel 3.3 i direktivet.

53 By its first ground of appeal, the appellant submits that, by examining the pleas relied on in support of its application for annulment in a different order from that in which they were set out in the application initiating the proceedings, the Court of First Instance, first, upset the logical sequence of the arguments put forward by the Commission in support of the contested decision and, second, distorted the meaning and overall scope of its application.
53 Med sin första grund har klaganden gjort gällande att förstainstansrätten, genom att undersöka klagandens grunder i en annan ordning än den som angavs i ansökan, dels har kastat om den logiska kedja av argument som kommissionen har anfört till stöd för det omtvistade beslutet, dels missuppfattat innebörden och räckvidden av klagandens talan.

In my opinion, it was not necessary for the United Kingdom to raise either of those two points explicitly in order to comply with the requirements of Article 27(2) of the Sixth VAT Directive for a rather simple reason: both points are obvious, either inherent in the VAT system (the first point) or entirely logical and predictable in view of the scope of the requested derogation (the second point).
Enligt min uppfattning behövde Förenade kungariket inte uttryckligen ta upp dessa punkter för att uppfylla kraven i artikel 27.2 i sjätte mervärdesskattedirektivet av ett enkelt skäl: båda punkterna är uppenbara, antingen såtillvida att de är en ingående del av mervärdesskattesystemet (den första punkten) eller att de är helt logiska och förutsebara med hänsyn till räckvidden för det begärda undantaget (den andra punkten).